PESW 2018
PESW 2018
The 6th Prague Embedded Systems Workshop
June 28-30, 2018
Roztoky u Prahy, Czech Republic
PESW 2018
The 6th Prague Embedded Systems Workshop
June 28-30, 2018
Roztoky u Prahy, Czech Republic


PESW 2108 Program

Thursday, June 28

9:00-10:00Registration
10:00-10:20Opening
10:20-11:35
(3x 25)
Session 1 - Testing. Chair: Vojtěch Miškovský
Davide Piumatti, Paolo Bernardi, Ernesto Sanchez, Andrea Floridia: Problems of a Software Test Library for Multicore System-On-Chip
Andrea Floridia, Ernesto Sanchez: Development flow of on-line Software Test Libraries for asynchronous processor cores
Robert Hülle, Petr Fišer, Jan Schmidt: ZATPG: SAT-based ATPG for Zero-Aliasing Compaction
11:35-11:50Coffee break
11:50-12:40
(2x 25)
Session 2 - Signal Processing. Chair: Stanislav Jeřábek
Removed
Jiří Svatoň, František Vejražka, Pavel Kubalík, Jan Schmidt: Proposal of Memory Architecture for Pre and Post-Correlation coherent Processing of GNSS Signal with SoC based Acquisition Unit
12:40-13:40Lunch
13:40-14:30Keynote 1 - Ernesto Sanchez: Increasing system reliability for safety-critical applications
14:30-15:00Coffee break
15:00-16:00
(3x 20)
Network Session 1 - Trust and Reputation. Chair: Tomáš Čejka
Yelena Trofimova: Application of Neural Networks for Decision Making and Evaluation of Trust in Ad-hoc Networks
Václav Bartoš: Characterizing IP addresses by predicting their malicious behavior
Lenka Stejskalová and Tomáš Čejka: Grouping evil IP addresses
16:00-18:00Walking tour ... somewhere
18:00-23:00Welcome dinner

Friday, June 29

9:30-10:45
(3x 25)
Session 3 - Fault Tolerance. Chair: Adam Crha
Jakub Lojda, Zdeněk Kotásek: Fault Tolerance in HLS for the Purposes of Reliable System Design Automation
Jakub Podivínský, Zdeněk Kotásek: Testing Fault Tolerance Properties: Soft-core Processor-based Experimental Robot Controller
Martin Krčma, Richard Pánek, Zdenek Kotásek: Triple Modular Redundancy Used in Field Programmable Neural Networks
10:45-11:30Coffee break & student posters
11:30-12:50
(4x 20)
Network Session 2 - Stream-Wise Detection and Mitigation. Chair: Tomáš Čejka
Michal Slabihoudek, Tomáš Čejka: Stream-wise Aggregation of Flow Data
Filip Šuster, Tomáš Čejka: Stream-wise adaptive blacklist filter based on flow data
Tomáš Ďuračka: Penetration Testing & Web Application Intrusion Detection
Tomáš Jánský, Tomáš Čejka, Martin Žádník, Václav Bartoš: Informed DDoS Mitigation at 100 Gb/s
12:50-13:50Lunch
13:50-14:40Keynote 2 - Milan Habrcetl: Cisco is no longer just a networking company
14:40-15:30Coffee break & student posters
15:30-17:00
(3x 30)
Network Session 3 - Communication Networks and IoT. Chair: Tomáš Čejka
Pavel Benáček: P4-to-VHDL: How We Built the Fastest P4 FPGA Device in the World
Dominik Soukup: Anomaly Detection in the SIoT Gateway
Michal Hrušecký: Monitoring network and threats with Turris router
17:00-17:30Student contest results
17:30-???Walking tour through "Tiché údolí"
Refreshment in Únětice brewery

Saturday, June 30

9:30-10:45
(3x 25)
Session 4 - Embedded systems, Emerging technologies, Modeling. Chair: Robert Hülle
Jan Bělohoubek: KETCube – the Prototyping and Educational Platform for IoT Nodes
Adam Crha: Introduction to logic synthesis of polymorphic electronics
Almotasem Essa: Hybrid Enhanced Petri Net Model Used in Digital Design Process
10:45-11:30Keynote 3 - Alberto Bosio: Cross-Layer System-Level Reliability Estimation
11:30-11:50Coffee break
11:50-12:50Keynote 4 - Alex Orailoglu: Adaptive Test Cost and Quality Optimization
12:50-13:00Closing
13:00-14:00Lunch

Poster Session and competition results


Bachelor Theses
Author Title Institution Award
Zuzana Jirankova Remote control of the model car CTU in Prague Outstanding Bachelor Thesis - CZ.NIC and ASICentrum Award
Martin Kostelanský Object Recognition by Deep Neural Network Applied for the NAO Robot CTU in Prague The Best Research Bachelor Thesis - IEEE Award
Libor Kuchař Device for Measurement of Ionizing Radiation CTU in Prague
Tomáš Přeučil Portable ECG CTU in Prague Outstanding Bachelor Thesis - STM Award
Kryštof Vaněk Lightning detection system for IoT UWB in Pilsen
Zbyšek Voda Autonomous Impedance Meter BUT in Brno Outstanding Bachelor Thesis - CZ.NIC and ASICentrum Award
Master Theses
Author Title Institution Best Poster Award
Tomáš Kolárik SAT with differential equations CTU in Prague Outstanding Master Thesis - CZ.NIC and ASICentrum Award
Annachiara Ruospo A Generation Framework for the Verification of Open-Source Processor Cores Politecnico di Torino The Best Research Master Thesis - IEEE and STM Award
Martin Úbl Monitoring of glucose levels with wearable devices UWB in Pilsen Outstanding Master Thesis - STM Award


PESW 2108 Program

Thursday, June 28

9:00-10:00Registration
10:00-10:20Opening
10:20-11:35
(3x 25)
Session 1 - Testing. Chair: Vojtěch Miškovský
Davide Piumatti, Paolo Bernardi, Ernesto Sanchez, Andrea Floridia: Problems of a Software Test Library for Multicore System-On-Chip
Andrea Floridia, Ernesto Sanchez: Development flow of on-line Software Test Libraries for asynchronous processor cores
Robert Hülle, Petr Fišer, Jan Schmidt: ZATPG: SAT-based ATPG for Zero-Aliasing Compaction
11:35-11:50Coffee break
11:50-12:40
(2x 25)
Session 2 - Signal Processing. Chair: Stanislav Jeřábek
Removed
Jiří Svatoň, František Vejražka, Pavel Kubalík, Jan Schmidt: Proposal of Memory Architecture for Pre and Post-Correlation coherent Processing of GNSS Signal with SoC based Acquisition Unit
12:40-13:40Lunch
13:40-14:30Keynote 1 - Ernesto Sanchez: Increasing system reliability for safety-critical applications
14:30-15:00Coffee break
15:00-16:00
(3x 20)
Network Session 1 - Trust and Reputation. Chair: Tomáš Čejka
Yelena Trofimova: Application of Neural Networks for Decision Making and Evaluation of Trust in Ad-hoc Networks
Václav Bartoš: Characterizing IP addresses by predicting their malicious behavior
Lenka Stejskalová and Tomáš Čejka: Grouping evil IP addresses
16:00-18:00Walking tour ... somewhere
18:00-23:00Welcome dinner

Friday, June 29

9:30-10:45
(3x 25)
Session 3 - Fault Tolerance. Chair: Adam Crha
Jakub Lojda, Zdeněk Kotásek: Fault Tolerance in HLS for the Purposes of Reliable System Design Automation
Jakub Podivínský, Zdeněk Kotásek: Testing Fault Tolerance Properties: Soft-core Processor-based Experimental Robot Controller
Martin Krčma, Richard Pánek, Zdenek Kotásek: Triple Modular Redundancy Used in Field Programmable Neural Networks
10:45-11:30Coffee break & student posters
11:30-12:50
(4x 20)
Network Session 2 - Stream-Wise Detection and Mitigation. Chair: Tomáš Čejka
Michal Slabihoudek, Tomáš Čejka: Stream-wise Aggregation of Flow Data
Filip Šuster, Tomáš Čejka: Stream-wise adaptive blacklist filter based on flow data
Tomáš Ďuračka: Penetration Testing & Web Application Intrusion Detection
Tomáš Jánský, Tomáš Čejka, Martin Žádník, Václav Bartoš: Informed DDoS Mitigation at 100 Gb/s
12:50-13:50Lunch
13:50-14:40Keynote 2 - Milan Habrcetl: Cisco is no longer just a networking company
14:40-15:30Coffee break & student posters
15:30-17:00
(3x 30)
Network Session 3 - Communication Networks and IoT. Chair: Tomáš Čejka
Pavel Benáček: P4-to-VHDL: How We Built the Fastest P4 FPGA Device in the World
Dominik Soukup: Anomaly Detection in the SIoT Gateway
Michal Hrušecký: Monitoring network and threats with Turris router
17:00-17:30Student contest results
17:30-???Walking tour through "Tiché údolí"
Refreshment in Únětice brewery

Saturday, June 30

9:30-10:45
(3x 25)
Session 4 - Embedded systems, Emerging technologies, Modeling. Chair: Robert Hülle
Jan Bělohoubek: KETCube – the Prototyping and Educational Platform for IoT Nodes
Adam Crha: Introduction to logic synthesis of polymorphic electronics
Almotasem Essa: Hybrid Enhanced Petri Net Model Used in Digital Design Process
10:45-11:30Keynote 3 - Alberto Bosio: Cross-Layer System-Level Reliability Estimation
11:30-11:50Coffee break
11:50-12:50Keynote 4 - Alex Orailoglu: Adaptive Test Cost and Quality Optimization
12:50-13:00Closing
13:00-14:00Lunch

Poster Session and competition results


Bachelor Theses
Author Title Institution Award
Zuzana Jirankova Remote control of the model car CTU in Prague Outstanding Bachelor Thesis - CZ.NIC and ASICentrum Award
Martin Kostelanský Object Recognition by Deep Neural Network Applied for the NAO Robot CTU in Prague The Best Research Bachelor Thesis - IEEE Award
Libor Kuchař Device for Measurement of Ionizing Radiation CTU in Prague
Tomáš Přeučil Portable ECG CTU in Prague Outstanding Bachelor Thesis - STM Award
Kryštof Vaněk Lightning detection system for IoT UWB in Pilsen
Zbyšek Voda Autonomous Impedance Meter BUT in Brno Outstanding Bachelor Thesis - CZ.NIC and ASICentrum Award
Master Theses
Author Title Institution Best Poster Award
Tomáš Kolárik SAT with differential equations CTU in Prague Outstanding Master Thesis - CZ.NIC and ASICentrum Award
Annachiara Ruospo A Generation Framework for the Verification of Open-Source Processor Cores Politecnico di Torino The Best Research Master Thesis - IEEE and STM Award
Martin Úbl Monitoring of glucose levels with wearable devices UWB in Pilsen Outstanding Master Thesis - STM Award