Szolgáltatásbiztonságra tervezés - Segédanyagok

Félév: 2013. tavasz
Cím	Egyedi szöveg
EA03: Elosztott rendszerek alapszolgáltatásai	Tagsági kép nyilvántartása Konszenzus Atomi döntéshozatal Események és üzenetek sorrendezése Elosztott helyreállítás Távoli eljáráshívás Elosztott rendszerek alapszolgáltatásai (előadásvázlat)
GY05: Szolgáltatásbiztonsági kérdések virtualizált környezetben	Szolgáltatásbiztonsági kérdések virtualizált környezetben (diák)
EA04: Objektum-orientált megvalósítások	Az alapfeladatok áttekintése Köztesréteg megoldások Egy megvalósítási példa hibatűrő OO rendszerek kialakítására Aspektus-orientált megvalósítás OO megvalósítások (előadásvázlat)
EA05: Többpéldányos adatkezelés	Minden példány írása, elérhető példányok írása validációval módszerek Quorum konszenzus módszer Virtuális partíciók módszere Többpéldányos adatkezelés (előadásvázlat)
EA06: A szolgáltatásbiztonság analízise	Kvalitatív analízis technikák Kvantitatív megbízhatósági modellezés és analízis technikák A szolgáltatásbiztonság analízise (előadásvázlat)

Félév: 2012. tavasz
Cím	Egyedi szöveg
Tárgyadatok	Az előadás anyaga: A tárgy áttekintése Tárgyadatok
EA01: A szolgáltatásbiztonság alapfogalmai	Az előadás anyaga: A szolgáltatásbiztonság fogalma A szolgáltatásbiztonságot befolyásoló tényezők A szolgáltatásbiztonság eszközei Alapfogalmak
GY01: Architektúra tervezési példák	A gyakorlat anyaga: Jellegzetes megoldások fail-stop működéshez: Egycsatornás feldolgozás önteszttel Két- vagy többcsatornás feldolgozás komparálással Kétcsatornás feldolgozás független ellenőrzéssel Architektúra példák
EA02: Hibatűrés	Az előadás anyaga: Hibatűrés állandósult hardver hibák esetén Hibatűrés időleges hardver hibák esetén Hibatűrés szoftver tervezési hibák esetén Hibatűrés
GY02: Feladatátvételi fürtök	A gyakorlat anyaga: Feladatátvételi fürtök SA Forum AIS Availability Management Framework (demo) Feladatátvételi fürtök SA Forum
E03: Elosztott rendszerek alapszolgáltatásai	Az előadásvázlat anyaga: Tagsági kép nyilvántartása Konszenzus Atomi döntéshozatal Események és üzenetek sorrendezése Elosztott helyreállítás Távoli eljáráshívás Elosztott rendszerek alapszolgáltatásai
EA04: Többpéldányos adatkezelés	Az előadásvázlat tartalma: Minden példány írása, elérhető példányok írása validációval módszerek Quorum konszenzus módszer Virtuális partíciók módszere Többpéldányos adatkezelés
EA05: Objektum-orientált megvalósítások	Az előadásvázlat tartalma: Az alapfeladatok áttekintése Köztesréteg megoldások Egy megvalósítási példa hibatűrő OO rendszerek kialakítására Aspektus-orientált megvalósítás OO megvalósítások
EA06: A szolgáltatásbiztonság analízise	Az előadásvázlat tartalma: Kvalitatív technikák Kvantitatív megbízhatósági modellezés és analízis techniák A szolgáltatásbiztonság analízise (előadásvázlat) Kvalitatív analízis (fóliák) Boole-modellek (fóliák)

Félév: 2011. tavasz
Cím	Egyedi szöveg
EA01 Alapfogalmak	Az előadás anyaga: Tárgyadatok A szolgáltatásbiztonság alapfogalmai A szolgáltatásbiztonság fogalma A szolgáltatásbiztonság befolyásoló tényezői A szolgáltatásbiztonság eszközei Tárgyadatok Alapfogalmak
EA02 Hibatűrés	Az előadás és a gyakorlatok témája: A hibatűrés technikái 1. Állandósult hardver hibák Hardver redundancia: többszörözés 2. Időleges hardver hibák Szoftver redundancia Hibadetektálás Hibahatás felmérés Helyreállítás: visszalépő vagy előrelépő Hibaok kezelése Információ redundancia: Pl. hibajavító kódolás Idő redundancia: Pl. utasítás ismétlés 3. Szoftver tervezési hibák Eltérő tervezésű variánsok: Pl. NVP, RB, NSCP, SCOP Hibatűrés
GY01 Állapotmentési és helyreállítási technikák	Gyakorlati példák az állapotmentés és a helyreállítás megvalósításához Állapotmentés és helyreállítás (példák)
GY02 Service Availability Forum köztesréteg szolgáltatások	A bemutató tartalma: Introduction Quick AIS Specification overview AIS Dependability services AIS Communication services Programming model DEMO SA Forum ismertető
GY03 Feladatátvételi fürtök és kritikus rendszerek	Tartalom: Feladatátvételi fürtök Architektúrák fail-stop működéshez Architektúrák fail-operational működéshez Architektúrák (példák)
EA03 A szolgáltatásbiztonság kvalitatív analízise	Tartalom: Analízis technikák: Ellenőrző listák Hibafa Eseményfa Ok-következmény analízis Veszély és működőképesség analízis Hibamód és hatás analízis (FMEA, FMECA) Állapot alapú analízis Emberi hibák analízise Veszély analízis biztonságkritikus rendszerekben: Analógia és különbségek Kockázati mátrix Kockázatcsökkentés Kvalitatív analízis
EA04 Kombinatorikus (Boole) modellek	Tartalom: Megbízhatósági blokkdiagram Kanonikus rendszerek Soros Párhuzamos N-ből M TMR Architektúra változatok összevetése Boole modellek
EV03 A szolgáltatásbiztonság analízise	Tartalom: Kvalitatív analízis technikák Ellenőrző lista Hibafa analízis Eseményfa analízis Ok-következmény analízis Veszély és működőképesség analízis Hibamód és -hatás analízis Állapot alapú veszély analízis Emberi hibák analízise Kvantitatív megbízhatósági modellezés és analízis technikák Boole modellek Markov modellek Sztochasztikus Petri-háló modellek A szolgáltatásbiztonság analízise (vázlat)
EV04 Elosztott rendszerek alapszolgáltatásai	Tartalom: Tagsági kép nyilvántartása Hibadetektálás Konszenzus Jellegzetes problémák Atomi döntéshozatali (commit) protokollok Kétfázisú döntéshozó protokoll (2PC) Háromfázisú döntéshozó protokoll (3PC) Események és üzenetek sorrendezése Események sorrendezése a valós idő alapján Események logikai sorrendezése Üzenetek sorrendezése Elosztott helyreállítás Állapotmentés alapú visszaléptetés Üzenettárolás alapú visszaléptetés Előrelépő helyreállítás Távoli eljáráshívás (RPC) Összefoglalás Elosztott rendszerek (vázlat)
EV05 OO megvalósítások	Tartalom: Az alapfeladatok áttekintése Elosztott OO köztesréteg konfigurációk Reflektív programozáson alapuló megoldások Aspektus-orientált programozáson alapuló megoldások Hibatűrő OO rendszerek tipikus architektúrája OO megvalósítások (vázlat)
EV06 Többpéldányos adatkezelés	Tartalom: Bevezetés Minden példány írása Minden elérhető példány írása Elérhető példányok írása validációval A partíciók problémája Quorum konszenzus Virtuális partíciók Többpéldányos adatkezelés (vázlat)