This paper proposes a safety-based software reconfiguration method for IMA systems at the architecture level. The software reconfiguration method integrates ...
Abstract—Many Cyber-Physical Systems (CPSs) are safety- critical systems and reconfigurable, such as Integrated Modular. Avionics (IMA) systems that are ...
Figure 1 is a framework of our safety- based software reconfiguration approach for IMA systems in AADL model. The IMA runtime architecture and safety-based ...
Bibliographic details on Safety-Based Software Reconfiguration Method for Integrated Modular Avionics Systems in AADL Model.
People also ask
What is software reconfiguration?
What is integrated modular avionics?
Producing a safety case for IMA blueprints - Avionics - ResearchGate
www.researchgate.net › ... › Ima
The aim of this paper is to show how a safety argument could be constructed for the use of blueprints in platforms using Integrated Modular Avionics (IMA).
The model is our first step to analyze and solve the safety problem of IMA system. It can benefit deep analyzing about dynamic reconfiguration of IMA system as ...
Sep 1, 2020 · FTGPN method solves the problem of being unable to conduct a comprehensive and accurate safety model for complex IMA system. Moreover, FTGPN ...
A model of the dynamic reconfiguration of Integrated Modular Avionics, a safety-critical process for IMA, based on the Architecture Analysis and Design ...
Guidance on integration into a traditional safety assessment process. Abstract. Model-based engineering tools are increasingly being used for system-level ...
Feb 1, 2016 · It employs architecture analysis and design language (AADL) along with its Error Model Annex, ARINC653 Annex, and mode transition mechanisms to ...
Missing: Safety- | Show results with:Safety-