Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Medical Devices, Electronic Health Records and Assuring Patient Safety: Future Challenges? Read chapter Read first chapter

2015 | OriginalPaper | Chapter

A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface

Authors : Kristian Beckers, Isabelle Côté, Thomas Frese, Denis Hatebur, Maritta Heisel

Published in: Computer Safety, Reliability, and Security

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The released ISO 26262 standard for automotive systems requires several validation and verification activities. These validation and verification activities have to be planned and performed jointly by the OEMs and the suppliers. In this paper, we present a systematic, structured and model-based method to plan the required validation and verification activities and collect the results. Planning and the documentation of performed activities are represented by a UML notation extended with stereotypes. The UML model supports the creation of the artifacts required by ISO 26262, enables document generation and a rigorous check of several constraints expressed in OCL. We illustrate our method using the example of an electronic steering column lock system.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Safely Using the AUTOSAR End-to-End Protection Library
next chapter Model-Based Analysis for Safety Critical Software
Footnotes
4
The first number refers to the step in the procedure, C is for consistency checks, M is for checks considering correct modeling, G is for generation expressions; the next number is the number of the check within the step, and the last characters are an abbreviation of the description.
 
5
Electronics Architecture and Software Technology - Architecture Description Language, http://​www.​east-adl.​info/​.
 
Literature
1.
International Organization for Standardization (ISO): Road Vehicles - Functional Safety. ISO 26262 (2011)
2.
UML Revision Task Force: OMG Object Constraint Language: Reference (2010)
3.
International Electrotechnical Commission (IEC): Functional safety of electrical/electronic/programmable electronic safety-relevant systems. IEC 61508 (2000)
4.
5.
6.
7.
8.
Safety Management System and Safety Culture Working Group (SMS WG): Guidance on hazard identification. Technical report (2009)
9.
Leveson, N.: Safeware: System Safety and Computers. Addison-Wesley, Reading (1995)
10.
Maropoulos, P.G., Ceglarek, D.: Design verification and validation in product lifecycle. CIRP Ann. Manuf. Technol. 59, 740–759 (2010)CrossRef
11.
Sinz, C., Kaiser, A., Küchlin, W.: Formal methods for the validation of automotive product configuration data. Artif. Intell. Eng. Des. Anal. Manuf. 17, 75–97 (2003)CrossRef
12.
Bringmann, E., Kramer, A.: Model-based testing of automotive systems. In: 2008 1st International Conference on Software Testing, Verification, and Validation, pp. 485–493 (2008)
13.
Dubois, H., Peraldi-Frati, M., Lakhal, F.: A model for requirements traceability in a heterogeneous model-based design process: application to automotive embedded systems. In: Proceedings of ICECCS, pp. 233–242 (2010)
14.
Montevechi, J.A.B., de Pinho, A.F., Leal, F., Marins, F.A.S.: Application of design of experiments on the simulation of a process in an automotive industry. In: Proceedings of WSC, WSC 2007, pp. 1601–1609. IEEE Press (2007)
15.
Rasmus, A., Dominik, D., Kai, H., Sören, K., Thomas, K., Jean-Pascal, S., Mario, T.: Integration of component fault trees into the UML. In: Juergen, D., Arnor, S. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 312–327. Springer, Heidelberg (2011)
Metadata
Title
A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface
Authors
Kristian Beckers
Isabelle Côté
Thomas Frese
Denis Hatebur
Maritta Heisel
Copyright Year
2015
Book
Computer Safety, Reliability, and Security

Print ISBN: 978-3-319-24254-5

Electronic ISBN: 978-3-319-24255-2

Copyright Year: 2015

DOI
https://doi.org/10.1007/978-3-319-24255-2_8

Premium Partner

    Image Credits