Eredeti címe:
Model-Based Safety Analysis
Könyv tartalma:
A rendszerbiztonsági elemzési technikák jól beváltak, és széles körben alkalmazzák őket a biztonságkritikus rendszerek tervezése során.
Ennek ellenére a technikák többsége erősen szubjektív és a gyakorlati szakember szakértelmétől függ. Mivel ezek az elemzések általában egy informális rendszermodellen alapulnak, nem valószínű, hogy teljesek, következetesek és hibamentesek lesznek.
Valójában a rendszerarchitektúra és a hibamódok pontos modelljeinek hiánya gyakran arra kényszeríti a biztonsági elemzőket, hogy erőfeszítéseik nagy részét arra fordítsák, hogy a rendszer viselkedésére vonatkozó architekturális részleteket több forrásból összegyűjtsék, és ezeket az információkat beágyazzák a biztonsági artefaktumokba, például a hibafákba. Ez a jelentés a modellalapú biztonsági elemzést írja le, egy olyan megközelítést, amelyben a rendszer- és a biztonsági mérnökök egy közös rendszermodellen osztoznak, amelyet modellalapú fejlesztési folyamat segítségével hoztak létre. A rendszermodell hibamodellel, valamint az ellenőrizendő fizikai rendszer releváns részeivel való bővítésével a biztonsági elemzés nagy része automatizáltan támogatható.
Úgy véljük, hogy a rendszer- és biztonságtechnikai tervezéshez egyaránt közös modell használatával és a biztonsági elemzés egyes részeinek automatizálásával csökkenthetjük a költségeket és javíthatjuk a biztonsági elemzés minőségét. A következőkben bemutatjuk a modellalapú biztonsági elemzéssel kapcsolatos elképzelésünket, és megvitatjuk a megközelítés gyakorlati megvalósításának előnyeit és kihívásait.
