%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 }