Modeling and analysis of integrated avionics processing systems

In the development of avionics systems, Integrated Modular Avionics is advocated for next generation architecture that needs integration of mixed criticality real-time applications. All real-time applications are processed by integrated avionics processing systems. To guarantee spatial and temporal isolation for these applications, the ARINC 653 standard which defines an interface for avionics real time operating systems provides hierarchy partitioning scheduling schemes. To understand of the operation of evolving avionics processing system instances and standards early in the design cycle, a flexible means is to conduct an analysis through the development of an avionic processing system model. This article focuses on the modeling and the performance analysis of avionics processing systems which based on hierarchical partitioning scheduling. Three modeling domains have been proposed: application model, architecture model, and behavioral model. To evaluate the performance of an IMA-based system, simulation environment based on the discrete event system simulation method has been developed. The simulation captures characteristics of the system such as architecture bottlenecks and system capacity. Visualization displays support the modeling framework. The simulation tool helps platform designer, applications developer and system integrator to describe and evaluate different implementation choices.