Validate, simulate, and implement ARINC653 systems using the AADL

Abstract

Safety-critical systems are widely used in different domains and lead to an increasing complexity. Such systems rely on specific services such space and time isolation as in the ARINC653 avionics standard. Their criticality requires a carefully driven design based on an appropriate development process and dedicated tools to detect and avoid problems as early as possible.Model Driven Engineering (MDE) approaches are now considered as valuable approach for building safety-critical systems. The Architecture Analysis and Design Language (AADL) proposes a component-based language suitable to operate MDE that fits with safety-critical systems needs. 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 other safety mechanisms such as the use of Ravenscar for critical applications. This approach is fully backed by tools with Ocarina (AADL toolsuite), POK (AADL/AR-INC653 runtime) and Cheddar (scheduling verification). Thus, it assists system engineers to simulate and validate non functional requirements such as scheduling or resources dimensioning.

Time-Triggered Ethernet Metamodel: Design and Application

“…In addition, some research work have focused on extending the language using these extension mechanisms or investigating alternative ways. The most close research works to ours from this perspective are reported in [20] and [21]. Delange et al [20], present an approach based on AADL, which covers the modeling, verification and implementation of ARINC653 systems.…”

AUTOBEST: a united AUTOSAR-OS and ARINC 653 kernel

“…Similarly, there are many systemsoftware solutions for avionics, including POK [17] and XtratuM [18]. However, all these systems support either AUTOSAR or ARINC, but not both.…”

Enforcing software engineering tools interoperability: An example with AADL subsets

“…This Ada subset allows programmers to write Ada programs that are compliant with real-time critical systems requirements. Delange et al [14] define guidelines for the implementation of ARINC653 systems using AADL. This ARINC653 guidelines specifies a subset of AADL to model all the concepts of an ARINC 653 architecture.…”