Spatial and temporal partitioning validation for ARINC635-based avionics software

Ying Wang; Lili Cui; Jianyong Wang; Hongwei Yang

doi:10.1117/12.2205692

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

Ying Wang, Lili Cui, Jianyong Wang, Hongwei Yang

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

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available