Hibaterjedés-analízis

Az előadások a következő témára: "Hibaterjedés-analízis"— Előadás másolata:

1 Hibaterjedés-analízis
Error Propagation Analysis Hibaterjedés-analízis Segédfóliák az Autonóm és hibatűrő inf. rsz. tárgyhoz Kocsis Imre

2 Ismétlés Előző óra: formális definíciók
Rendszermodellezés (véges) automatákkal Hibás mutációk (Bemeneti-kimeneti) hibák („error”) Figyelem: ez nem teljesen a szokásos error fogalmunk Szindrómák A. Pataricza: Systematic Generation of Dependability Cases from Functional Models, FORMS/FORMAT 2008

3 Hibaterjedés Függőségek Hibaterjedés: erőforráshasználat adatcsere
erőforrás-állapot adat … vagy hiánya

4 Hibaterjedés függő komponensek között
EPA: az eltérés data flow-szerű terjedését vizsgáljuk Eltérés a hibamentes rendszer viselkedéséhez képest Belső és külső hibákra is (Laprie et al.: Basic Concepts of and Taxonomy of Dep. And Secure Computing, 2004)

5 Önálló komponensek: hibaautomata
Kapcsolatok: protokoll-automata saját abc-vel Kompozit-automata: referencia + egy adott mutáció Adathiba: referenciarendszer viselkedésétől eltérés Ill. hipotézise Klasszifikáció: „mérnöki tapasztalat” A végeredmény egy errorokat olvasó és író automata! ( / mutáció) Inputs and outputs: behavior v0, v0, v3, v2, v0, … reference v1, v0, v4, v2, v0, … actual E1, E0, E2, E0, E0, …

6 Dinamikus vizsgálatok korlátai
Állapottér-kezelés problémái precíz modellezés kompozit rendszerek lásd modellellenőrzés (Formális módszerek) Modellezési problémák "fekete doboz" rendszerek Sebesség - valósidejű diagnosztika?

7 Temporális absztrakció a hibaautomatán
E1, E0, E2, E2, E0, … Rendszerfutás: hibák sorozatai a kapcsolatokon „no error” error Lehetséges hiba-futások halmazának particionálása: szindrómák Időbeli absztrakció Példa: vegyük a legsúlyosabbat ( „súlyossági” reláció!) Végeredmény: „táblázat” (reláció) a bemeneti/kimeneti szindrómákon (+ belső hibamód) „Overabstraction”: kútfőből építkezve a táblázat akár „hamis” sorokat is tartalmazhat… S5

8 Mi is az a Model Checking? NuSMV, de lehetne SAL, SPIN, …
Nézzünk egy példát… Mi is az a Model Checking? NuSMV, de lehetne SAL, SPIN, … Az „igazi” modellellenőrzők jellemzően nem publikusak

9 LTL

10 Hibaterjedés statikus leírása
Informálisan: dinamika elhagyása Állapot-absztrakció komponensek belső hibamódja Absztrakció az adatfolyamon térbeli: kvalitatív hibamódok időbeli: hiba-futás klasszifikálása mellékhatás: ütemezés, szinkronitás elvesztése

11 Elemtípus-szintű hibaterjedés statikus leírása
Reláció bemeneti szindróma-változók kimeneti szindróma-változók (belső) hibaállapot Topológia dinamikus struktúrák modellezése? Valódi pesszimista túlabsztrahálás „pessimistic overabstraction” szemantika

12 Hibaterjedés statikus analízise
Kihívások mérnöki modellezés kvalitatív hibamódok között teljes rendezés? Szindróma-készletek kompozicionalitása leképezés matematikai analízisre analízis-megoldás illesztése nyílt rendszertervezési és rendszermenedzsment eszközökhöz metamodellezés