A survey of optimal hardware and software map** for distributed integrated modular avionics systems

W Zhang, J Liu, L Cheng, RS Filho, F Gao - Applied Sciences, 2020 - mdpi.com
With an increasing number of aircraft systems, a fully manual developmental approach is
impractical for finding optimal hardware and software map** from overwhelming …

Partition scheduling on an IMA platform with strict periodicity and communication delays

A Al Sheikh, O Brun, PE Hladik - … conference on real-time and network …, 2010 - hal.science
Integrated Modular Avionics (IMA) architectures employ a high-integrity, partitioned
environment that hosts multiple avionics functions of different criticalities on a shared …

[BUCH][B] A systems architecting framework for distributed integrated modular avionics

B Annighöfer, F Thielecke - 2014 - researchgate.net
This work presents a novel holistic framework for Distributed Integrated Modular Avionics
(DIMA) architecture design and optimization. IMA is a standardization of avionics …

A systems architecting framework for optimal distributed integrated modular avionics architectures

B Annighöfer, F Thielecke - CEAS Aeronautical Journal, 2015 - Springer
This work presents a novel holistic framework for Distributed Integrated Modular Avionics
(DIMA) architecture design and optimization. Integrated Modular Avionics (IMA) are a …

Large-scale model-based avionics architecture optimization methods and case study

B Annighöfer, E Kleemann - IEEE Transactions on Aerospace …, 2019 - ieeexplore.ieee.org
This paper presents a model-driven multiobjective avionics system optimization method
developed over six years at its final destination, the application in real-world integrated …

Automated selection, sizing, and map** of integrated modular avionics modules

B Annighöfer, E Kleemann… - 2013 IEEE/AIAA 32nd …, 2013 - ieeexplore.ieee.org
A novel automated design method for Distributed Integrated Modular Avionics (DIMA)
architectures is presented herein. With the presented multi-objective method software and …

Resource allocation in hard real-time avionic systems. Scheduling and routing problems

A Al Sheikh - 2011 - theses.hal.science
Le domaine avionique a été transformé par l'apparition des architectures modulaires
intégrées (IMA). Celles-ci définissent un support d'exécution et de communication standard …

[PDF][PDF] Ariane-5-based studies on optimal integrated modular avionics architectures for future launchers

B Annighöfer, Ç Nil, J Sebald, F Thielecke - 6th EUCASS, 2015 - researchgate.net
The core avionics of the Ariane 5 launcher was developed in the early 90s and might be not
optimal with respect to today's requirements and technological advances. In a study within …

Enabling correct I/O sharing in the combinatorial optimization of large avionics systems

B Annighoefer - 2018 IEEE/AIAA 37th Digital Avionics Systems …, 2018 - ieeexplore.ieee.org
This article shows how restrictions of physical I/0 interfaces in terms of grou**, dual-power,
and connector segregation are considered correctly in the combinatorial optimization of …

Model-based techniques for the future integration for formal verification of critical real-time software systems

T Robati - 2016 - espace.etsmtl.ca
Integrated modular avionics architectures combined with the emerging SAE TTEthernet
standard provides a strong infrastructure for the deployment of mixed-critical avionic …