Advertisement

Model-Based Consistency Checks of Electric and Electronic Architectures against Requirements

  • Nico Adler
  • Philipp Graf
  • Klaus D. Müller-Glaser
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7167)

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.

Keywords

electric and electronic architectures model-based engineering automotive verification requirements 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Larses, O.: Architecting and Modeling Automotive Embedded Systems. Doctoral dissertation, Stockholm (2005)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    aquintos GmbH: PREEvision Version 3.1 Manual. aquintos, Karlsruhe (2010)Google Scholar
  5. 5.
    Burgdorf, F.: Eine kunden- und lebenszyklusorientierte Produktfamilienabsicherung für die Automobilindustrie. Doctoral dissertation. Karlsruhe Institute of Technology, Karlsruhe (2010)Google Scholar
  6. 6.
    International Organization for Standardization: ISO 26262 Road vehicles - Functional Safety Part 1-10, Switzerland (2011), www.iso.org
  7. 7.
    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)Google Scholar
  8. 8.
    Kuster, J., Huber, E., Lippmann, R., Schmid, A., Schneider, E., Witschi, U., Wüst, R.: Handbuch Projektmanagement. Springer, Heidelberg (2008)Google Scholar
  9. 9.
    Voigt, K.I.: Industrielles Management - Industriebetriebslehre aus prozessorientierter Sicht. Springer, Heidelberg (2008)Google Scholar
  10. 10.
    Bürgel, H.D., Zeller, A.: Controlling kritischer Erfolgsfaktoren in Forschung und Entwicklung. Controlling 4 (1997)Google Scholar
  11. 11.
    Blanchard, B.S., Fabrycky, W.J.: Systems Engineering and Analysis. Pearson Prentice Hall, New Jersey (2006)Google Scholar
  12. 12.
    Boehm, B.: Verifying and Validating Software Requirements and Design Specifications. IEEE Softw. (1984)Google Scholar
  13. 13.
    V-Modell-XT Version 1.3, Part 7: V-Modell Reference Mapping to Standards (2009)Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    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)Google Scholar
  16. 16.
    The East-EEA Project: Definition of language for automotive embedded electronic architecture approach. Technical Report, ITEA, Deliverable D3.6 (2004)Google Scholar
  17. 17.
    The ATESST Consortium: EAST ADL 2.0 specification. Technischer Bericht, ITEA (2007), http://www.atesst.org/
  18. 18.
    AUTOSAR, Automotive Open System Architecture (2010), http://www.autosar.org
  19. 19.
    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)CrossRefGoogle Scholar
  20. 20.
    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)Google Scholar
  21. 21.
    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)Google Scholar
  22. 22.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Nico Adler
    • 1
  • Philipp Graf
    • 1
  • Klaus D. Müller-Glaser
    • 2
  1. 1.FZI Research Center for Information TechnologyKarlsruheGermany
  2. 2.Institute for Information Processing TechnologyKarlsruhe Institute of Technology (KIT)KarlsruheGermany

Personalised recommendations