PESW 2015
The 3rd Prague Embedded Systems Workshop
July 2-4, 2015
Roztoky u Prahy, Czech Republic


Preliminary Program

Thursday, July 2 9:00 - 10:00 Registration
10:00 Opening
10:00 - 12:00 Session 1 - Big Data and Networks (Chair: Tomáš Vaňát)
Big Data System Architecture Using Hadoop Cluster (Joanna Konopko)
Easy Configuration of NETCONF Devices (David Alexa and Tomáš Čejka)
Big Data Solutions for Distributed Renewable Energy Systems (Joanna Konopko)
Nemea: Searching for Botnet Footprints (Tomáš Čejka, Radoslav Bodó and Hana Kubátová)
12:00 - 13:00 Lunch
13:00 - 14:00 Keynote: System design, science or art? (Robert Kvaček - ASICentrum)
14:00 - 15:00 Session 2 - Microprocessors and controllers (Chair: Pavel Kubalík)
Smart re-use of hardware peripherals for better software UART (Jan Bělohoubek)
Reduction of the control memory size in the microprogrammed controllers (Jakub Lipinski)
15:30 - 23:00 Social Event, Dinner
Friday, July 3 9:00 - 10:30 Session 3 - Reliability and Testing (Chair: Matěj Bartík)
A new method for specification of parameters to path delay fault testing (Miroslav Siebert, Robert Tamaši, and Petr Fišer)
Error Model and the Reliability of Arithmetic Operations (Peter Raab)
A new universal BIST for testing embedded memories in SoCs (Juraj Šubín and Elena Gramatová)
10:30 - 11:00 Cofee break
11:00 - 12:30 Session 4 - Verification and Theory (Chair: Peter Raab)
Fault Identification Problems in Boolean Concepts Learning (Gabi Shafat and Ilya Levin)
The Use of Functional Verification for Testing Fault-Tolerance Methodologies (Jakub Podivínský and Zdeněk Kotásek)
The Principle of Universal Stimuli Generation (Ondřej Čekan and Zdeněk Kotásek)
12:30 - 13:30 Lunch
13:30 - 14:00 Keynote: On noise, humans and unpunished examplicides (Jan Schmidt - FIT CTU)
14:00 - 15:00 Session 5 - Operating Systems (Chair: Dominik Macko)
Adaptability of Embedded Operating Systems (Martin Vojtko)
Adaption of Proportionate Fair Multicore Scheduling for Safety-Critical Applications (Stefan Krämer, Jürgen Mottok, and Stanislav Racek)
15:00 - 15:30 Coffee break
15:30 - 16:00 Keynote: Cryptanalytical attacks on objects of daily usage (Martin Novotný - FIT CTU)
16:00 - 17:00 Session 6 - Digital Design (Chair: Miroslav Skrbek)
State Machine Components selection based on hypergraphs theory (Lukasz Stefanowicz)
Validating Power Management at Early Stages of Low-Power Systems Design (Dominik Macko and Katarína Jelemenská)
17:00 Closing