Analisi della sicurezza basata su modelli

Titolo originale:

Model-Based Safety Analysis

Contenuto del libro:

Le tecniche di analisi della sicurezza del sistema sono ben consolidate e vengono utilizzate ampiamente durante la progettazione di sistemi critici per la sicurezza.

Ciononostante, la maggior parte delle tecniche è altamente soggettiva e dipende dall'abilità del professionista. Poiché queste analisi si basano solitamente su un modello informale del sistema, è improbabile che siano complete, coerenti e prive di errori.

Infatti, la mancanza di modelli precisi dell'architettura del sistema e delle sue modalità di guasto spesso costringe gli analisti della sicurezza a dedicare gran parte dei loro sforzi alla raccolta di dettagli architettonici sul comportamento del sistema da diverse fonti e all'incorporazione di queste informazioni negli artefatti di sicurezza, come gli alberi dei guasti. Questo rapporto descrive l'analisi di sicurezza basata sul modello, un approccio in cui gli ingegneri di sistema e di sicurezza condividono un modello di sistema comune creato utilizzando un processo di sviluppo basato sul modello. Estendendo il modello di sistema con un modello di guasto e con le parti rilevanti del sistema fisico da controllare, è possibile fornire un supporto automatico per gran parte dell'analisi di sicurezza.

Riteniamo che, utilizzando un modello comune per l'ingegneria di sistema e di sicurezza e automatizzando parti dell'analisi di sicurezza, sia possibile ridurre i costi e migliorare la qualità dell'analisi di sicurezza. Qui presentiamo la nostra visione dell'analisi di sicurezza basata su modelli e discutiamo i vantaggi e le sfide per rendere pratico questo approccio.