Análisis de Requisitos de Independencia para el Análisis de Modo Común de la Seguridad del Sistema de Aeronaves Basado en AADL
Autores: Ruan, Hongze; Qi, Fan; Wei, Xiaohui; Zhou, Yadong; Lu, Zhong
Idioma: Inglés
Editor: MDPI
Año: 2025
Acceso abierto
Artículo científico
2025
Análisis de Requisitos de Independencia para el Análisis de Modo Común de la Seguridad del Sistema de Aeronaves Basado en AADL
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería Aeroespacial
Palabras clave
Análisis de modo común
Independencia
Evaluación de la seguridad del sistema
árbol de fallos
Lenguaje de Análisis y Diseño de Arquitectura (AADL)
Fallos de modo común (FMCs)
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 35
Citaciones: Sin citaciones
El análisis de modo común (CMA) es un método analítico cualitativo utilizado para apoyar la evaluación de la independencia en la evaluación de seguridad de sistemas de aeronaves civiles. En el CMA tradicional, los requisitos de independencia suelen identificarse evaluando la combinación de eventos utilizando puertas AND en el árbol de fallos. Este enfoque es engorroso y depende en gran medida de las habilidades y experiencias de los ingenieros de seguridad de sistemas. Se propone una metodología basada en el Lenguaje de Análisis y Diseño de Arquitectura (AADL) para derivar requisitos de independencia para el CMA. Los datos de propagación de errores en AADL se extraen para desarrollar un modelo de propagación de fallos. Posteriormente, se identifican los factores potenciales que contribuyen a las fallas de modo común (CMFs) utilizando el modelo de propagación de fallos. Se utiliza un Computador de Vuelo Primario (PFC) de una aeronave como estudio de caso para ilustrar la efectividad de nuestro método propuesto.
Descripción
El análisis de modo común (CMA) es un método analítico cualitativo utilizado para apoyar la evaluación de la independencia en la evaluación de seguridad de sistemas de aeronaves civiles. En el CMA tradicional, los requisitos de independencia suelen identificarse evaluando la combinación de eventos utilizando puertas AND en el árbol de fallos. Este enfoque es engorroso y depende en gran medida de las habilidades y experiencias de los ingenieros de seguridad de sistemas. Se propone una metodología basada en el Lenguaje de Análisis y Diseño de Arquitectura (AADL) para derivar requisitos de independencia para el CMA. Los datos de propagación de errores en AADL se extraen para desarrollar un modelo de propagación de fallos. Posteriormente, se identifican los factores potenciales que contribuyen a las fallas de modo común (CMFs) utilizando el modelo de propagación de fallos. Se utiliza un Computador de Vuelo Primario (PFC) de una aeronave como estudio de caso para ilustrar la efectividad de nuestro método propuesto.