El análisis de seguridad basado en modelos (MBSA) es una metodología emergente que complementa los métodos de evaluación de la seguridad aplicados tradicionalmente en el desarrollo de aviónica, como el Fault Tree Analysis. El creciente interés por las aplicaciones industriales se reflejará también en la norma ARP4761A, actualmente en desarrollo, que incluirá un nuevo apéndice en el que se describirá la aplicación de métodos de análisis de seguridad basado en modelos a los procesos de seguridad aeroespacial. Existe una gran variedad de enfoques y herramientas de análisis de seguridad basados en modelos. Sin embargo, un factor clave para el éxito de su aplicación industrial es la integración sin fisuras y trazable con el entorno de desarrollo de sistemas y software, que muchos de los enfoques existentes no admiten o sólo admiten parcialmente.
En este webinario se presenta un enfoque basado en la simulación que utiliza la nueva caja de herramientas Simulink Fault Analyzer de MathWorks. La caja de herramientas Simulink Fault Analyzer es una solución basada en flujos de trabajo para ayudar a los ingenieros que trabajan en sistemas críticos para la seguridad. Presenta dos funciones principales: La inyección de fallos permite definir modelos de fallos para elementos de modelo de System Composer, Simulink y Simscape y realizar simulaciones del comportamiento del modelo resultante. Los artefactos de análisis de seguridad pueden capturarse y gestionarse en la aplicación de gestión de seguridad y pueden vincularse a elementos del modelo, requisitos, fallos y otros artefactos. La herramienta también proporciona plantillas integradas que puede aprovechar y adaptar a su flujo de trabajo.
Participantes:
María Fernández
Ingeniera de aplicaciones – MathWorks
Especializada en las áreas de simulación, diseño de sistemas de control, modelado físico y verificación, validación e implementación de dichos sistemas. Antes de empezar en MathWorks en 2019, trabajó en GMV como desarrolladora de software para aplicaciones de GNSS y colaboró con DLR en el grupo de investigación exoplanetaria. María es Ingeniera Aeroespacial por la Universidad Carlos III de Madrid y Máster en Ingeniería Aeroespacial, con especialidad en exploración espacial por la Universidad Técnica de Delft.
