Análisis de seguridad basado en modelos

Título original:

Model-Based Safety Analysis

Contenido del libro:

Las técnicas de análisis de la seguridad de los sistemas están bien establecidas y se utilizan ampliamente durante el diseño de sistemas críticos para la seguridad.

A pesar de ello, la mayoría de las técnicas son muy subjetivas y dependen de la habilidad del profesional. Como estos análisis suelen basarse en un modelo informal del sistema, es poco probable que sean completos, coherentes y sin errores.

De hecho, la falta de modelos precisos de la arquitectura del sistema y de sus modos de fallo obliga a menudo a los analistas de seguridad a dedicar gran parte de su esfuerzo a recopilar detalles arquitectónicos sobre el comportamiento del sistema a partir de varias fuentes y a integrar esta información en los artefactos de seguridad, como los árboles de fallos. Este informe describe el análisis de seguridad basado en modelos, un enfoque en el que los ingenieros de sistemas y de seguridad comparten un modelo de sistema común creado mediante un proceso de desarrollo basado en modelos. Al ampliar el modelo del sistema con un modelo de fallos, así como con las partes relevantes del sistema físico que deben controlarse, se puede proporcionar un soporte automatizado para gran parte del análisis de seguridad.

Creemos que utilizando un modelo común para la ingeniería de sistemas y de seguridad y automatizando partes del análisis de seguridad, podemos reducir el coste y mejorar la calidad del análisis de seguridad. Presentamos aquí nuestra visión del análisis de seguridad basado en modelos y analizamos las ventajas y los retos que plantea la puesta en práctica de este enfoque.