Studying on ARINC653 Partition Run-time Scheduling and Simulation

Authors: Dongliang Wang, Jun Han, Dianfu Ma, Xianqi Zhao

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. ARINC 653 (Avionics Application Standard Software Interface) is a software specification for space and time partitioning in Safety-critical avionics Real-time operating systems. Arinc653 uses two-level scheduling strategies, but current modeling tools only apply to simple problems of Arinc653 two-level scheduling, which only contain time property. In avionics industry, we are always manually allocating tasks and calculating the timing table of a real-time system to ensure it-s running as we design. In this paper we represent an automatically generating strategy which applies to the two scheduling problems with dependent constraints in Arinc653 partition run-time environment. It provides the functionality of automatic generation from the task and partition models to scheduling policy through allocating the tasks to the partitions while following the constraints, and then we design a simulating mechanism to check whether our policy is schedulable or not

Keywords: Arinc653, scheduling, task allocation, simulation.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1079828

References:

[1] Jean-Louis Camus, "The Airbome Software Development Challenge," White Paper, ESTEREL TECHNOLOGIES, March 2010.
[2] Sandeep K. Shukla, "Model-Driven Engineering and Safety-Critical Embedded Software," Computer, vol. 42, no. 9, pp. 93-95, Sept. 2009, doi:10.1109/MC.2009.294
[3] SAE Aerospace. SAE AS5506: Architecture Analysis and Design Language (AADL), Version 2.0, 2009.
[4] C.B.Watkins and R.Walter, "Transitioning from federated avionics architectures to Integrated Modular Avionics," In Proceedings of the IEEE/AIAA 26th Digital Avionics Systems Conference (DASC -07), October 2007.
[5] John Rushby,Partitioning in Avionics Architectures:Requirements, Mechanisms, and Assurance, Langley Research Center Prepared for Langley Research Center Hampton, Virginia 23681-2199
[6] Airlines electronic engineering committee (AEEC), avionics application software standard interface - ARINC specification 653 - part 1 (REQUIRED SERVICES), December 2005, ARINC, Inc.
[7] ARINC CHARACTERISTIC 702A-3, December 15, 2006, ARINC, Inc.
[8] F Singhoff, J Legrand, L Nana, L Marce Cheddar : a Flexible Real Time Scheduling Framework in ACM SIGADA 2004 International conference Proceedings (2004)