Předmět Návrh vestavěných systémů (FIT-NVD)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu FIT-NVD - Návrh vestavěných systémů, Fakulta informačních technologií, Vysoké učení technické v Brně (VUT).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
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í.
Osnova
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ůOsnova ostatní - projekty, práce:Prostudování a zpracování formou eseje vybraného vědeckého článku z oblasti návrhu vestavěných systémů.
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. 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.
Požadavky
Základní přednášky matematiky a logiky na technických universitách.
Garant
prof. Ing. Miroslav Švéda, CSc.
Vyučující
prof. Ing. Miroslav Švéda, CSc.