Share Email Print

Proceedings Paper

Spatial and temporal partitioning validation for ARINC635-based avionics software
Author(s): Ying Wang; Lili Cui; Jianyong Wang; Hongwei Yang
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper 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.

Paper Details

Date Published: 3 December 2015
PDF: 5 pages
Proc. SPIE 9794, Sixth International Conference on Electronics and Information Engineering, 97942T (3 December 2015); doi: 10.1117/12.2205692
Show Author Affiliations
Ying Wang, Huazhong Agricultural Univ. (China)
Beihang Univ. (China)
Lili Cui, Huazhong Agricultural Univ. (China)
Jianyong Wang, Huazhong Agricultural Univ. (China)
Hongwei Yang, Beihang Univ. (China)

Published in SPIE Proceedings Vol. 9794:
Sixth International Conference on Electronics and Information Engineering
Qiang Zhang, Editor(s)

© SPIE. Terms of Use
Back to Top