The stochastic Petri net based reliability analysis for software partition integrated modular avionics
Yunsheng Wang, Hang Lei, Xuan Han · IEEE Aerospace and Electronic Systems Magazine · 2015
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.