Test Case Generating for Integrated Modular Avionics Software Health Monitoring

Abstract:

Avionics software is safe-critical embedded system and its architecture is evolving from traditional federated architecture to Integrated Modular Avionics (IMA) to improve resource usability. As an architecture widely employed in the avionics industry, supports partitioning concepts. To insure the development of the avionics software constructed on IMA operating system with high reliability and efficiency Health Monitoring (HM) has been shown to be a key step in reducing the life cycle costs for structural maintenance and inspection. In this paper , we propose a model-driven test methodology using Architecture Analysis &Design Language (AADL). It proposes modeling patterns of IMA errors to support the test case generating mechanisms of the HM module, proposing 3 kinds of test cases that can be injected in the HM to stimulate these kinds of errors, and we present the preliminary results that can meet the satisfactory from a ongoing project based on IMA system.

• Periodical: Applied Mechanics and Materials (Volumes 494-495)
• Pages: 873-880
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.494-495.873
• Online since: February 2014
• Authors: Hui Nan Zhang, Shi Hai Wang*, Xiao Xu Diao, Bin Liu
• Keywords: Health Monitoring, IMA, Test Case Generating

References

[1] Aeronautical Radio, Inc. ARINC Specification 653-1 Avi-onics application software standard interface[S]. Annapolis: Aeronautical Radio, Inc, (2003).

[2] Airlines Electronic Engineering Committee． Avionics Application Software Standard Interface Part 1 － Required Services［S］．2551 Riva Rode，Annapolis，Maryland 21401 － 7435: ARINC，March 7，2006.

[3] Barry M., Horvath G., Prototype Implementation of a Goal-Based Software Health Management Service, smc-it, pp.117-124, Third IEEE International Conference on Space Mission Challenges for Information Technology, (2009).

DOI: 10.1109/smc-it.2009.21

[4] Hertel T., Over H., Bludau H., Ertl G., 1994, Phys. Rev. B 50, 8126. Kern K., 1994, The Chemical Physics of Solid Surfaces, vol. 7: Phase Transitions and Adsorbate Restructuring at Metal Surfaces, Eds. King D.A., Woodruff D.P., Elsevier, Amsterdam, the Netherlands.

DOI: 10.1016/b978-0-444-81924-6.50005-9

[5] Kjurkchiev N., Andreev A., 1990, Two-sided method for computation of all multiple roots of an algebraic polynomial, Serdica 15, 302-330 (in Russian).

[6] Liu Jianjun, Zhong Shan, Ye Hong, 2009, Reliability modelingfor airborne equipment system using AADL[J]. Aeronautical Computing Technique, 39(2): 90 94.

[7] SAE. AS 5506-2004 Embedded Computing Systems Committee, Aerospace Avionics Systems Division, Architecture Analysis andDesign Language(AADL)[S]. (2004).