Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring

详细信息    查看全文

• 关键词：Advanced driver assistance systems ; Lane change assistant ; Simulation ; based testing ; Runtime verification
• 刊名：Lecture Notes in Computer Science
• 出版年：2016
• 出版时间：2016
• 年：2016
• 卷：9953
• 期：1
• 页码：672-687
• 全文大小：619 KB
• 参考文献：1.Bach, J., Bauer, K.-L., Holzpfel, M., Hillenbrand, M., Sax, E.: Control based driving assistant functions test using recorded in field data. In: Proc. 7. Tagung Fahrerassistenzsysteme (2015)
  2.Berger, C.: From autonomous vehicles to safer cars: selected challenges for the software engineering. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 180–189. Springer, Heidelberg (2012)CrossRef
  3.Berger, C., Block, D., Heeren, S., Hons, C., Kuhnel, S., Leschke, A., Plotnikov, D., Rumpe, B. Simulations on consumer tests: a systematic evaluation approach in an industrial case study. In: ITSC 2014 (2014)
  4.Berger, C., Block, D., Heeren, S., Hons, C., Kühnel, S., Leschke, A., Plotnikov, D., Rumpe, B.: Simulations on consumer tests: systematic evaluation of tolerance ranges by model-based generation of simulation scenarios. In: Proceedings of the Fahrerassistenzsysteme und Integrierte Sicherheit (2014)
  5.Berger, C., Block, D., Heeren, S., Hons, C., Kuhnel, S., Leschke, A., Plotnikov, D., Rumpe, B.: Simulations on consumer tests: a systematic evaluation approach in an industrial case study. IEEE Intell. Transp. Syst. Mag. 7(4), 24–36 (2015)CrossRef
  6.Bock, T.: Bewertung von Fahrerassistenzsystemen mittels der vehicle in the loop-simulation. In: Winner, H., Hakuli, S., Wolf, G. (eds.) Handbuch Fahrerassistenzsysteme. Vieweg+Teubner Verlag, Wiesbaden (2012)
  7.Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM (JACM) 50(5), 752–794 (2003)MathSciNet CrossRef MATH
  8.Howar, F., Steffen, B., Merten, M.: Automata learning with automated alphabet abstraction refinement. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 263–277. Springer, Heidelberg (2011)CrossRef
  9.Jackson, D., Abstractions, S.: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)
  10.Kane, A.: Runtime monitoring for safety-critical embedded systems. Ph.D. thesis, Carnegie Mellon University (2015)
  11.Lages, U., Spencer, M., Katz, R.: Automatic scenario generation based on laserscanner reference data and advanced offline processing. In: 2013 IEEE Intelligent Vehicles Symposium Workshops (IV Workshops) (2013)
  12.Mao, H., Chen, Y., Jaeger, M., Nielsen, T.D., Larsen, K.G., Nielsen, B.: Learning probabilistic automata for model checking. In: 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST), pp. 111–120. IEEE (2011)
  13.Mauritz, M., Howar, F., Rausch, A.: From simulation to operation: using design time artifacts to ensure the safety of advanced driving assistance systems at runtime. In: International Workshop on Modelling in Automotive Software Engineering (2015)
  14.Mauritz, M. Rausch, A., Schaefer, I.: Dependable ADAS by combining design time testing and runtime monitoring. In: 10th International Symposium on Formal Methods, FORMS/FORMAT 2014, pp. 28–37 (2014)
  15.Merten, M., Steffen, B., Howar, F., Margaria, T.: Next generation LearnLib. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 220–223. Springer, Heidelberg (2011)CrossRef
  16.Okuda, R., Kajiwara, Y., Terashima, K.: A survey of technical trend of ADAS and autonomous driving. In: Proceedings of Technical Program - 2014 International Symposium on VLSI Technology, Systems and Application, VLSI-TSA 2014 (2014)
  17.Olivares, S.P., Rebernik, N., Eichberger, A., Stadlober, E.: Virtual stochastic testing of advanced driver assistance systems. In: Schulze, T., Müller, B., Meyer, G. (eds.) Advanced Microsystems for Automotive Applications 2015. Springer, Cham (2016)
  18.Schuldt, F., Lichte, B., Maurer, M., Scholz, S.: Systematische Auswertung von Testfällen für Fahrfunktionen im modularen virtuellen Testbaukasten. In: 9. Workshop Fahrerassistenzsysteme (2014)
  19.Schuldt, F., Saust, F., Lichte, B., Maurer, M.: Effiziente systematische Testgenerierung für Fahrerassistenzsysteme in virtuellen Umgebungen. In: Automatisierungssysteme, Assistenzsysteme und eingebettete Systeme für Transportmittel, AAET 2013 (2013)
  20.Sefati, M., Stoff, A., Winner, H.: Testing method for autonomous safety functions based on combined steering/braking maneuvers for collision avoidance and mitigation. In: 6. Tagung Fahrerassistenz (2013)
  21.Spivey, J.M., Abrial, J.: The Z Notation. Prentice Hall, Hemel Hempstead (1992)
  22.Ulbrich, S., Schuldt, F., Homeier, K., Steinhoff, M., Menzel, T., Krause, J., Maurer, M.: Testing and validating tactical lane change behavior planning for automated driving. In: Horn, M., Watzenig, D. (eds.) Automated Driving - Safer and More Efficient Future Driving. Springer, Cham (2016)
  23.Verband der Automobilindustrie e.V.: Automation: From Driver Assistance Systems to Automated Driving. VDA Magazine - Automation (2015)
  24.Wachenfeld, W., Winner, H.: Virtual assessment of automation in field operation a new runtime validation method. In: 10. Workshop Fahrerassistenzsysteme (2015)
  25.Winner, H.: ADAS, Quo Vadis? In: Winner, H., Hakuli, S., Lotz, F., Singer, C. (eds.) Handbook of Driver Assistance Systems: Basic Information, Components and Systems for Active Safety and Comfort. Springer, Cham (2014)CrossRef
  26.Zofka, M.R., Kuhnt, F., Kohlhaas, R., Rist, C., Schamm, T., Zllner, J.M.: Data-driven simulation and parametrization of traffic scenarios for the development of advanced driver assistance systems. In: 18th International Conference on Information Fusion (2015)
  
• 作者单位：Malte Mauritz (15)
  Falk Howar (15)
  Andreas Rausch (15)
  
  15. Institute for Applied Software Systems Engineering (IPSSE), Clausthal University of Technology, Clausthal, Germany
  
• 丛书名：Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
• ISBN：978-3-319-47169-3
• 刊物类别：Computer Science
• 刊物主题：Artificial Intelligence and Robotics
  Computer Communication Networks
  Software Engineering
  Data Encryption
  Database Management
  Computation by Abstract Devices
  Algorithm Analysis and Problem Complexity
  
• 出版者：Springer Berlin / Heidelberg
• ISSN：1611-3349
• 卷排序：9953

文摘

Autonomous vehicles will share the road with human drivers within the next couple of years. One of the big open challenges is the lack of established and cost-efficient approaches for assuring the safety of Advanced Driver Assistance Systems and autonomous driving. Product liability regulations impose high standards on manufacturers regarding the safe operation of such systems. Today’s conventional engineering methods are not adequate for providing such guarantees in a cost-efficient way. One strategy for reducing the cost of quality assurance is transferring a significant part of the testing effort from road tests to (system-level) simulations. It is not clear, however, how results obtained from simulations transfer to the road. In this paper, we present a method for ensuring that an Advanced Driver Assistance System satisfies its safety requirements at runtime and operates within safe limits that were tested in simulations. Our approach utilizes runtime monitors that are generated from safety requirements and trained using simulated test cases. We evaluate our approach using an industrial prototype of a lane change assistant and data recorded in road tests on German highways.