Cited By
View all- Rajabli NFlammini FNardone RVittorini V(2021)Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature ReviewIEEE Access10.1109/ACCESS.2020.30480479(4797-4819)Online publication date: 2021
Saving virtual testing time for CPS by analyzing code coverage on the example of a lane-following algorithm
Pages 7 - 10
Abstract
Self-driving cars are announced to be available at the end of this decade. For testing these highly complex systems, experiments on proving grounds and long-term validations on public roads need to be complemented by extensive tests in virtual environments. However, efficient planning of these virtual tests is essential to focus only on those tests, which are affected by changes to the software during the development. In previous work, meta-data from the development process of a real-scale self-driving car was analyzed to develop an approach, which relates changes in the source code to scenarios for virtual testing environments. In this article, results from applying that approach during the development of a lane-following algorithm for a self-driving miniature car are presented. With the help of the approach, 11% of the tests in the virtual environment could be omitted safely to save virtual testing time.
References
[1]
C. Basarke, C. Berger, K. Cornelsen, M. Doering, J. Effertz, K. Homeier, C. Lipski, T. Nothdurft, and J. M. Wille. Team CarOLO. Technical report, Technische Universität Braunschweig, Braunschweig, Germany, June 2007.
[2]
C. Basarke, C. Berger, K. Homeier, and B. Rumpe. Design and Quality Assurance of Intelligent Vehicle Functions in the "Virtual Vehicle". Proceedings of 11. Automobiltechnische Konferenz - Virtual Vehicle Creation, Stuttgart, 9:131--142, June 2007.
[3]
C. Berger. From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering. In F. Ortmeier and P. Daniel, editors, Proceedings of the SAFECOMP 2012 Workshops, LNCS 7613, pages 180--189, Magdeburg, Germany, Sept. 2012. Springer-Verlag Berlin Heidelberg.
[4]
C. Berger. Improving Scenario Selection for Simulations by Run-Time Control-Flow Analysis. In A. Abhari, A. G. Bruzzone, P. Kropf, F. Longo, and A. O. Solis, editors, Proceedings of the 2013 Summer Computer Simulation Conference, pages 94--102, Toronto, ON, Canada, July 2013. Simulation Councils, Inc.
[5]
C. Berger, M. Chaudron, R. Heldal, O. Landsiedel, and E. M. Schiller. Model-based, Composable Simulation for the Development of Autonomous Miniature Vehicles. In Proceedings of the SCS/IEEE Symposium on Theory of Modeling and Simulation, San Diego, CA, USA, Apr. 2013.
[6]
C. Berger and B. Rumpe. Autonomous Driving - 5 Years after the Urban Challenge: The Anticipatory Vehicle Cyber-Physical System. In U. Goltz, M. Magnor, H.-J. Appelrath, H. K. Matthies, W.-T. Balke, and L. Wolf, editors, Proceedings of the INFORMATIK 2012, pages 789--798, Braunschweig, Germany, Sept. 2012.
[7]
M. Buehler, K. Iagnemma, and S. Singh, editors. The 2005 DARPA Grand Challenge: The Great Robot Race. Springer Verlag, Berlin Heidelberg, 2007.
[8]
E. Engström, P. Runeson, and M. Skoglund. A systematic review on regression test selection techniques. Information and Software Technology, 52(1):14--30, Jan. 2010.
[9]
J. Felez, J. Maroto, J. M. Cabanellas, and J. M. Mera. A full-scale simulation model to reproduce urban traffic in real conditions in driving simulators. Simulation, (April), Apr. 2013.
[10]
High Tech Automotive Systems. Grand Cooperative Driving Challenge, Jan. 2011.
[11]
J. Hirsch. Self-driving cars inch closer to mainstream availability, Oct. 2013.
[12]
M. Pahlavan, M. Papatriantafilou, and E. M. Schiller. Gulliver: A Test-bed for Developing, Demonstrating and Prototyping Vehicular Systems. In Proceedings of the MobiWac' 11, pages 1--8, Miami, Florida, Oct. 2011.
[13]
P. Runeson and M. Höst. Guidelines for conducting and reporting case study research in software engineering. Empirical Software Engineering, 14(2):131--164, Dec. 2008.
[14]
F. Shull, J. Singer, and D. I. K. Sjø berg, editors. Guide to Advanced Empirical Software Engineering. Springer London, London, 2008.
Recommendations
On using blockchains for safety-critical systems
SEsCPS '18: Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical SystemsToday's industries in various domains are becoming more and more driven by software as innovator. They range from web applications powering our increasingly digitalized daily lives to deeply embedded systems driving complex and safety-critical cyber-...
Correlations of software code metrics: an empirical study
IWSM Mensura '17: Proceedings of the 27th International Workshop on Software Measurement and 12th International Conference on Software Process and Product MeasurementBackground: The increasing up-trend of software size brings about challenges related to release planning and maintainability. Foreseeing the growth of software metrics can assist in taking proactive decisions regarding different areas where software ...
SenseDSL: Automating the Integration of Sensors for MCU-Based Robots and Cyber-Physical Systems
DSM '14: Proceedings of the 14th Workshop on Domain-Specific ModelingContext: Cyber-physical systems like robotic platforms use sensors to perceive their surroundings. Multiple sensors like infrared, ultrasonic, and incremental encoders help these robots to orient act safely in their environment. Objective: However, ...
Comments
Information & Contributors
Information
Published In
Copyright © 2014 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
- IEEE Signal Processing Society
- ACM: Association for Computing Machinery
- SIGBED: ACM Special Interest Group on Embedded Systems
- IEEE CS
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 14 April 2014
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 164Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 03 Mar 2025
Other Metrics
Citations
Cited By
View all- Rajabli NFlammini FNardone RVittorini V(2021)Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature ReviewIEEE Access10.1109/ACCESS.2020.30480479(4797-4819)Online publication date: 2021
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in