Resumen

La información de configuración del sistema de Aviónica Modular Integrada (IMA) incluye casi todos los detalles de la arquitectura completa del sistema, que se utiliza para configurar las interfaces de hardware, el sistema operativo y las interacciones entre las aplicaciones para que un sistema IMA funcione correctamente y de forma fiable. Es muy importante garantizar la corrección e integridad de la configuración en la fase de diseño del sistema IMA. En este artículo, nos centramos en el modelado y la verificación de la información de configuración del sistema IMA/ARINC653 basado en MARTE (Modelling and Analysis for Real-time and Embedded Systems). En primer lugar, definimos el mapeo semántico de los conceptos clave de la configuración (como módulos, particiones, memoria, proceso y comunicaciones) a los componentes del elemento MARTE y proponemos un método para la transformación del modelo entre la información de configuración con formato XML y los modelos MARTE. A continuación, presentamos un marco de verificación formal para la configuración del sistema ARINC653 basado en técnicas de prueba de teoremas, que incluye la construcción de los correspondientes teoremas REALES de acuerdo con la semántica de esos componentes clave de la información de configuración y la verificación formal de los teoremas para las propiedades de IMA, como las restricciones de tiempo, el aislamiento espacial y la supervisión de la salud. A continuación, se estudia una cuestión especial de análisis de la programabilidad del sistema ARINC653. Diseñamos una estrategia de programación jerárquica teniendo en cuenta las características del sistema ARINC653, y se utiliza un analizador de programación MAST-2 para implementar el análisis de programación jerárquica. Por último, se diseña un prototipo de herramienta, denominada Configuration Checker for ARINC653 (CC653), y dos casos prácticos demuestran que los métodos propuestos en este artículo son viables y eficientes.

• Materias:Reacciones químicas Minería de datos Aerodinámica Ingeniería aeroespacial Ingeniería Aeronáutica
• Subjects:Chemical reactions Data mining Aerodynamics Aerospace engineering Aeronautical Engineering
• Palabras claves:sistema arinc653, información de configuración, estrategia de programación jerárquica, marco de verificación formal, consideración de carácter, componentes de marte, información de integrado, diseño de sistema ima, trabajo de sistema ima, fase de diseño de sistema
• Keywords:arinc653 system, configuration information, hierarchical scheduling strategy, formal verification framework, consideration of character, components of marte, information of integrated, ima system design, ima system work, system design phase