Integrated Modular Avionics (IMA) present many benefits in power and weight savings for an aircraft, but also create new challenges for verification due to the increased complexity in interactions between the highly integrated network of avionics systems. For a large set of hosted avionics functions, it is impractical to exhaustively test an entire set of functions while they are fully integrated. There can be a combinatorial explosion of test cases for an integrated IMA system since the performance and function of a hosted system can be impacted by other hosted systems. This traditional test approach would be characterized by a high cost of change since any single system change could require the full integrated set of systems to be retested. This paper introduces a Modular Verification strategy for IMA systems, which provides a practical approach to verifying these architectures. Within the Modular Verification strategy, systems are verified in isolation from the fully integrated set of avionics systems. This can be done without requiring re-test within the fully integrated environment. In order to accomplish this, terms of equivalency must be established for an avionics system's test environment with respect to the integrated system environment. This equivalency relies on reasoning in the logical system domain rather than the physical system domain. This is a fundamental change in reasoning from traditional verification concepts employed within federated architectures. The cost of change is minimized since each hosted system can be tested and retested without impacting the test results for other hosted systems.
Modular Verification: Testing a Subset of Integrated Modular Avionics in Isolation
01.10.2006
324704 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Cost Effective Integrated Modular Avionics
British Library Conference Proceedings | 1996
|Modular Integrated Avionics Group (MIAG)
British Library Conference Proceedings | 1994
|SEcuring Integrated Modular Avionics Computers
IEEE | 2013
|