Translator Disclaimer
Paper
3 December 2015 Spatial and temporal partitioning validation for ARINC635-based avionics software
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.
© (2015) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
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
PROCEEDINGS
5 PAGES


SHARE
Advertisement
Advertisement
RELATED CONTENT

A model based, Bayesian approach to the CF4 Ar...
Proceedings of SPIE (March 20 2018)
Study on framework of GIS-based model metadata
Proceedings of SPIE (November 10 2008)
Multi-dimensional modeling of the XPAL system
Proceedings of SPIE (February 17 2010)
The role of the unified modeling language and the extensible...
Proceedings of SPIE (September 04 2003)
Management systems for ATM networks
Proceedings of SPIE (February 17 1995)

Back to Top