Revista de Ingeniería Aeronáutica y Aeroespacial
Acceso abierto

abstracto

Análisis de seguridad a nivel de arquitectura para sistemas críticos para la seguridad

Kushal KS*,Manju Nanda,Jayanthi J

La dependencia de los complejos sistemas integrados críticos para la seguridad en los dominios aeroespacial y de aviónica de sus componentes subyacentes de software y hardware ha aumentado gradualmente con la progresión en el tiempo. Dichos sistemas de dominio de aplicación se desarrollan sobre la base de una arquitectura integrada compleja, que son de naturaleza modular. Las prácticas de ingeniería aseguradas con estándares de seguridad del sistema para gestionar las condiciones operativas de falla, defectuosas e inseguras son muy necesarias. Los análisis de seguridad del sistema implican el análisis de la arquitectura de software compleja del sistema, un aspecto importante que conduce a consecuencias fatales en el comportamiento de los sistemas críticos para la seguridad, proporciona factores de alta confiabilidad y confiabilidad durante su desarrollo. En este documento, proponemos un modelado de fallas de arquitectura y el enfoque de análisis de seguridad que ayudará a identificar y eliminar las fallas de diseño. Se analizan los fundamentos formales del lenguaje de diseño y análisis de arquitectura SAE (AADL) aumentado con el anexo del modelo de error (EMV). La propagación de fallas, el comportamiento de fallas y el comportamiento compuesto de las fallas/fallas de diseño se consideran para el análisis de seguridad de la arquitectura. La ilustración del enfoque propuesto se valida mediante la implementación del sistema de unidad de control de velocidad del piloto automático de embarcaciones a motor (PBA).

El Anexo del Modelo de Error (EMV) guía con el patrón de consideración e inclusión de escenarios probables de falla y propagación de condiciones de falla en la Unidad de Control de Velocidad del Piloto Automático de Barcos a Motor (PBA). Esto ayuda a validar la arquitectura del sistema con la detección del evento de error en el modelo y su impacto en el entorno operativo. Esto también proporciona una idea del impacto de la Certificación que estas condiciones excepcionales tienen en varios niveles de criticidad, niveles de garantía de diseño y sus implicaciones en la verificación y validación de los diseños.