Abstract:Avionics software is safe-critical embedded software and its architecture is evolving from traditional federated architectures to Integrated Modular Avionics (IMA) to improve resource usability. ARINC653, as a standard widely employed in the avionics industry, supports partitioning concepts in accordance with the IMA philosophy. Monitoring the health of certain aerospace structures has been shown to be a key step in reducing the life cycle costs for structural maintenance and inspection. Since the health of the structures ultimately determines the health of a vehicle, health monitoring is also an important prerequisite for improved aviation safety. In this paper, we present the preliminary results from our ongoing project on designing and evaluating architectures for integrated structural health monitoring. To insure the development of the avionics software constructed on ARINC653 operating system with high reliability and efficiency, we propose a model-driven design methodology based on Architecture Analysis & Design Language (AADL) for HM module of ARINC653 system. This paper presents an approach for the modeling, verification and implementation of ARINC653 systems using AADL. It details a modeling approach exploiting the new features of AADL version 2 for the design of ARINC653 architectures. It also proposes modeling patterns to represent the safety mechanisms of the HM module of Integrated Modular Avionics. Thus, it assists system engineers to simulate and validate non functional requirements such as scheduling or resources dimensioning and then propose a method of testing the HM module of Integrated Modular Avionics using Fault Injection and Program Instrumentation Technology.

Modelling and Simulation of Integrated Modular Avionics Systems

Modeling and analysis of integrated avionics processing systems

Scheduling Independent Partitions in Integrated Modular Avionics Systems

Schedulability Analysis For Independent Partitions In Integrated Modular Avionics Systems

Design and Realization of IMA Simulation Platform Based on CPCI Bus Using VxWorks653 RTOS

Research on Time Resource Configuration Verification Based on Model for IMA Systems

Design of Civil Aircraft Integrated Surveillance System Simulator Based on IMA Architecture

Partition Scheduling in Integrated Modular Avionics

Technical Research of Integrated Modular Avionics

A Model-Based Approach to Optimizing Partition Scheduling of Integrated Modular Avionics Systems

A Tool for IMA System Configuration Verification and Case Study

An IMA Temporal Partitioning Test Design Based on Partition Scheduling Model

An Automatic Development Process for Integrated Modular Avionics Software.

Design of Virtual Simulation Experiment Platform Based on ARINC 653 Specification

Testing Method Of Integrated Modular Avionics Health Monitoring

A survey of avionics analysis and simulation based on AADL model.

A Model Driven Multi-Constraint Safety Analysis Method for Integrated Modular Avionics Systems on Time Domain

Research on resource fusion for Integrated Modular Avionics system

IMA Reconfiguration Modeling and Reliability Analysis Based on AADL

Simulation for integrated modular avionics using language Signal

Hierarchical Scheduling Model and Optimal Partition Design for Avionics