Model-Based consistency checks of electric and electronic architectures against requirements

Authors:
Nico Adler;Philipp Graf;Klaus D. Müller-Glaser
Affiliations:
FZI Research Center for Information Technology, Karlsruhe, Germany;FZI Research Center for Information Technology, Karlsruhe, Germany;Institute for Information Processing Technology, Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany
Venue:
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Year:
2011

Citing 4
Cited 0

Requirements for Requirements Management Tools

RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
Verifying and Validating Software Requirements and Design Specifications

IEEE Software
Metamodels in Europe: Languages, Tools, and Applications

IEEE Design & Test
ISO/DIS 26262 in the context of electric and electronic architecture modeling

ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The electric and electronic architecture (EEA), which is built up during the concept phase of automotive electronics development, has fundamental impact on the success of a vehicle under development. The complexity of upcoming architectures requires novel approaches to support system architects during the design phase. This paper describes a model-based generic approach which allows verifying an EEA with regard to its requirements by using techniques of consistency checks during an early design phase. This includes handling of incomplete models. In this case it offers the possibility to automate consistency checks and in future work facilitate an automatism for optimization and design space exploration to check different realization alternatives of an initial EEA. Automatic report generation of results serves for documentation.