Resumen

La dependencia de los complejos sistemas integrados de seguridad crítica en los ámbitos de la aviónica y la industria aeroespacial de sus componentes de software y hardware subyacentes ha aumentado gradualmente con el paso del tiempo. Estos sistemas de dominio de aplicación se desarrollan sobre la base de una arquitectura integrada compleja, que es de naturaleza modular. Las prácticas de ingeniería garantizadas con las normas de seguridad del sistema para gestionar los fallos, las averías y las condiciones operativas inseguras son muy necesarias. Los análisis de seguridad de los sistemas implican el análisis de la compleja arquitectura de software del sistema, un aspecto importante para que se produzcan consecuencias fatales en el comportamiento de los sistemas de seguridad crítica, y proporcionan factores de alta fiabilidad y confiabilidad durante su desarrollo. En este artículo, proponemos un enfoque de modelado de fallos de arquitectura y de análisis de seguridad que ayudará a identificar y eliminar los fallos de diseño. Los fundamentos formales del análisis de arquitectura SAE

• Materias:Minería de datos Aerodinámica Motores (Mecánica) Cinemática Vehículo espacial
• Subjects:Data mining Aerodynamics Engines Kinematics Space vehicles
• Palabras claves:anexo de modelo de error, unidad de potencia, unidad de control de velocidad, piloto automático de barco, defectos de diseño, sistema crítico, análisis
• Keywords:error model annex, unit of power, speed control unit, boat autopilot, design flaws, critical system, analysis & design, unsafe operational conditions, system safety analysis, propagation of fault