Abstract
In the automotive industry, current activities focus heavily on the development of automated driving systems (ADS). ADS process environmental data from different sensors [10], which are fused to generate a model of the surrounding world. Actors in the generated model are objects, which are e.g., classified as vehicles or pedestrians. The actors run in parallel, as in the real world actions from traffic participants can be taken independently and asynchronously from each other. For verification and validation of these systems a method is required, that allows for a realistic and hence parallel modeling of the system under test’s environment. Additionally, the method should allow for structured testing in compliance with international norms such as the ISO 26262 and the first international standard for software testing ISO/IEC/IEEE 29119, published in 2013.
In this paper we present an approach for creating environmental models for structured testing of automated driving systems with a constructive method. One step is the enumeration of all possible sequences, but we first decompose the task into manageable units by input/output dependency analysis. The expected behavior is formalized in temporal logic [4, 5]. In doing so, the effort for the creation of the model is feasible in industry. On the other hand, the test model guarantees the representation of all possible scenarios of use, making it a stable basis to derive significant test cases. We applied the method on an embedded system functionality in the automotive industry at AUDI. The system was architectured using the AUTOSAR 3.2 standard and implemented with Matlab Simulink. An existing, previously created test suite was available. This existing test suite served as a benchmark to assess the quality of the new test suite, derived from the environmental models. We compared the reachability of the test cases inside the implementation with code coverage measures and examined the variance of use imposed by the test suites. We present the promising results in this paper.
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
Similar content being viewed by others
References
REAL Sequence-based Specification Tool (2005)
ISO/DIS 26262 - Road Vehicles Functional Safety (2009)
Software and Systems Engineering Software Testing Part 1–3. ISO/IEC/IEEE 29119-1-3:2013(E), pp. 1–138 (2013)
Alur, R., Henzinger, T.A.: A really temporal logic. J. ACM 41(1), 181–203 (1994)
Alur, R., Henzinger, T.: Modularity for timed and hybrid systems. In: Mazurkiewicz, A. (ed.) CONCUR 1997: Concurrency Theory. Lecture Notes in Computer Science, vol. 1243, pp. 74–88. Springer, Heidelberg (1997)
AUTOSAR Munich: AUTOSAR 4.0 (2010)
Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200–236. Springer, Heidelberg (2004)
Beizer, B., Vinter, O.V.: Bug Taxonomy and Statistics. Technical report, Software Engineering Mentor, 2630 Taastrup (2001)
Bringmann, E., Krämer, A.: Systematic testing of the continuous behavior of automotive systems. In: Proceedings of the 2006 International Workshop on Software Engineering for Automotive Systems, SEAS 2006, pp. 13–20. ACM, New York (2006)
Gregor, R., Lutzeler, M., Pellkofer, M., Siedersberger, K.H., Dickmanns, E.: Ems-vision: a perceptual system for autonomous vehicles. IEEE Trans. Intell. Transp. Syst. 3(1), 48–59 (2002)
Gutjahr, W.J.: Software dependability evaluation based on markov usage models. Perform. Eval. 40(4), 199–222 (2000)
Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: Proceedings of the 27th International Conference on Software Engineering, ICSE 2005, pp. 372–381. ACM, New York (2005)
Lin, L., Prowell, S.J., Poore, J.H.: An axiom system for sequence-based specification. Theor. Comput. Sci. 411, 360–376 (2010)
Michailidis, A., Spieth, U., Ringler, T., Hedenetz, B., Kowalewski, S.: Test front loading in early stages of automotive software development based on AUTOSAR. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2010, pp. 435–440. European Design and Automation Association, Belgium (2010)
Mills, H.D.: Stepwise refinement and verification in box-structured systems. Computer 21(6), 23–36 (1988)
Prowell, S., Poore, J.: Computing system reliability using Markov chain usage models. J. Syst. Softw. 73(2), 219–225 (2004)
The Mathworks: MATLAB/Simulink (2010)
University of Tennessee: Sequence-based Specification Tool, Protoseq. Software Quality Research Laboratory (2005)
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
Siegl, S., Russer, M. (2015). Constructive Modelling of Parallelized Environmental Models for Structured Testing of Automated Driving Systems. In: Mousavi, M., Berger, C. (eds) Cyber Physical Systems. Design, Modeling, and Evaluation. CyPhy 2015. Lecture Notes in Computer Science(), vol 9361. Springer, Cham. https://doi.org/10.1007/978-3-319-25141-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-25141-7_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25140-0
Online ISBN: 978-3-319-25141-7
eBook Packages: Computer ScienceComputer Science (R0)