Resumen

Los sistemas críticos para la seguridad deben demostrar una seguridad aceptable para su despliegue y uso en su entorno operativo. Una de las principales preocupaciones a la hora de desarrollar sistemas críticos para la seguridad es comprender cómo se comporta el sistema en presencia de fallos, independientemente de si ese fallo es provocado por el entorno externo o causado por errores internos. La evaluación de la seguridad en las primeras fases del desarrollo de un sistema implica el análisis de los fallos potenciales y sus consecuencias. En el caso de los sistemas complejos, cada vez se utiliza más la evaluación de la seguridad basada en modelos. En este artículo proponemos un enfoque para el análisis de la seguridad basado en modelos de interfaz del sistema. Ampliando los modelos de interacción en el nivel de interfaz del sistema con modos de fallo, así como con partes relevantes del sistema físico que deben controlarse, podría proporcionarse apoyo automatizado para gran parte del análisis de fallos. Nos centramos en el modelado de fallos y en cómo calcular conjuntos de corte mínimos. En particular, exploramos la estrategia de reconstrucción del espacio de estados y la técnica de búsqueda acotada para reducir el número de estados que deben analizarse, lo que mejora notablemente la eficacia del algoritmo de búsqueda de conjuntos de corte.

• Materias:Análisis Matemático Matemáticas Algebra Ingeniería Lógica matemática
• Subjects:Mathematical Analysis mathematics Algebra Engineering Mathematical logic
• Palabras claves:Sistemas críticos para la seguridad; fallos; evaluación de la seguridad; evaluación de la seguridad basada en modelos; modelado de fallos; conjuntos de corte mínimo.
• Keywords:Safety-critical systems; failures; safety assessment; model-based safety assessment; fault modeling; minimal cut sets