The Research on Validation and Verification Method of Configuration Data for IMA Resources Allocation

2019-01-1850

09/16/2019

Features
Event
AeroTech Europe
Authors Abstract
Content
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.
Meta TagsDetails
DOI
https://doi.org/10.4271/2019-01-1850
Pages
8
Citation
Wang, Y., and Li, Y., "The Research on Validation and Verification Method of Configuration Data for IMA Resources Allocation," SAE Technical Paper 2019-01-1850, 2019, https://doi.org/10.4271/2019-01-1850.
Additional Details
Publisher
Published
Sep 16, 2019
Product Code
2019-01-1850
Content Type
Technical Paper
Language
English