Detail předmětu
Návrh vestavěných systémů
Garant předmětu
Jazyk výuky
česky
Zakončení
zkouška
Rozsah
- 26 hod. přednášky
Zajišťuje ústav
Ústav informačních systémů (UIFS)
Literatura studijní
- 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.
Literatura referenční
- 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.
Osnova přednášek
- Principy návrhu vestavěných distribuovaných systémů
- Životní cyklus návrhu vestavěných systémů
- Propojování komponent vestavěných systémů sítěmi
- Specifikace chování - reaktivní a v reálném čase
- Specifikace architektury
- Strukturovaný návrh
- Objektově orientovaný návrh
- Návrhové rámce
- Specifikační rámce
- Vestavěné systémy na Internetu
- Sítě na pevných spojích a bezdrátové
- Vývojové nástroje a prostředí
- Případové studie - sítě inteligentních senzorů
Zařazení předmětu ve studijních plánech