A Domain Specific Language for the ARINC 653 Specification

With the introduction of the integrated modular avionics (IMA), recent trends in avionics are to integrate dif-ferent software applications on the same hardware platform. In this context, the underlying platform embodied by a real-time operating system (RTOS) must be designed in compliance with the ARIN C 653 specification. ARIN C 653 defines an application executive (APEX) interface between the RTOS and avionics applications within IMA architecture. It specifies requirements of an environment that provides partitioning, i.e. separation of applications to ensure fault containment and ease of verification. Designing an RTOS that complies with ARIN C 653 is costly and requires significant efforts. In this paper, we introduce a domain-specific language (DSL) that supports the specification of an ARINC653-compliant RTOS. In particular, we consider ARINC 653 as a set of generic and high-level requirements, and we use model-driven technologies to specify these requirements in the form of a metamodel. The ARINC metamodel aims at supporting and reducing the cost of certification by reusing the metamodel across multiple RTOS development projects. Other benefits of the ARIN C metamodel include generating data required for certification such as ARIN C configuration tables and test data.