Detail předmětu

Návrh vestavěných systémů

FIT-NVDAk. rok: 2010/2011

Jazyk výuky

čeština

Počet kreditů

Garant předmětu

Zajišťuje ústav

Základní literatura

Cheng A.M.K.: Real-Time Systems -- Scheduling, Analysis, and Verification. Wiley, 2002.
Berger A.S.: Embedded Systems Design -- An Introduction to Processes, Tools, and Techniques. CMP Books, 2002.
Kreowski H.-J., Montanari U., Orejas F., Rozenberg G., Taentzer G.: Formal Methods in Software and Systems Modeling. Springer, LNCS 3393, 2005.
Schneider K.: Verification of Reactive Systems -- Formal Methods and Algorithms. Springer-Verlag, 2004.
Huth M.R.A., Ryan M.D.: Logic in Computer Science -- Modelling and Reasoning about Systems. Cambridge University Press, 2000.
de Bakker J.W. et all. (Editors): Real-Time: Theory in Practice. Springer-Verlag, LNCS 600, 1992.

Doporučená literatura

Cheng A.M.K.: Real-Time Systems -- Scheduling, Analysis, and Verification. Wiley, 2002.
Berger A.S.: Embedded Systems Design -- An Introduction to Processes, Tools, and Techniques. CMP Books, 2002.
Kreowski H.-J., Montanari U., Orejas F., Rozenberg G., Taentzer G.: Formal Methods in Software and Systems Modeling. Springer, LNCS 3393, 2005.
Schneider K.: Verification of Reactive Systems -- Formal Methods and Algorithms. Springer-Verlag, 2004.
Huth M.R.A., Ryan M.D.: Logic in Computer Science -- Modelling and Reasoning about Systems. Cambridge University Press, 2000.
de Bakker J.W. et all. (Editors): Real-Time: Theory in Practice. Springer-Verlag, LNCS 600, 1992.

Zařazení předmětu ve studijních plánech

Program VTI-DR-4 doktorský
obor DVI4 , libovolný ročník, letní semestr, volitelný
Program VTI-DR-4 doktorský
obor DVI4 , libovolný ročník, letní semestr, volitelný

Přednáška

26 hod., nepovinná

Vyučující / Lektor

Osnova

VUT