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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Presentation on 2012-06-18/20, 2012, Berlin: http://vda-qmc.de/en/software-processes/vda-automotive-sys/.
- 2.
- 3.
2014-11-11/12 Stuttgart: https://www.hanser-tagungen.de/web/index.asp?task=001&vid=201402241659596.
- 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/.
References
International Organization for Standardization (ISO): Road Vehicles - Functional Safety. ISO 26262 (2011)
UML Revision Task Force: OMG Object Constraint Language: Reference (2010)
International Electrotechnical Commission (IEC): Functional safety of electrical/electronic/programmable electronic safety-relevant systems. IEC 61508 (2000)
Eclipse Foundation: Eclipse - Development Platform (2011). http://www.eclipse.org/
Eclipse Foundation: Eclipse Modeling Framework Project (EMF) (2012). http://www.eclipse.org/modeling/emf/
Atos Origin: Papyrus UML Modelling Tool (2011). http://www.papyrusuml.org/
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
Safety Management System and Safety Culture Working Group (SMS WG): Guidance on hazard identification. Technical report (2009)
Leveson, N.: Safeware: System Safety and Computers. Addison-Wesley, Reading (1995)
Maropoulos, P.G., Ceglarek, D.: Design verification and validation in product lifecycle. CIRP Ann. Manuf. Technol. 59, 740–759 (2010)
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)
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)
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)
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)
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)
Acknowledgments
The authors thank Nelufar Ulfat-Bunyadi and the anonymous reviers for their valuable feedback on the paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Beckers, K., Côté, I., Frese, T., Hatebur, D., Heisel, M. (2015). A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface. In: Koornneef, F., van Gulijk, C. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science(), vol 9337. Springer, Cham. https://doi.org/10.1007/978-3-319-24255-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-24255-2_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24254-5
Online ISBN: 978-3-319-24255-2
eBook Packages: Computer ScienceComputer Science (R0)