455-0914/01 – Systémy reálného času (SRČ)
| Garantující katedra | Katedra měřicí a řídicí techniky | Kredity | 0 |
| Garant předmětu | doc. RNDr. Jindřich Černohorský, CSc. | Garant verze předmětu | doc. RNDr. Jindřich Černohorský, CSc. |
| Úroveň studia | postgraduální | Povinnost | povinně volitelný |
| Ročník | | Semestr | zimní + letní |
| | Jazyk výuky | čeština |
| Rok zavedení | 1991/1992 | Rok zrušení | 2009/2010 |
| Určeno pro fakulty | FEI | Určeno pro typy studia | doktorské |
Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi
Cílem předmětu je seznámení s problematikou implementace systémů reálného času a to zejména kritických systémů a se způsobem zajištění bezpečnosti systému na úrovni implementace a synchronizace.
Znalost základních teoretických postupů a nástrojů synchronizace paralelních resp. souběžných procesů
Vyučovací metody
Anotace
V předmětu se student seznámí jak se pokročilejšími principy a teoriemi implementace programového vybavení systémů reálného času zejména s ohledem na problémy souvisejícími s bezpečností realizace, se způsoby jejího i zajištění a s problematikou komunikace a řízení paralelních procesů tvořících
vlastní Rt systém.
Povinná literatura:
Burns, A., Wellings, A.: Real Time Systems and their Programming Lanquages, Addison-Wesley Publishing Company, 1993,
Gomma H.,: Software Design Methods for Concurrent and Real-time Systems , Addison-Wesley Publishing Company, 1993,
Buttazo, G. : Hard Real Time Computing Systems, Kluwre Academic Publishers, 1997
Doporučená literatura:
Další studijní materiály
Forma způsobu ověření studijních výsledků a další požadavky na studenta
Průběžná kontrola studia:
Individuální konzultace
E-learning
Další požadavky na studenta
Prerekvizity
Předmět nemá žádné prerekvizity.
Korekvizity
Předmět nemá žádné korekvizity.
Osnova předmětu
Přednášky:
Systémy reálného času, definice, problematika, specifické vlastnosti, vztah k řídicím systémům
Spolehlivost o odolnost vůči poruchám , bezpečné systémy
Spolehlivost, chyby a poruchy. Předcházení poruchám a odolnost vůči poruchám.
Programová diversita, N-versní programování.Programová dynamická redundance .
Řešení odolnosti pomocí obnovovacích bloků jeho srovnání s N-versním programováním. Dynamická redundance a výjimky. Měření a predikce spolehlivosti software. Bezpečnost a spolehlivost.
Výjimky a zpracování výjimek
Zpracování výjimek ve starších programovacích jazycích. Moderní způsob zpracování výjimek, Zpracování výjimek v jazycích Modula-2, ADA, Occam -2 a JAVA. Bloky obnovy a výjimky.
Atomické akce, souběžné procesy a spolehlivost
Atomické akce a spolehlivost. Atomické akce v prostředí souběžných procesů.
Atomické akce a technika opožděné obnovy ( backward recovery). Atomické akce a technika včasné obnovy ( foreward recovery). Obnova a souběžné procesy v RT programovacích jazycích.
Analýza výkonnosti návrhu RT systému. Modely výkonnosti. Modely front. Simulační modely.Teorie plánování RT systémů.
Analýza výkonnosti s užitím sekvenční analýzy událostí.
Synchronizace a komunikace procesů pomocí sdílené paměti
Vzájemné vyloučení a synchronizace testováním podmínek.Aktivní čekání.
Semafory. Podmíněné kritické sekce. Monitory.
Synchronizace a komunikace procesů pomocí zpráv
Synchronizace procesů. Adresace procesů. Struktura zpráv. Selektivní čekání. Vzdálené volání procedur.
Řízení zdrojů a atomické akce. Správa zdrojů. Vyjadřovací síla a snadnost užití. Asymetrická adresace.
Podmínky absolvování předmětu
Výskyt ve studijních plánech
Výskyt ve speciálních blocích
Hodnocení Výuky
Předmět neobsahuje žádné hodnocení.