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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Larses, O.: Architecting and Modeling Automotive Embedded Systems. Doctoral dissertation, Stockholm (2005)
Reichart, G., Haneberg, M.: Key Drivers for a Future System Architecture in Vehicles. Convergence International Congress & Exposition On Transportation Electronics, Society of Automobile Engineers (SAE), Detroit (2004)
Hillenbrand, M., Heinz, M., Adler, N., Müller-Glaser, K.D., Matheis, J., Reichmann, C.: ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling. In: Giese, H. (ed.) ISARCS 2010. LNCS, vol. 6150, pp. 179–192. Springer, Heidelberg (2010)
aquintos GmbH: PREEvision Version 3.1 Manual. aquintos, Karlsruhe (2010)
Burgdorf, F.: Eine kunden- und lebenszyklusorientierte Produktfamilienabsicherung für die Automobilindustrie. Doctoral dissertation. Karlsruhe Institute of Technology, Karlsruhe (2010)
International Organization for Standardization: ISO 26262 Road vehicles - Functional Safety Part 1-10, Switzerland (2011), www.iso.org
Adler, N., Gebauer, D., Reichmann, C., Müller-Glaser, K.D.: Modellbasierte Erfassung von Optimierungsaktivitäten als Grundlage zur Systemoptimierung von Elektrik-/Elektronik-Architekturen. In: 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2011. OFFIS - Institut für Informatik, Oldenburg (2011)
Kuster, J., Huber, E., Lippmann, R., Schmid, A., Schneider, E., Witschi, U., Wüst, R.: Handbuch Projektmanagement. Springer, Heidelberg (2008)
Voigt, K.I.: Industrielles Management - Industriebetriebslehre aus prozessorientierter Sicht. Springer, Heidelberg (2008)
Bürgel, H.D., Zeller, A.: Controlling kritischer Erfolgsfaktoren in Forschung und Entwicklung. Controlling 4 (1997)
Blanchard, B.S., Fabrycky, W.J.: Systems Engineering and Analysis. Pearson Prentice Hall, New Jersey (2006)
Boehm, B.: Verifying and Validating Software Requirements and Design Specifications. IEEE Softw. (1984)
V-Modell-XT Version 1.3, Part 7: V-Modell Reference Mapping to Standards (2009)
Hoffmann, M., Kühn, N., Weber, M., Bittner, M.: Requirements for Requirements Management Tools. In: Proceedings of the 12th IEEE International Requirements Engineering Conference, Kyoto, Japan (2004)
Eisenmann, J., Köhn, M., Lanches, P., Müller, A.: Entwurf und Implementierung von Fahrzeugsteuerungsfunktionen auf Basis der TITUS Client/Serverarchitektur. In: VDI Berichte, Nr. 1374, Systemengineering in der Kfz-Entwicklung. VDI-Gesellschaft Fahrzeug- und Verkehrssicherheit (1997)
The East-EEA Project: Definition of language for automotive embedded electronic architecture approach. Technical Report, ITEA, Deliverable D3.6 (2004)
The ATESST Consortium: EAST ADL 2.0 specification. Technischer Bericht, ITEA (2007), http://www.atesst.org/
AUTOSAR, Automotive Open System Architecture (2010), http://www.autosar.org
Passerone, R., Damm, W., Ben Hafaiedh, I., Graf, S., Ferrari, A., Mangeruca, L., Benveniste, A., Josko, B., Peikenkamp, T., Cancila, D., Cuccuru, A., Gerard, S., Terrier, F., Sangiovanni-Vincentelli, A.: Metamodels in Europe: Languages, Tools, and Applications. Design & Test of Computers 26(3), 38–53 (2009)
Matheis, J.: Abstraktionsebenenübergreifende Darstellung von Elektrik/Elektronik-Architekturen in Kraftfahrzeugen zur Ableitung von Sicherheitszielen nach ISO 26262. Doctoral dissertation. Karlsruhe Institute of Technology, Karlsruhe (2010)
Belschner, R., Freess, J., Mroßko, M.: Gesamtheitlicher Entwicklungsansatz für Entwurf, Dokumentation und Bewertung von E/E Architekturen. In: VDI Bericht, Nr. 1907, pp. S511–S521. VDI-Verlag, Düsseldorf (2005)
Gebauer, D., Matheis, J., Kühl, M., Müller-Glaser, K.D.: Integrierter, graphisch notierter Ansatz zur Bewertung von Elektrik/Elektronik- Architekturen im Fahrzeug. In: Moderne Elektronik im Kraftfahrzeug IV: Energiebordnetz - E/E-Architektur HW/SW-Assistenzsysteme. expert, Essen (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Adler, N., Graf, P., Müller-Glaser, K.D. (2012). Model-Based Consistency Checks of Electric and Electronic Architectures against Requirements. In: Kienzle, J. (eds) Models in Software Engineering. MODELS 2011. Lecture Notes in Computer Science, vol 7167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29645-1_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-29645-1_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29644-4
Online ISBN: 978-3-642-29645-1
eBook Packages: Computer ScienceComputer Science (R0)