Spatial and temporal partitioning validation for ARINC635-based avionics software

At present, ARINC653 specification has become main industry standard adopted by modern integrated modular avionics software. In this standard, spatial and temporal partitioning must be mandated so as to assure the safety isolation among different application partitions. This paper proposes a model-level approach to validate the safety requirement conformance for partitioned avionics software in early time. First, the spatial and temporal partitioning is modeled by the extended Architecture Analysis and Design Language (AADL). Then, the partitioning validation algorithm is respectively proposed in space and time dimensions based on the above models. Finally, a validation tool is developed and a flight example is as a case study to demonstrate the feasibility of our approach.