| 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 |