earticle

영어

The ARINC-653 standard architecture for flight software specifies an application executive (APEX) which furnishes an application programming interface of fifty-one routines. APEX enables the development of portable applications, providing a strict time and space partitioning for their execution along with intra- and inter-partition communication facilities. This architecture also defines a hierarchical health management framework for error detection and recovery. However, in every partition, asynchronously concurrent processes or threads may include concurrency bugs such as unintended data races which are common and difficult to remove by testing. To reinforce the capability of the ARINC-653 health management system and to increase the reliability of flight software, this article describes the development and the configuration of an on-the-fly race healing framework into a simulated ARINC-653 platform which provides real ARINC-653 programming interface. The experimental results allow us to argue that our race healing framework is practical enough to be configured under the ARINC-653 partitions.