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

Félév: 2013. tavasz
Title 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
GY05: Szolgáltatásbiztonsági kérdések virtualizált környezetben
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
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
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
Félév: 2012. tavasz
Title Egyedi szöveg
Tárgyadatok

Az előadás anyaga:

A tárgy áttekintése

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
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
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
GY02: Feladatátvételi fürtök

A gyakorlat anyaga:

  • Feladatátvételi fürtök
  • SA Forum AIS Availability Management Framework (demo)
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
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
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
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
Félév: 2011. tavasz
Title 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
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
     
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

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


 

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

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
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
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
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
Syndicate content