Reliability of Software Applications in Integrated Modular Avionics

摘要

The integrated modular avionics (IMA) network consists of a number of computing modules capable of supporting numerous applications of differing critical and non-critical levels. In opposition to traditional hardware-oriented architectures, the IMA concept proposes an integrated software-oriented architecture with application software portable across an assembly of common hardware modules. IMA allows focusing on running applications instead of managing infrastructure. The IMA software runs in a certain partition (container). In practice, when organizing partition-based access to applications, it is important to know the availability of a separate dedicated container with application in active operation. In this case if the failure of another service for another application has come, for this particular IMA partition such failure in another partition from the position of reliability is not critical. In the article the availability of a dedicated IMA container in the system with partition-based IMA architecture is studied. The mathematical model of the reliability of a separate dedicated container with active application in the real conditions of operation is developed. Expressions for availability of application operation in dedicated IMA container are developed.