Původní název:
Model-Based Safety Analysis
Obsah knihy:
Techniky analýzy bezpečnosti systému jsou dobře zavedené a hojně se používají při návrhu systémů kritických z hlediska bezpečnosti.
Přesto je většina těchto technik vysoce subjektivní a závisí na dovednostech odborníka. Protože tyto analýzy obvykle vycházejí z neformálního modelu systému, je nepravděpodobné, že budou úplné, konzistentní a bezchybné.
Ve skutečnosti nedostatek přesných modelů architektury systému a jeho poruchových režimů často nutí bezpečnostní analytiky věnovat velkou část svého úsilí shromažďování architektonických detailů o chování systému z několika zdrojů a zakomponování těchto informací do bezpečnostních artefaktů, jako jsou stromy poruch. Tato zpráva popisuje modelově založenou bezpečnostní analýzu, přístup, při kterém systémoví a bezpečnostní inženýři sdílejí společný model systému vytvořený pomocí procesu vývoje založeného na modelech. Rozšířením modelu systému o model poruch a také o příslušné části fyzického systému, který má být řízen, lze zajistit automatizovanou podporu pro velkou část bezpečnostní analýzy.
Domníváme se, že používáním společného modelu pro systémové i bezpečnostní inženýrství a automatizací částí bezpečnostní analýzy můžeme snížit náklady i zlepšit kvalitu bezpečnostní analýzy. Zde představujeme naši vizi analýzy bezpečnosti založené na modelu a diskutujeme o výhodách a výzvách při zavádění tohoto přístupu do praxe.
