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.
Test Case Generating for Integrated Modular Avionics Software Health Monitoring
Applied Mechanics and Materials ; 494-495 ; 873-880
2014-02-06
8 pages
Article (Journal)
Electronic Resource
English
IEEE | 2023
|Cost Effective Integrated Modular Avionics
British Library Conference Proceedings | 1996
|SEcuring Integrated Modular Avionics Computers
IEEE | 2013
|Safety-Critical Software in Modern Integrated Modular Avionics Systems
British Library Conference Proceedings | 2009
|