Bokor Péter. DECOS Nemzeti Nap október 15. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

HTML
DOWNLOAD

Méret: px

Mutatás kezdődik a ... oldaltól:

Download "Bokor Péter. DECOS Nemzeti Nap október 15. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék"

Jázmin Soós
6 évvel ezelőtt
Látták:

1 Beépített diagnosztika Bokor Péter

2 Tartalom 1. Elosztott diagnosztika: a feladat 2. A diagnosztika kihívása 3. A tagság mint diagnosztika 4. A DECOS diagnosztikai szolgáltatások 5. Kapcsolódó feladatok: biztonságtanusítás 6. Összefoglalás 2

3 1. Elosztott diagnosztika a(z egyetemi) autó esete Diagnosztika Hibás egységek azonosítása Elosztott diagnosztika Központi diagnosztikai egység Egyszeres hibahely Túlterhelt erőforrás Hibatűrés, skálázhatóság Miért kell diagnosztika? A hiba realitás A hibatűrés (sokszor) követelmény Diagnosztika: A hibatűrés egyik módszere (vö. hibafedés) 3

4 1. Elosztott diagnosztika a(z egyetemi) autó esete (2) Diagnosztika Hibás egységek azonosítása Elosztott diagnosztika Központi egység Egyszeres hibahely Túlterhelt erőforrás Hibatűrés, skálázhatóság Miért kell diagnosztika? A hiba realitás A hibatűrés (sokszor) követelmény Diagnosztika: A hibatűrés egyik módszere (vö. hibafedés) Diagnosztika nélkül??? Hogyan fékezzek, ha más fék-egység rossz? 4

5 1. Elosztott diagnosztika a(z egyetemi) autó esete (3) Diagnosztika Hibás egységek azonosítása Elosztott diagnosztika Központi egység Egyszeres hibahely Túlterhelt erőforrás Hibatűrés, skálázhatóság Miért kell diagnosztika? A hiba realitás A hibatűrés (sokszor) követelmény Diagnosztika: A hibatűrés egyik módszere (vö. hibafedés) Diagnosztikával Jobb első rossz! Most úgy fékezünk, hogy a jobb elsőt is helyettesitjük! Jobb első rossz! Jobb első rossz! 5

diagnosztika? A hiba realitás A hibatűrés (sokszor) követelmény Diagnosztika: A hibatűrés egyik módszere (vö.

6 1. Elosztott diagnosztika a(z egyetemi) autó esete (4) Diagnosztika Hibás egységek azonosítása Elosztott diagnosztika Központi egység Egyszeres hibahely Túlterhelt erőforrás Hibatűrés, skálázhatóság Miért kell diagnosztika? A hiba realitás A hibatűrés (sokszor) követelmény Diagnosztika: A hibatűrés egyik módszere (vö. hibafedés) Hibafedés drága Most Fékezhetünk úgy fékezünk, rendesen, hogy a jobb hiszen elsőt is mindenki helyettesitjük! jó! 6

7 2. A kihívás: Nehéz a diagnosztika? IGEN! Egy ízelítő probléma: A hibamodell 1. eset: Jobb első fék-egység leáll ( crash hiba) Jobb első, hibás vagy? Nincs válasz Diagnosztika: Jobb első fék-egység hibás 2. eset: Jobb első fék-egység worst-case hibás Jobb első, hibás vagy? Igen, Nem, Nem Diagnosztika:? A(z elosztott) diagnosztika nem triviális feladat! 7

8 2. Akadémia: Diagnosztika mint konszenzus A probléma gyökere Egyetértés (konszenzus) hibák jelenlétekor is A megoldás alapja mindig: többség dönt Akadémia A konszenzus probléma megoldása külön szakterület Diagnosztika: Speciális eset Konszenzus a hibás egységek kilétéről Miért fontos az általánosítás és a matematikai megközelítés? Sok más probléma megoldható Például: Tagsági szolgáltatás... 8

9 3. Tagsági csoport: Összetartó egységek Tagság A terminológia A tagok a csoportban ugyanazt gondolják A tagsági probléma Konszenzus a kapott üzeneteket felett Vevő-hibás egységek diagnosztikája Motiváció Fékezési intenzitás/irány/stb. kiszámolása az egymásnak küldött adatok alapján Tagság Üzenet fogadó részegység hibás Most úgy fékezünk, hogy a jobb elsőt is helyettesitjük! Mi egy tagsági csoport vagyunk! A jobb első egység nem tartozik közénk, mert nem tudja fogadni az üzeneteinket! 9

10 4. A DECOS diagnosztika Hibrid hibamodell: Crash + worst-case hibák Diagnosztika + Tagság Futás idejű diagnosztika Az autó működése közben Hosszútávú diagnosztika Átmeneti (tranziens) hiba után az egység visszatér a rendszerbe Alacsony késleltetés Hiba megjelenése után a diagnosztika időben hamar rendelkezésre áll Összefügg a szolgáltatás tolerált kiesési idejével Alacsony sávszélesség 10

11 4. A DECOS diagnosztika (2) Egy-két előny Tranziens hibák átlagosan 1000 óránként Konzervativ diagnosztika Elég egy hiba és az egység örökre hibásnak minősül És ha eltűnik a hiba (pl. zaj/zavar/meghibásodás után) és a misszió hosszú? DECOS diagnosztika A felgyógyult egységek felépülnek és visszaállnak a működésbe Diagnosztika kell Mi áron? Konzervatív diagnosztika Sok üzenetváltás Nagy sávszélesség Igazi alkamazásoknak kevés sávszélesség marad DECOS diagnosztika Kis sávszélesség (2N, 3N bit N az egységek száma) 11

12 5. A helyesség garanciája V&V A diagnosztika nem-triviális probléma Nem-triviális megoldások: Protokollok Számítógép számítógép kommunikáció Jól működik a javasolt megoldás? Megoldások ( DECOS esetén) Szisztematikus tesztelés (validáció) Mit igért az eredmény, ha nem minden futás tesztelt? (Ez nem jogerős.) Minden lehetséges hibaeset tesztelése (verifikáció) Biztonságosság matematikai bizonyítása (Ez jogerős.) DECOS melléktermék Technikák extrém komplexitás kezelésére is (absztrakció) N=7,8,9, 12

13 6. Összefoglalás Amit a DECOS kínál Hordozható diagnosztika Idővezérelt rendszerek (például FlexRay, TTP/C) Csomópont-csomópont szinkron rendszerek Hangolható diagnosztika Paraméterek Tranziens, permanens hibák gyakorisága,... Széleskörben felhasználható validációs + verifikációs paradigma Hibainjektálás Validáció Automatikus kimerítő szimuláció Verifikáció Támogatott protokoll fejlesztés Új protokollok fejlesztése 13

Hasonló dokumentumok

Szoftverminőségbiztosítás

NGB_IN003_1 SZE 2014-15/2 (13) Szoftverminőségbiztosítás Szoftverminőség és formális módszerek Formális módszerek Formális módszer formalizált módszer(tan) Formális eljárások alkalmazása a fejlesztésben