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

Autor:	Denis Hatebur, Kristian Beckers, Thomas Frese, Isabelle Côté, Maritta Heisel
Jazyk:	angličtina
Rok vydání:	2015
Předmět:	Engineering Record locking business.industry Interface (Java) Automotive industry Informatik Documentation Validation rule Unified Modeling Language Systems engineering Verification business computer Verification and validation computer.programming_language
Zdroj:	Lecture Notes in Computer Science ISBN: 9783319242545 SAFECOMP
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::90456ce0aa173f217615a0464113a705 Zobrazit plný text záznamu