Pôvodný názov:
Model-Based Safety Analysis
Obsah knihy:
Techniky analýzy bezpečnosti systému sú dobre zavedené a hojne sa využívajú pri návrhu systémov kritických z hľadiska bezpečnosti.
Napriek tomu je väčšina techník veľmi subjektívna a závisí od zručností odborníka. Keďže tieto analýzy sú zvyčajne založené na neformálnom modeli systému, je nepravdepodobné, že budú úplné, konzistentné a bezchybné.
V skutočnosti nedostatok presných modelov architektúry systému a jeho spôsobov porúch často núti bezpečnostných analytikov venovať veľkú časť svojho úsilia zhromažďovaniu architektonických detailov o správaní systému z viacerých zdrojov a zakomponovaniu týchto informácií do bezpečnostných artefaktov, ako sú stromy porúch. Táto správa opisuje bezpečnostnú analýzu založenú na modeli, prístup, v ktorom systémový a bezpečnostný inžinier zdieľajú spoločný model systému vytvorený pomocou procesu vývoja založeného na modeli. Rozšírením modelu systému o model porúch, ako aj o príslušné časti fyzického systému, ktorý sa má kontrolovať, možno poskytnúť automatizovanú podporu pre veľkú časť bezpečnostnej analýzy.
Veríme, že používaním spoločného modelu pre systémové aj bezpečnostné inžinierstvo a automatizáciou častí bezpečnostnej analýzy môžeme znížiť náklady a zlepšiť kvalitu bezpečnostnej analýzy. V tejto časti predstavujeme našu víziu analýzy bezpečnosti založenej na modeli a diskutujeme o výhodách a výzvach pri zavádzaní tohto prístupu do praxe.
