Oryginalny tytuł:
Model-Based Safety Analysis
Zawartość książki:
Techniki analizy bezpieczeństwa systemów są dobrze ugruntowane i są szeroko stosowane podczas projektowania systemów o krytycznym znaczeniu dla bezpieczeństwa.
Pomimo tego, większość z tych technik jest wysoce subiektywna i zależna od umiejętności praktyka. Ponieważ analizy te są zwykle oparte na nieformalnym modelu systemu, jest mało prawdopodobne, że będą one kompletne, spójne i wolne od błędów.
W rzeczywistości brak precyzyjnych modeli architektury systemu i jego trybów awaryjnych często zmusza analityków bezpieczeństwa do poświęcenia znacznej części wysiłku na zebranie szczegółów architektonicznych dotyczących zachowania systemu z kilku źródeł i osadzenie tych informacji w artefaktach bezpieczeństwa, takich jak drzewa błędów. Niniejszy raport opisuje analizę bezpieczeństwa opartą na modelu, podejście, w którym inżynierowie systemu i bezpieczeństwa dzielą wspólny model systemu stworzony przy użyciu procesu rozwoju opartego na modelu. Rozszerzając model systemu o model błędów, a także odpowiednie części systemu fizycznego, który ma być kontrolowany, można zapewnić zautomatyzowane wsparcie dla znacznej części analizy bezpieczeństwa.
Wierzymy, że wykorzystując wspólny model zarówno dla inżynierii systemowej, jak i inżynierii bezpieczeństwa oraz automatyzując część analizy bezpieczeństwa, możemy zarówno obniżyć koszty, jak i poprawić jakość analizy bezpieczeństwa. Poniżej przedstawiamy naszą wizję analizy bezpieczeństwa opartej na modelach oraz omawiamy zalety i wyzwania związane z praktycznym zastosowaniem tego podejścia.
