Abstract
The ARINC-653 standard architecture for flight software specifies an application executive which furnishes an application programming interface and defines a hierarchical framework which provides health management for error detection and recovery. In every partition of the architecture, however, asynchronously concurrent processes or threads may include concurrency bugs such as unintended race conditions 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 paper describes the development of a race healing framework in a simulated ARINC-653 platform which provides 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.
This research was supported by the MKE (The Ministry of Knowledge Economy), Korea, under the ITRC (Information Technology Research Center) support program supervised by the NIPA (National IT Industry Promotion Agency), NIPA-2010-(C1090-1031-0007).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Airlines Electronic Engineering Committee (AEEC): Avionics Application Software Standard Interface - ARINC Specification 653 - Part 1 (Supplement 2 - Required Services), ARINC (2006)
Airlines Electronic Engineering Committee (AEEC): Avionics Application Software Standard Interface - ARINC Specification 653 - Part 2. Extended Services, ARINC (2008)
Baldoni, R., Raynal, M.: Fundamentals of Distributed Computing: A Practical Tour of Vector Clock Systems. IEEE Distributed Systems Online 3(2) (2002)
Dinning, A., Schonberg, E.: Detecting Access Anomalies in Programs with Critical Sections. In: The ACM/ONR workshop on Parallel and Distributed Debugging, pp. 85–96. ACM Press, New York (1991)
Engel, C., Jenn, E., Schmitt, P.H., Coutinho, R., Schoofs, T.: Enhanced Dispatchability of Aircraft using Multi-static Configurations. In: Embedded Real Time Software and Systems, Toulouse (2010)
Fidge, C.J.: Logical Time in Distributed Computing Systems. Computer, 28–33 (1991)
Ha, O.-K., Tchamgoue, G.M., Suh, J.-B., Jun, Y.-K.: On-the-fly Healing of Race Conditions in ARINC-653 Flight Software. Accepted in the 29th Digital Avionics Conference. IEEE, Salt Lake City (2010)
Jannesari, A., Tichy, W.F.: On-the-fly Race Detection in Multi-threaded Programs. In: The Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, pp. 1–10. ACM, Seattle (July 2008)
Jun, Y., Koh, K.: On-The-Fly Detection of Access Anomalies in Nested Parallel Loops. In: The 1993 ACM/ONR Workshop on Parallel and Distributed Debugging, pp. 107–117. ACM, California (1993)
Netzer, R.H.B., Miller, B.P.: What Are Race Conditions? Some Issues and Formalizations. ACM Letters on Programming Languages and Systems 1(1), 74–88 (1992)
Prisaznuk, P.J.: ARINC-653 Role in Integrated Modular Avionics (IMA). In: The 27th Digital Avionics Conference, pp. 1E2.1–7. IEEE, Minnesota (2008)
Ratanaworabhan, P., Burstscher, M., Kirovski, D., Zorn, B., Nagpal, R., Pattabiraman, K.: Detecting and Tolerating Asymmetric Races. In: Principles and Practices of Parallel Programming, pp. 173–184. ACM, New York (2009)
Santos, S., Rufino, J., Schoofs, T., Tatibana, C., Windsor, J.: A Portable ARINC-653 Standard Interface. In: The 27th Digital Avionics Conference, pp. 1E2.1–7. IEEE, Minnesota (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tchamgoue, G.M., Kuh, IB., Ha, OK., Kim, KH., Jun, YK. (2010). A Race Healing Framework in Simulated ARINC-653. In: Kim, Th., Vasilakos, T., Sakurai, K., Xiao, Y., Zhao, G., Ślęzak, D. (eds) Communication and Networking. FGCN 2010. Communications in Computer and Information Science, vol 120. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17604-3_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-17604-3_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17603-6
Online ISBN: 978-3-642-17604-3
eBook Packages: Computer ScienceComputer Science (R0)