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