Detail předmětu
Návrh vestavěných systémů
NVD Ak. rok 2009/2010 letní semestr
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í a 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é sítě. Vývojové nástroje a prostředí. Případové studie.
Garant předmětu
Jazyk výuky
Zakončení
Rozsah
- 26 hod. přednášky
Zajišťuje ústav
Získané dovednosti, znalosti a kompetence z předmětu
Porozumění principům návrhu vestavěných systémů; informovanost o architekturách a chování vestavěných distribuovaných systémů; informovanost o metodách specifikace a návrhu vestavěných systémů a jejich sítí.
Cíle předmětu
Porozumět principům návrhu vestavěných systémů; být informován o architekturách a chování vestavěných systémů a jejich sítí; být informován o metodách a nástrojích pro návrh vestavěných systémů a jejich sítí.
Požadované prerekvizitní znalosti a dovednosti
Základní přednášky matematiky a logiky na technických universitách.
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ů
Průběžná kontrola studia
Hodnocení studia je založeno na bodovacím systému. Pro úspěšné absolvování předmětu je nutno dosáhnout 50 bodů.
Kontrolovaná výuka
Zpracovaní a obhájení eseje.
Zařazení předmětu ve studijních plánech