{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T16:01:02Z","timestamp":1762272062355,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_52","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"672-687","source":"Crossref","is-referenced-by-count":12,"title":["Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of\u00a0Simulation and Runtime Monitoring"],"prefix":"10.1007","author":[{"given":"Malte","family":"Mauritz","sequence":"first","affiliation":[]},{"given":"Falk","family":"Howar","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Rausch","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"52_CR1","unstructured":"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)"},{"key":"52_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/978-3-642-33675-1_16","volume-title":"Computer Safety, Reliability, and Security","author":"C Berger","year":"2012","unstructured":"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\u2013189. Springer, Heidelberg (2012)"},{"key":"52_CR3","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/ITSC.2014.6957640"},{"key":"52_CR4","doi-asserted-by":"crossref","unstructured":"Berger, C., Block, D., Heeren, S., Hons, C., K\u00fchnel, 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)","DOI":"10.1109\/ITSC.2014.6957640"},{"issue":"4","key":"52_CR5","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/MITS.2015.2474956","volume":"7","author":"C Berger","year":"2015","unstructured":"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\u201336 (2015)","journal-title":"IEEE Intell. Transp. Syst. Mag."},{"key":"52_CR6","volume-title":"Handbuch Fahrerassistenzsysteme","author":"T Bock","year":"2012","unstructured":"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)"},{"issue":"5","key":"52_CR7","doi-asserted-by":"crossref","first-page":"752","DOI":"10.1145\/876638.876643","volume":"50","author":"E Clarke","year":"2003","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM (JACM) 50(5), 752\u2013794 (2003)","journal-title":"J. ACM (JACM)"},{"key":"52_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/978-3-642-18275-4_19","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F Howar","year":"2011","unstructured":"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\u2013277. Springer, Heidelberg (2011)"},{"key":"52_CR9","volume-title":"Logic, Language, and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D., Abstractions, S.: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"52_CR10","unstructured":"Kane, A.: Runtime monitoring for safety-critical embedded systems. Ph.D. thesis, Carnegie Mellon University (2015)"},{"key":"52_CR11","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/IVWorkshops.2013.6615241"},{"key":"52_CR12","doi-asserted-by":"crossref","unstructured":"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\u2013120. IEEE (2011)","DOI":"10.1109\/QEST.2011.21"},{"key":"52_CR13","unstructured":"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)"},{"key":"52_CR14","unstructured":"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\u201337 (2014)"},{"key":"52_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/978-3-642-19835-9_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M Merten","year":"2011","unstructured":"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\u2013223. Springer, Heidelberg (2011)"},{"key":"52_CR16","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/VLSI-TSA.2014.6839646"},{"key":"52_CR17","volume-title":"Advanced Microsystems for Automotive Applications 2015","author":"SP Olivares","year":"2016","unstructured":"Olivares, S.P., Rebernik, N., Eichberger, A., Stadlober, E.: Virtual stochastic testing of advanced driver assistance systems. In: Schulze, T., M\u00fcller, B., Meyer, G. (eds.) Advanced Microsystems for Automotive Applications 2015. Springer, Cham (2016)"},{"key":"52_CR18","unstructured":"Schuldt, F., Lichte, B., Maurer, M., Scholz, S.: Systematische Auswertung von Testf\u00e4llen f\u00fcr Fahrfunktionen im modularen virtuellen Testbaukasten. In: 9. Workshop Fahrerassistenzsysteme (2014)"},{"key":"52_CR19","unstructured":"Schuldt, F., Saust, F., Lichte, B., Maurer, M.: Effiziente systematische Testgenerierung f\u00fcr Fahrerassistenzsysteme in virtuellen Umgebungen. In: Automatisierungssysteme, Assistenzsysteme und eingebettete Systeme f\u00fcr Transportmittel, AAET 2013 (2013)"},{"key":"52_CR20","unstructured":"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)"},{"key":"52_CR21","volume-title":"The Z Notation","author":"JM Spivey","year":"1992","unstructured":"Spivey, J.M., Abrial, J.: The Z Notation. Prentice Hall, Hemel Hempstead (1992)"},{"key":"52_CR22","volume-title":"Automated Driving - Safer and More Efficient Future Driving","author":"S Ulbrich","year":"2016","unstructured":"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)"},{"key":"52_CR23","unstructured":"Verband der Automobilindustrie e.V.: Automation: From Driver Assistance Systems to Automated Driving. VDA Magazine - Automation (2015)"},{"key":"52_CR24","unstructured":"Wachenfeld, W., Winner, H.: Virtual assessment of automation in field operation a new runtime validation method. In: 10. Workshop Fahrerassistenzsysteme (2015)"},{"key":"52_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-09840-1","volume-title":"Handbook of Driver Assistance Systems: Basic Information, Components and Systems for Active Safety and Comfort","author":"H Winner","year":"2014","unstructured":"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)"},{"key":"52_CR26","unstructured":"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)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:10:02Z","timestamp":1568434202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}