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 |