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

abstracto

Analizar la lógica de transición de modo del sistema de control de vuelo automático utilizando una aproximación semiformal

Rathina Kumar V*, Nanda M, Jayanthi J

El sistema de piloto automático es un sistema de aviónica muy crítico en las aeronaves modernas, ya que dirige la aeronave automáticamente. El piloto automático es un sistema muy complejo impulsado por una lógica compleja y es una de las principales razones de los accidentes en aviones comerciales automatizados. La lógica del piloto automático consta de la lógica de transición de modo que, en el modo automático, dirige la aeronave en función de la aerodinámica de la aeronave. En el modo automatizado, el funcionamiento correcto y eficiente de la transición de modo es muy crítico; por lo tanto, se requiere un enfoque de alta seguridad para analizar la lógica de su funcionalidad y rendimiento. En este documento, presentamos un enfoque basado en un método semiformal para analizar y validar la Lógica de transición de modo (MTL) para un avión comercial desarrollado localmente en las direcciones vertical y lateral. El MTL se analiza y valida para su funcionamiento y funcionamiento correcto, completo y confiable utilizando Stateflow. La lógica MTL modelada se valida para las transiciones permitidas en función de las combinaciones de entrada frente a los requisitos de funcionalidad y seguridad. El resultado del enfoque muestra resultados alentadores con respecto a la garantía de la funcionalidad, el rendimiento y la seguridad en comparación con el enfoque manual convencional de las pruebas. Se puede utilizar un enfoque semiformal similar para reducir el esfuerzo de diseño en el diseño y desarrollo de diseños de sistemas complejos en comparación con el análisis manual.