Valós idejű és biztonságkritikus rendszerek

Tárgyfelelős

A munkatárs fényképe
tanszékvezető, habilitált docens
Szoba: IE442
Tel.:
+36 1 463-2065
Email: daboczi (*) mit * bme * hu

Oktatók

A munkatárs fényképe
tanszékvezető, habilitált docens
Szoba: IE442
Tel.:
+36 1 463-2065
Email: daboczi (*) mit * bme * hu
A munkatárs fényképe
tanszékvezető helyettes, habilitált docens
Szoba: IB421
Tel.:
+36 1 463-3598
Email: majzik (*) mit * bme * hu

Hirdetmények

Tartalomátvétel

Bevezetés

A tantárgy első fele azon beágyazott rendszerekkel foglalkozik, ahol a külső eseményre való garantált idejű reakció elvárás (valósidejű vagy real-time rendszerek). Az ilyen rendszerekben az előre rögzített határidő be nem tartása katasztrofális következményekkel járhat. A tantárgy megismertet a valós idejű rendszerek sajátosságaival, tervezési szempontjaival. Ezen belül részletesen foglalkozik a szoftver tervezés sajátosságaival, a prioritásos ütemezők ütemezési algoritmusaival, feladatok ütemezhetőségi analízisével, a szenzorhálózatokban felmerülő időkezelési problémákkal (lokális órák együttfutásának biztosítása), és a valós idejű beágyazott operációs rendszerekkel. A tárgy második fele azokkal a beágyazott rendszerekkel foglalkozik, amelyek működése hozzájárulhat veszély, illetve adott környezeti feltételek mellett baleset vagy anyagi kár kialakulásához. Ilyen rendszereket találunk például a közlekedési, egészségügyi, folyamatirányítási alkalmazásokban. A tantárgy megismertet a biztonságkritikus rendszerek (sok esetben szabványban is rögzített) konstrukciós alapelveivel, a biztonsági és megbízhatósági analízissel valamint a szisztematikus tesztelés és debuggolás módszereivel.