Abstract
Control systems in autonomous vehicles can be considered as distributed embedded software systems where independent microprocessor systems communicate together using different communication protocols. Typical autonomous driving functionality is then realised by several microprocessors communicating with each other. Quality assurance and safety standards combined with increasing complexity and reliability demands make the development of such systems challenging. In order to assure the required quality and compliance with safety standards, a formal and methodical approach for testing and verification is required. The paper presents a proposal of such approach for verification and testing of control systems in the automotive applications covering active safety, advanced driver assistance and autonomous driving systems. The main focus of this approach is black-box testing and includes test design, implementation and execution.
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
Preview
Unable to display preview. Download preview PDF.
References
1. Adrion, W., Brandstad, J., Cherniabsky, J.: Validation, verification and testing of computer software. Computing Surveys 14(2), 159–192 (1982)
2. Beizer, B.: Software Testing Techniques. 2nd ed. Van Nostrand Reinhold, Boston, USA (1990)
3. Beizer, B.: Black-Box Testing. Techniques for Functional Testing of Software and Systems. John Willey & Sons, New York, USA (1995)
4. Boehm, B.: Software Engineering Economics. Prentice Hall, Englewood Cliffs, USA (1981)
5. Buchholz, K.: EETimes Europe: Model-based software development in the automotive industry. http://www.electronics-eetimes.com/en/model-based-development.html [16 April 2012] (2011)
6. IEEE Std 610.12-1990: IEEE standard glossary of software engineering terminology. http://www.standards.ieee.org [16 April 2012] (1990)
7. ISTQB: Standard glossary of terms used in software testing, Version 2.1. http://www.astqb.org [16 April 2012] (2010)
8. Leveson, N., Turner, C.: An investigation of the therac-25 accidents. IEEE Computer 27(7), 18–41 (1993)
9. Lions, J.: ARIANE 5. Flight 501 failure. Ariane 501 inquiry board report. Paris, France (1996)
10. Myers, G.: The Art of Software Testing, 2nd ed. John Willey & Sons, New York, USA (2004)
11. NIST: National Institute of Standards & Technology, U.S. Department of Commerce: The economic impacts of inadequate infrastructure for software testing. Final report. North Carolina, USA (2002)
12. Patton, R.: Software Testing, 2nd ed. Sams, Indianapolis, USA (2005)
13. Short, M., Pont, M.: Assessment of high-integrity embedded automotive control systems using hardware-in-the-loop simulation. Journal of Systems and Software 81(7), 1163–1183 (2008)
14. Skeel, R.: Roundoff error and the patriot missile. Society for Industrial and Applied Mathematics (SIAM) News 25(4), 11 (1992)
15. Skruch, P.: A complete deployment of model-based and real-time approaches in verification of production automotive embedded systems. In: Proceedings of the 5th AutoTest Technical Conference on ’Test of Hardware and Software in Automotive Development’, 15-16.10.2014, Stuttgart, Germany. pp. 145–152 (2014)
16. Skruch, P., Buchala, G.: Model-based real-time testing of embedded automotive systems. SAE International Journal of Passenger Cars – Electronic and Electrical Systems 17(2) (2014)
17. Skruch, P., Dlugosz, R., Kogut, K., Markiewicz, P., Sasin, D., Rozewicz, M.: The simulation strategy and its realization in the development process of active safety and advanced driver assistance systems. SAE Technical Paper 2015-01-1401 (2015)
18. Skruch, P., Panek, M., Kowalczyk, B.: Model-based testing in embedded automotive systems. In: Zander-Nowicka, J., Schieferdecker, I., Mosterman, P. (eds.) Model-Based Testing for Embedded Systems, pp. 293–308. CRC Press, Boca Raton, London, New York (2011)
19. Zander-Nowicka, J.: Model-based testing of embedded systems in the automotive domain. Ph.D. thesis, Technical University Berlin (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Skruch, P., Długosz, M., Markiewicz, P. (2017). A Formal Approach for the Verification of Control Systems in Autonomous Driving Applications. In: Mitkowski, W., Kacprzyk, J., Oprzędkiewicz, K., Skruch, P. (eds) Trends in Advanced Intelligent Control, Optimization and Automation. KKA 2017. Advances in Intelligent Systems and Computing, vol 577. Springer, Cham. https://doi.org/10.1007/978-3-319-60699-6_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-60699-6_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-60698-9
Online ISBN: 978-3-319-60699-6
eBook Packages: EngineeringEngineering (R0)