PESW 2018
The 6th Prague Embedded Systems Workshop
June 28-30, 2018
Roztoky u Prahy, Czech Republic
Roztoky u Prahy, Czech Republic
PESW 2018
The 6th Prague Embedded Systems Workshop
June 28-30, 2018
Roztoky u Prahy, Czech Republic
Roztoky u Prahy, Czech Republic
PESW 2108 Program
Thursday, June 28
| 9:00-10:00 | Registration |
| 10:00-10:20 | Opening |
| 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:50 | Coffee 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:40 | Lunch |
| 13:40-14:30 | Keynote 1 - Ernesto Sanchez: Increasing system reliability for safety-critical applications |
| 14:30-15:00 | Coffee 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:00 | Walking tour ... somewhere |
| 18:00-23:00 | Welcome 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:30 | Coffee 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:50 | Lunch |
| 13:50-14:40 | Keynote 2 - Milan Habrcetl: Cisco is no longer just a networking company |
| 14:40-15:30 | Coffee 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:30 | Student 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:30 | Keynote 3 - Alberto Bosio: Cross-Layer System-Level Reliability Estimation |
| 11:30-11:50 | Coffee break |
| 11:50-12:50 | Keynote 4 - Alex Orailoglu: Adaptive Test Cost and Quality Optimization |
| 12:50-13:00 | Closing |
| 13:00-14:00 | Lunch |
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:00 | Registration |
| 10:00-10:20 | Opening |
| 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:50 | Coffee 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:40 | Lunch |
| 13:40-14:30 | Keynote 1 - Ernesto Sanchez: Increasing system reliability for safety-critical applications |
| 14:30-15:00 | Coffee 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:00 | Walking tour ... somewhere |
| 18:00-23:00 | Welcome 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:30 | Coffee 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:50 | Lunch |
| 13:50-14:40 | Keynote 2 - Milan Habrcetl: Cisco is no longer just a networking company |
| 14:40-15:30 | Coffee 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:30 | Student 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:30 | Keynote 3 - Alberto Bosio: Cross-Layer System-Level Reliability Estimation |
| 11:30-11:50 | Coffee break |
| 11:50-12:50 | Keynote 4 - Alex Orailoglu: Adaptive Test Cost and Quality Optimization |
| 12:50-13:00 | Closing |
| 13:00-14:00 | Lunch |
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 |