Conference Program

Download the PESW 2014 conference program here.

Thursday, June 12	8:00 - 10:00	Registration
	10:00 - 10:15	Opening (Hana Kubátová)
	10:15 - 10:45	Eaton presentation - Fault Tolerant Controls Systems (Pavel Kučera)
	11:00 - 12:00	Session 1 (session chair: Petr Fišer)
		Time patterns relation in assisted automated scheduling (Krzysztof Odwrot and Wojciech Zając)
		Exploration Robot with Stereovision (Miroslav Skrbek and Vladislav Richter)
	12:00 - 13:00	Lunch
	13:00 - 14:30	Session 2 (session chair: Stanislav Racek)
		Comparison of various approaches in Fault-Tolerant and Attack-Resistant system design (Filip Štěpánek and Martin Novotný)
		Effects of Arbitrary Hardware Faults on Multicore Scheduling in Safety-critical Applications - Evaluation by enhanced Markov models and discrete event simulation (Stefan Krämer)
		Pessimistic Dependability Models Based on Hierarchical Markov Chains (Martin Kohlík and Hana Kubátová)
	14:30 - 15:00	Coffee break
	15:00 - 16:30	Session 3 (session chair: Piotr Mróz)
		Hardware implementation of the CloudBus protocol using FPGA (Kazimierz Krzywicki and Grzegorz Andrzejewski)
		Practical use of FPGA chips for implementation of linear motor control system (Matěj Bartík)
		Towards Trusted Devices in FPGA by Modeling Radiation Induced Errors (Jan Pospíšil, Tomáš Vaňát and Jan Schmidt)
	17:00 - 23:00	Social Event, Dinner
Friday, June 13	9:30 - 10:30	Keynote: Taxonomy of Research in Digital Design - (Ilya Levin)
	10:30 - 11:00	Coffee break
	11:00 - 12:30	Session 4 (session chair: Ilya Levin)
		Optimal algorithm for phase shift searching for the DPSBF (Viktor Černý, Alex Moucha and Jan Kubr)
		Fault Recovery Method of Modular Systems based on Reconfigurations (Pavel Vít, Jaroslav Borecký and Hana Kubátová)
		Properties of Boolean functions in Cognitive Complexity Measure (Gabi Shafat and Ilya Levin)
	12:30 - 13:30	Lunch
	13:30	Closing (Hana Kubátová)