PESW 2020
PESW 2020
The 8th Prague Embedded Systems Workshop
November 6-7, 2020
Virtual event organized from
Prague, Czech Republic
PESW 2020
The 8th Prague Embedded Systems Workshop
November 6-7, 2020
Virtual event organized from
Prague, Czech Republic


PESW 2020 Program

Friday, November 6

11:00-11:20Opening
11:20-12:00Technical Lecture - Martin Prudek, Miroslav Hanák: Turris:Sentinel - scalable collecting network (big) data in practice
12:00-12:50
(2x 25)
Session 1 - Network traffic processing & Datasets. Chair: Jan Luxemburk
Tomáš Beneš, Tomáš Čejka and Hana Kubatová:  The next step of P4 FPGA architectures: External Memories
Dominik Soukup, Karel Hynek and Tomáš Čejka: QoD: Ideas about Evaluating Quality of Datasets
12:50-14:00Lunch
14:00-15:00Keynote 1 - SYSGO: Security in internet of (safety-critical) things
15:00-15:15Coffee break
15:15-16:30
(3x 25)
Session 2 - Design and test it all. Chair: Hana Kubátová
Paolo Bernardi and Stefano Littardi: A fast computation method for Burn-In related Stress Metrics
Jitka Kocnová: EA-based Optimization of Digital Circuits
Tomáš Martinec: Testing of safety-critical software
16:30-16:45Coffee break
16:45-17:45Keynote 2 - Martin Husák: Graph-Based Models in Prediction and Projection of Cyber Attacks
17:45-18:35
(2x 25)
Session 3 - Network traffic detection and classification. Chair: Tomáš Beneš
Karel Hynek, Tomáš Čejka and Dmitrii Vekshin: DoH detection: Discovering hidden DNS
Matej Hulák and Tomáš Čejka: Classification of Network Traffic using Traffic Features

Saturday, November 7

11:00-11:10Reopening
11:10-12:00
(2x 25)
Session 4 - To approximate or not to approximate? Chair: Petr Fišer
Salvatore Barone, Mario Barbareschi, Marcello Traiola, Alberto Bosio, Ian O'Connor and Said Hamdioui: Automatic Generation of Application-level Approximate Variants
Marcello Traiola, Jorge Echavarria, Alberto Bosio, Jürgen Teich and Ian O'Connor: Design Space Exploration of an Approximation-Based Fully Reliable TMR Alternative
12:00-13:00Lunch
13:00-14:00Keynote 3 - Alberto Bosio: Approximate Computing: Test and Reliability issues and opportunities
14:00-15:00
(3x 20)
Poster session 1 - Chair: Tomáš Kolárik
Juan Suzano Da Fonseca and Alberto Bosio: HW accelerators for Deep Learning based on FPGA
Jan Onderka:  Deadline Verification Using Model Checking
Vojtěch Nevřela: Programmable Generator of Synchronous Pulse Sequences
15:00-15:15Coffee break
15:15-15:55
(2x 20)
Poster session 2 - Chair: Jan Bělohoubek
Jan Luxemburk and Karel Hynek: Detection of HTTPS brute-force attacks in high-speed computer networks
Tomáš Balihar and Martin Novotný: Influence of Synthesis Parameters on Vulnerability to Side-Channel Attacks
15:55-16:30Coffee break
16:30-17:00Student contest results
17:00-17:20Closing



PESW 2020 Program

Friday, November 6

11:00-11:20Opening
11:20-12:00Technical Lecture - Martin Prudek, Miroslav Hanák: Turris:Sentinel - scalable collecting network (big) data in practice
12:00-12:50
(2x 25)
Session 1 - Network traffic processing & Datasets. Chair: Jan Luxemburk
Tomáš Beneš, Tomáš Čejka and Hana Kubatová:  The next step of P4 FPGA architectures: External Memories
Dominik Soukup, Karel Hynek and Tomáš Čejka: QoD: Ideas about Evaluating Quality of Datasets
12:50-14:00Lunch
14:00-15:00Keynote 1 - SYSGO: Security in internet of (safety-critical) things
15:00-15:15Coffee break
15:15-16:30
(3x 25)
Session 2 - Design and test it all. Chair: Hana Kubátová
Paolo Bernardi and Stefano Littardi: A fast computation method for Burn-In related Stress Metrics
Jitka Kocnová: EA-based Optimization of Digital Circuits
Tomáš Martinec: Testing of safety-critical software
16:30-16:45Coffee break
16:45-17:45Keynote 2 - Martin Husák: Graph-Based Models in Prediction and Projection of Cyber Attacks
17:45-18:35
(2x 25)
Session 3 - Network traffic detection and classification. Chair: Tomáš Beneš
Karel Hynek, Tomáš Čejka and Dmitrii Vekshin: DoH detection: Discovering hidden DNS
Matej Hulák and Tomáš Čejka: Classification of Network Traffic using Traffic Features

Saturday, November 7

11:00-11:10Reopening
11:10-12:00
(2x 25)
Session 4 - To approximate or not to approximate? Chair: Petr Fišer
Salvatore Barone, Mario Barbareschi, Marcello Traiola, Alberto Bosio, Ian O'Connor and Said Hamdioui: Automatic Generation of Application-level Approximate Variants
Marcello Traiola, Jorge Echavarria, Alberto Bosio, Jürgen Teich and Ian O'Connor: Design Space Exploration of an Approximation-Based Fully Reliable TMR Alternative
12:00-13:00Lunch
13:00-14:00Keynote 3 - Alberto Bosio: Approximate Computing: Test and Reliability issues and opportunities
14:00-15:00
(3x 20)
Poster session 1 - Chair: Tomáš Kolárik
Juan Suzano Da Fonseca and Alberto Bosio: HW accelerators for Deep Learning based on FPGA
Jan Onderka:  Deadline Verification Using Model Checking
Vojtěch Nevřela: Programmable Generator of Synchronous Pulse Sequences
15:00-15:15Coffee break
15:15-15:55
(2x 20)
Poster session 2 - Chair: Jan Bělohoubek
Jan Luxemburk and Karel Hynek: Detection of HTTPS brute-force attacks in high-speed computer networks
Tomáš Balihar and Martin Novotný: Influence of Synthesis Parameters on Vulnerability to Side-Channel Attacks
15:55-16:30Coffee break
16:30-17:00Student contest results
17:00-17:20Closing