Browse Publications Technical Papers 2019-01-1850
2019-09-16

The Research on Validation and Verification Method of Configuration Data for IMA Resources Allocation 2019-01-1850

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.

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Members save up to 18% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:
TECHNICAL PAPER

Model-Based Design Flow Driven by Integrated Modular Avionic Simulations

2013-01-2211

View Details

TECHNICAL PAPER

Model-Based Systems Engineering Methodology for Implementing Networked Aircraft Control System on Integrated Modular Avionics – Environmental Control System Case Study

2018-01-1943

View Details

TECHNICAL PAPER

Sensor Video Integration and Processing in the Modular Avionics Architecture

2011-01-2698

View Details

X