The stochastic Petri net based reliability analysis for software partition integrated modular avionics

As discussed in Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance by Rush by, J., integrated modular avionics (IMA) is an embedded version of a centralized time-shared “mainframe,” which provides the hosted applications with the common computing resources and the airborne data network. The features of various IMA systems can be summarized in the following points: 1. high performance shared common computing resources 2. high speed communication network 3. open architecture for both software and hardware.