Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Medical Devices, Electronic Health Records and Assuring Patient Safety: Future Challenges? Kapitel lesen Erstes Kapitel lesen

2015 | OriginalPaper | Buchkapitel

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

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

Erschienen in: Computer Safety, Reliability, and Security

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel Safely Using the AUTOSAR End-to-End Protection Library
Nächstes Kapitel Model-Based Analysis for Safety Critical Software
Fußnoten
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/​.
 
Literatur
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)
Metadaten
Titel
A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface
verfasst von
Kristian Beckers
Isabelle Côté
Thomas Frese
Denis Hatebur
Maritta Heisel
Copyright-Jahr
2015
Buch
Computer Safety, Reliability, and Security

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

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

Copyright-Jahr: 2015

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

Premium Partner

    Bildnachweise