Předmět Specifikace vestavěných systémů (FIT-SVD)

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-SVD - Specifikace vestavěných systémů, Fakulta informačních technologií, Vysoké učení technické v Brně (VUT).

Materiál	Typ	Datum	Počet stažení

Cíl

Porozumět principům formálních specifikací a jejich uplatnění při návrhu vestavěných systémů; být informován o využití temporální logiky pro modelování reaktivních systémů a systémů pracujících v reálném čase; být informován o metodách verifikace.

Osnova

Osnova přednášek:Principy návrhu vestavěných distribuovaných systémů Modely reaktivních systémů a systémů pracujících v reálném čase Spravedlivost, živost, bezpečnost, realizovatelnost; živost reálného času, odezva v konečném čase Základy temporální logiky: syntaxe, sémantika, axiomatika Časové modely a temporální logiky LTL CTL Temporální logika a reálný čas Formální specifikace vestavěných systémů Dokazovací systémy Kontrola modelem Verifikace systémů pracujících v reálném čase Případové studieOsnova ostatní - projekty, práce:Prostudování a zpracování formou eseje vybraného vědeckého článku z oblasti aplikace temporálních logik v problematice řešené v disertační práci studenta.

Literatura

Bowen J.P., Hinchey M.G.: High-Integrity System Specification and Design. Springer-Verlag, 1999. Huth M.R.A., Ryan M.D.: Logic in Computer Science -- Modelling and Reasoning about Systems. Cambridge University Press, 2000. Schneider K.: Verification of Reactive Systems -- Formal Methods and Algorithms. Springer-Verlag, 2004. de Bakker J.W. et all. (Editors): Real-Time: Theory in Practice. Springer-Verlag, LNCS 600, 1992. Gabbay D.M., Ohlbach H.J. (Editors): Temporal Logic. Springer-Verlag, LNCS 827, 1994. Johnsson B., Parrow J.: Formal Techniques in Real-Time and Fault Tolerant Systems. Springer-Verlag, LNCS 1135, 1996.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. Gabbay D.M., Ohlbach H.J. (Editors): Temporal Logic. Springer-Verlag, LNCS 827, 1994.

Požadavky

Základní přednášky matematiky na technických universitách

Garant

prof. Ing. Miroslav Švéda, CSc.

Vyučující

prof. Ing. Miroslav Švéda, CSc.