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.

Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study

A Modeling Methodology to Facilitate Safety-Oriented Architecture Design of Industrial Avionics Software.

A FACE-based Simulation and Verification Approach for Avionics Systems

Research on Integrated Avionics System Safety Methodology

Model-driven Safety Dependence Verification for Component-based Airborne Software Supporting Airworthiness Certification

A Simulation and Verification Platform for Avionics Systems Based on Future Airborne Capability Environment Architecture

Design Assurance Evaluation of Microcontrollers for safety critical Avionics

An Automatic Development Process for Integrated Modular Avionics Software.

Formal Verification Of Airborne Software Safety Requirement

An Approach to Develop Architecture of ARINC653-Based Avionic Software

Architecture-level Hazard Analysis Using AADL.

Safety SysML: an Executable Safety-Critical Avionics Requirement Modeling Language

Filling the Gap Between IMA Development and Safety Assessment Through Safety-Driven Model-Based System Engineering

A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331

Automatic Flight Control System Design and Simulation Based on SCADE

Software engineering management framework for complex avionics software

Safety Assessment Process Optimization for Integrated Modular Avionics

Testing Method Of Integrated Modular Avionics Health Monitoring

Research on Formal Verification Technique for Aircraft Safety-Critical Software

An AADL-Based Modeling Method for ARINC653-Based Avionics Software

Avionics System Testing Based on Formal Methods