The Research on Validation and Verification Method of Configuration Data for IMA Resources Allocation UESTC; CETC Avionics Company, Limited

Format:

Book

Conference/Event

Author/Creator:

Wang, Yunsheng, author.

Contributor:

Li, Yan-xiao

Conference Name:

AeroTech Europe (2019-09-24 : Bordeaux, France)

Language:

English

Physical Description:

1 online resource cm

Place of Publication:

Warrendale, PA SAE International 2019

Summary:

Integrated Modular Avionics (IMA) system comprises IMA platform and hosted applications. The IMA platform provides the hosted applications with shared resources, e.g. computing, memory, communication, health monitoring resources. As a bridge between them, the IMA configuration data specifies how these shared resources are allocated to each hosted application. The IMA configuration data, which is different from real hardware and software code, should be validated and verified as an important portion of IMA system. After a brief introduction of IMA system, development processes, and general means of compliance for certification, this paper proposed an Architecture Analysis and Design Language (AADL) model of IMA configuration based on a case study of airborne datalink system. Based on the model, the IMA configuration data is abstracted and categorized into several types, with the correspondent means of compliance identified for each type. Furthermore, the associated roles and responsibilities are discussed for IMA configuration data validation and verification. The IMA configuration data specific means of compliance, the validation and verification processes, the roles and responsibilities, together form a method for validating and verifying the IMA configuration data for shared resources allocation, which can be applied to all partitioning systems beyond avionics

Notes:

Vendor supplied data

Publisher Number:

2019-01-1850

Access Restriction:

Restricted for use by site license