Cited By
View all- Kurzidem ISaad ASchleiss P(2020)A Systematic Approach to Analyzing Perception Architectures in Autonomous VehiclesModel-Based Safety and Assessment10.1007/978-3-030-58920-2_10(149-162)Online publication date: 14-Sep-2020
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 HeiselAuthors Info & Claims
Pages 90 - 108
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.
References
[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]
Eclipse Foundation: Eclipse - Development Platform 2011. http://www.eclipse.org/
[5]
Eclipse Foundation: Eclipse Modeling Framework Project EMF 2012. http://www.eclipse.org/modeling/emf/
[6]
Atos Origin: Papyrus UML Modelling Tool 2011. http://www.papyrusuml.org/
[7]
Beckers, K., Côté, I., Frese, T., Hatebur, D., Heisel, M.: A structured validation and verification method for automotive systems considering the oem/supplier interface technical report. Technical report 2015. https://www.uni-due.de/imperia/md/content/swe/papers/vav2015tr.pdf
[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
[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
[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
Recommendations
A Lightweight Approach for the Semantic Validation of Model Refinements
Model Driven Engineering proposes the use of models at different levels of abstraction. Step by step validation of model refinements is necessary to guarantee the correctness of the final product with respect to its initial models. But, given that ...
Endogenous Metamodeling Semantics for Structural UML 2 Concepts
Proceedings of the 16th International Conference on Model-Driven Engineering Languages and Systems - Volume 8107A lot of work has been done in order to put the Unified Modeling Language UML on a formal basis by translating concepts into various formal languages, e.g., set theory or graph transformation. While the abstract UML syntax is defined by using an ...
Using a process algebra interface for verification and validation of UML statecharts
AbstractUML diagrams are the conventional methods for visual modeling systems. Among them, the Statechart diagrams are used to show the runtime behavior of a system, but the correctness of such diagrams is the primary concern of the designers ...
Highlights- Verification and validation of UML Statecharts are needed due to issues like livelock, inaccessible states, and non-deterministic states.
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 23 September 2015
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 13 Nov 2024
Other Metrics
Citations
Cited By
View all- Kurzidem ISaad ASchleiss P(2020)A Systematic Approach to Analyzing Perception Architectures in Autonomous VehiclesModel-Based Safety and Assessment10.1007/978-3-030-58920-2_10(149-162)Online publication date: 14-Sep-2020
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in