Spatial and temporal partitioning validation for ARINC635-based avionics software

Ying Wang; Lili Cui; Jianyong Wang; Hongwei Yang

doi:10.1117/12.2205692

Translator Disclaimer

3 December 2015 Spatial and temporal partitioning validation for ARINC635-based avionics software

Ying Wang, Lili Cui, Jianyong Wang, Hongwei Yang

Author Affiliations +

Proceedings Volume 9794, Sixth International Conference on Electronics and Information Engineering; 97942T (2015) https://doi.org/10.1117/12.2205692
Event: Sixth International Conference on Electronics and Information Engineering, 2015, Dalian, China

Abstract

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.

Citation Download Citation

Ying Wang, Lili Cui, Jianyong Wang, and Hongwei Yang "Spatial and temporal partitioning validation for ARINC635-based avionics software", Proc. SPIE 9794, Sixth International Conference on Electronics and Information Engineering, 97942T (3 December 2015); https://doi.org/10.1117/12.2205692

ACCESS THE FULL ARTICLE