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.

목차

Abstract
 1. Introduction
 2. Background
  2.1. ARINC-653
  2.2. Race healing framework
 3. Race healing framework in SIMA
  3.1. The SIMA environment
  3.2. Race detection protocol
  3.3. Race healing protocol
 4. Race healing guarantee
 5. Efficiency and configurability
 6. Related work
 7. Conclusion
 References

키워드

저자

• Guy Martin Tchamgoue [ Department of Informatics, Gyeongsang National University ]
• Ok-Kyoon Ha [ Department of Informatics, Gyeongsang National University ]
• Kyong-Hoon Kim [ Department of Informatics, Gyeongsang National University ]
• Yong-Kee Jun [ Department of Informatics, Gyeongsang National University ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Hybrid Information Technology

• 간기

  격월간

• pISSN

  1738-9968

• 수록기간

  2008~2016

• 십진분류

  KDC 505 DDC 605