Budapest University of Technology and Economics, Faculty of Electrical Engineering and Informatics

A tárgy a Programozás technológiája és az Operációs rendszerek tárgyak ismeretére épít.

A tárgy célkitűzése az informatikai rendszerek szolgáltatásbiztonságát meghatározó tényezők és hatások elemzési módszereinek, valamint a szolgáltatásbiztonságot döntően befolyásoló szoftver rendszertechnikai és ellenőrzési lehetőségeknek az ismertetése.

A megbízható működés alapkoncepciói:

A szolgáltatásbiztonság jellemzői, befolyásoló tényezői. A szolgáltatásbiztonság növelésének eszközei (hiba megelőzés, hibatűrés, hibaelhárítás, előrejelzés). A hibakezelés fázisai (hibadetektálás, hibabehatárolás és kárbecslés, helyreállítás, újraindítás). Szoftver alapú hibafelismerés, kapcsolat a hardver technikákkal. Hibakorlátozó mechanizmusok. Helyreállítás előrelépéssel. Visszalépési stratégiák. Szoftver hibatűrés (N-verziós programozás, recovery blokk, dinamikus technikák). Algoritmikus redundancia alkalmazása. Informatikai rendszerek megbízhatósági modellezése. UML alapú (automatikus) megbízhatósági modellezés alapelvei.

Elosztott rendszerek:

Javított hibakezelésű szolgáltatások (globális időkezelés, multicast üzenetküldés, tagsági protokollok, távoli eljáráshívás, atomi műveletek, stabil tár, újraindítható processzek). Állapotmentés és hiba utáni helyreállítás elosztott rendszerekben: veszélyek, összehangolás, üzenettároláson alapuló módszerek. Hibatűrő elosztott rendszerek. A hibatűrés elrejtésének módszerei objektum-orientált rendszerekben. Szolgáltatásbiztos valósidejű rendszerekkel szembeni követelmények, idő- és eseményvezérlés, általános architektúra.

Adatbáziskezelés:

Archiválási, mentési és helyreállítási módszerek, konzisztens adatkezelés többpéldányos elosztott adatbázisokban. Mentési időpontok méretezése.

Biztonság szempontjából kritikus rendszerek:

A biztonsági analízis módszerei (hibafa, eseményfa, ok-következmény analízis, hibamód és hatás analízis, állapottér vizsgálata). Kockázatcsökkentési technikák (veszély elkerülés, csökkentés, vezérelhetőség, kárbehatárolás). Szoftver követelmények analízise a biztonság szempontjából.

(előadás, gyakorlat, laboratórium):

Előadás.

• A szorgalmi időszakban: Az aláírás megszerzésének feltétele két kiszárthelyi (max. 30 perces félévközi ellenőrzés) sikeres teljesítése. A kiszárthelyikre előzetes egyeztetés után a félév második és harmadik harmadában kerül sor.
• A vizsgaidőszakban: Szóbeli vizsga. A vizsgajegybe a kiszárthelyi eredmények nem számítanak bele.
• Elővizsga: Nincs.

A kiszárthelyik a szorgalmi időszakban javíthatók illetve pótolhatók. Egy kiszárthelyi a pótlási időszakban (a vizsgaidőszak első 3 hetében) is pótolható.

Javítóvizsga letételére minden hallgató jogosult, ekkor a javítóvizsgán elért eredmény kerül az első vizsgán elért eredmény helyére.

Kiszárthelyik illetve vizsgák előtt, előre egyeztetett időpontban.

• Óravázlatok elektronikusan hozzáférhető formában (tantárgy web lapján).
• S.-T. Levi, A. K. Agrawala: Fault Tolerant System Design. McGraw Hill, 1995
• E. Marcus, H. Stern: Blueprints for High Availability: Designing Resilient Distributed Systems. John Wiley, 2000
• N. G. Leveson: Safeware: System Safety and Computers. Addison Wesley, 1995

(a tantárgyhoz tartozó tanulmányi idő körülbelüli felosztása a tanórák, továbbá a házi feladatok és a zárthelyik között (a felkészülésre, ill. a kidolgozásra átlagosan fordítandó/elvárható idők félévi munkaórában, kredit x 30 óra, pl. 5 kredit esetén 150 óra)):