The architecture of the integrated modular avionics (IMA) of an aircraft is selected based on the
requirements of aircraft systems and the aircraft structure. Aircraft systems using IMA require resources in
terms of I/O, memory and calculation power. In addition, systems have secondary requirements like
minimum reliability or maintainability. The aim of the IMA design process is to find an architecture, which is
compliant to the requirements and is optimal owing to quality measures like cost and weight. Since a huge
amount of functions are hosted on IMA in current and future aircrafts, the manual process of defining the
architecture is complex, error-prone, and time-consuming. To support this process in speed and maturity, a
formal model for IMA architectures is developed, which includes all driving requirements and the resulting
architecture. In addition, it enables automated validation, and evaluation of architectures. Moreover, an
implementation of modeling, validation and evaluation within the Eclipse development environment is
presented.
%0 Book
%1 annighoefer2011
%A Annighöfer, Bjoern
%A Kleemann, Ernst
%A Thielecke, Frank
%B Deutscher Luft- und Raumfahrtkongress, Bremen 27. - 29. Sept. 2011
%C Bremen
%D 2011
%K imported myown nonils
%N 1395
%T Model-based Development of Integrated Modular Avionics Architectures on Aircraft-level
%U http://publikationen.dglr.de/?tx_dglrpublications_pi1document_id=281221
%X The architecture of the integrated modular avionics (IMA) of an aircraft is selected based on the
requirements of aircraft systems and the aircraft structure. Aircraft systems using IMA require resources in
terms of I/O, memory and calculation power. In addition, systems have secondary requirements like
minimum reliability or maintainability. The aim of the IMA design process is to find an architecture, which is
compliant to the requirements and is optimal owing to quality measures like cost and weight. Since a huge
amount of functions are hosted on IMA in current and future aircrafts, the manual process of defining the
architecture is complex, error-prone, and time-consuming. To support this process in speed and maturity, a
formal model for IMA architectures is developed, which includes all driving requirements and the resulting
architecture. In addition, it enables automated validation, and evaluation of architectures. Moreover, an
implementation of modeling, validation and evaluation within the Eclipse development environment is
presented.
@book{annighoefer2011,
abstract = {The architecture of the integrated modular avionics (IMA) of an aircraft is selected based on the
requirements of aircraft systems and the aircraft structure. Aircraft systems using IMA require resources in
terms of I/O, memory and calculation power. In addition, systems have secondary requirements like
minimum reliability or maintainability. The aim of the IMA design process is to find an architecture, which is
compliant to the requirements and is optimal owing to quality measures like cost and weight. Since a huge
amount of functions are hosted on IMA in current and future aircrafts, the manual process of defining the
architecture is complex, error-prone, and time-consuming. To support this process in speed and maturity, a
formal model for IMA architectures is developed, which includes all driving requirements and the resulting
architecture. In addition, it enables automated validation, and evaluation of architectures. Moreover, an
implementation of modeling, validation and evaluation within the Eclipse development environment is
presented.},
added-at = {2017-03-24T09:40:30.000+0100},
address = {Bremen},
author = {Annighöfer, Bjoern and Kleemann, Ernst and Thielecke, Frank},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ad62dfe786dc906db3a3acedd3a32d60/annighoefer},
booktitle = {Deutscher Luft- und Raumfahrtkongress, Bremen 27. - 29. Sept. 2011},
file = {:Annighoefer - Model-based development of Integrated Modular Avionics Architectures.pdf:PDF},
interhash = {37ab6f3fb26cd2f644b86099b6cd9bb7},
intrahash = {ad62dfe786dc906db3a3acedd3a32d60},
keywords = {imported myown nonils},
month = {September},
number = 1395,
organization = {Deutsche Gesellschaft für Luft- und Raumfahrt},
owner = {Björn},
timestamp = {2020-01-27T08:54:03.000+0100},
title = {Model-based Development of Integrated Modular Avionics Architectures on Aircraft-level},
url = {http://publikationen.dglr.de/?tx_dglrpublications_pi1[document_id]=281221},
year = 2011
}