Fakulta informačních technologií VUT v Brně

Detail předmětu

Specifikace vestavěných systémů

SVD Ak. rok 2003/2004 zimní semestr

Principy návrhu vestavěných distribuovaných systémů. Reaktivní systémy a systémy pracující v reálném čase. 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. Základy temporální logiky. Časové modely a temporální logiky. Temporální logika a reálný čas. Formální specifikace vestavěných systémů. Hybridní systémy. Dokazovací systémy. Kontrola modelem. Verifikace systémů pracujících v reálném čase. Protokoly typu Fieldbus. Internet a vestavěné systémy.

Garant předmětu

Jazyk výuky

česky

Zakončení

zkouška (ústní)

Rozsah

39 hod. přednášky

Bodové hodnocení

Zajišťuje ústav

Přednášející

Získané dovednosti, znalosti a kompetence z předmětu

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

Cíle předmětu

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 architekturách vestavěných distribuovaných systémů.

Literatura studijní

  • Alur R., Henzinger T.A. (Editors): Hybrid Systems III - Verification and Control. Springer-Verlag, LNCS 1066, 1996.
  • 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.

Literatura referenční

  • Alur R., Henzinger T.A. (Editors): Hybrid Systems III - Verification and Control. Springer-Verlag, LNCS 1066, 1996.
  • 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.

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
  • Základy temporální logiky
  • Časové modely a temporální logiky
  • 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
  • Hybridní systémy
  • Protokoly typu Fieldbus
  • Internet a vestavěné systémy

Osnova 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.

Kontrolovaná výuka

Zpracovaní a obhájení eseje.
Nahoru