{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:27:47Z","timestamp":1743013667349,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030891589"},{"type":"electronic","value":"9783030891596"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-89159-6_9","type":"book-chapter","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T17:57:10Z","timestamp":1633975030000},"page":"129-145","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Simulation-Based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles"],"prefix":"10.1007","author":[{"given":"Robin","family":"Philipp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hedan","family":"Qian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukas","family":"Hartjen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabian","family":"Schuldt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Falk","family":"Howar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"key":"9_CR1","unstructured":"SJ3016: Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles (2018)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Bohrer, B., Tan, Y.K., Mitsch, S., Sogokon, A., Platzer, A.: A formal safety net for waypoint-following in ground robots. IEEE RA-L 4(3), 2910\u20132917 (2019)","DOI":"10.1109\/LRA.2019.2923099"},{"key":"9_CR3","unstructured":"Brahmi, M., Siedersberger, K.H., Siegel, A., Maurer, M.: Reference systems for environmental perception: requirements, validation and metric-based evaluation. In: 6. Tagung Fahrerassistenzsysteme (2013)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Brat, G., Bushnell, D., Davies, M., Giannakopoulou, D., Howar, F., Kahsai, T.: Verifying the safety of a flight-critical system. In: FM: Formal Methods (2015)","DOI":"10.1007\/978-3-319-19249-9_20"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Bussler, A., Hartjen, L., Philipp, R., Schuldt, F.: Application of evolutionary algorithms and criticality metrics for the verification and validation of automated driving systems at urban intersections. In: IEEE IV Symposium (2020)","DOI":"10.1109\/IV47402.2020.9304662"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Chechik, M., Salay, R., Viger, T., Kokaly, S., Rahimi, M.: Software assurance in an uncertain world. In: Fundamental Approaches to Software Engineering (2019)","DOI":"10.1007\/978-3-030-16722-6_1"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.1007\/s10817-018-09509-5","volume":"63","author":"T Dreossi","year":"2019","unstructured":"Dreossi, T., Donz\u00e9, A., Seshia, S.A.: Compositional falsification of cyber-physical systems with machine learning components. J. Autom. Reason. 63, 1031\u20131053 (2019)","journal-title":"J. Autom. Reason."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Eiras, F., Lahijanian, M., Kwiatkowska, M.: Correct-by-construction advanced driver assistance systems based on a cognitive architecture. In: IEEE CAVS Symposium (2019)","DOI":"10.1109\/CAVS.2019.8887768"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Fremont, D.J., Chiu, J., Margineantu, D.D., Osipychev, D., Seshia, S.A.: Formal analysis and redesign of a neural network-based aircraft taxiing system with VerifAI. In: Computer Aided Verification (2020)","DOI":"10.1007\/978-3-030-53288-8_6"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Guissouma, H., Leiner, S., Sax, E.: Towards design and verification of evolving cyber physical systems using contract-based methodology. In: IEEE ISSE (2019)","DOI":"10.1109\/ISSE46696.2019.8984478"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Hoxha, B., Dokhanchi, A., Fainekos, G.: Mining parametric temporal logic properties in model-based design for cyber-physical systems. In: STTT, vol. 20 (2017)","DOI":"10.1007\/s10009-017-0447-4"},{"key":"9_CR12","unstructured":"ISO 5725\u20131:1994: Accuracy (trueness and precision) of measurement methods and results - part 1: General principles and definitions. Standard (1994)"},{"key":"9_CR13","unstructured":"ISO\/DIS 21448: Road vehicles - Safety of the intended functionality. Standard, International Organization for Standardization (ISO), Geneva, Switzerland (2021)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Jeannin, J.B., et al.: A formally verified hybrid system for the next-generation airborne collision avoidance system. In: TACAS (2015)","DOI":"10.1007\/978-3-662-46681-0_2"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Jin, X., Donze, A., Deshmukh, J.V., Seshia, S.A.: Mining requirements from closed-loop control models. In: IEEE TCAD, vol. 34 (2015)","DOI":"10.1109\/TCAD.2015.2421907"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Julian, K.D., Kochenderfer, M.J.: Guaranteeing safety for neural network-based aircraft collision avoidance systems. In: IEEE DASC (2019)","DOI":"10.1109\/DASC43569.2019.9081748"},{"key":"9_CR17","doi-asserted-by":"publisher","unstructured":"Klamann, B., Lippert, M., Amersbach, C., Winner, H.: Defining pass-\/fail-criteria for particular tests of automated driving functions. In: IEEE ITSC. IEEE, October 2019. https:\/\/doi.org\/10.1109\/ITSC.2019.8917483","DOI":"10.1109\/ITSC.2019.8917483"},{"issue":"5","key":"9_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3342101","volume":"52","author":"M Luckcuck","year":"2019","unstructured":"Luckcuck, M., Farrell, M., Dennis, L.A., Dixon, C., Fisher, M.: Formal specification and verification of autonomous robotic systems. ACM CSUR 52(5), 1\u201341 (2019)","journal-title":"ACM CSUR"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Maurer, M., Gerdes, J.C., Lenz, B., Winner, H. (eds.): Autonomes Fahren (2015)","DOI":"10.1007\/978-3-662-45854-9"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Moradi, M., Oakes, B.J., Saraoglu, M., Morozov, A., Janschek, K., Denil, J.: Exploring fault parameter space using reinforcement learning-based fault injection. In: IEEE\/IFIP DSN-W (2020)","DOI":"10.1109\/DSN-W50199.2020.00028"},{"issue":"4","key":"9_CR21","doi-asserted-by":"publisher","first-page":"1294","DOI":"10.1109\/TCST.2015.2501351","volume":"24","author":"P Nilsson","year":"2016","unstructured":"Nilsson, P., et al.: Correct-by-construction adaptive cruise control: two approaches. IEEE Trans. Control Syst. Technol. 24(4), 1294\u20131307 (2016)","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Philion, J., Kar, A., Fidler, S.: Learning to evaluate perception models using planner-centric metrics. In: Proceedings of the IEEE\/CVF CVPR (2020)","DOI":"10.1109\/CVPR42600.2020.01407"},{"key":"9_CR23","unstructured":"Philipp, R., Schuldt, F., Howar, F.: Functional decomposition of automated driving systems for the classification and evaluation of perceptual threats. 13. Uni-DAS e.V. Workshop Fahrerassistenz und automatisiertes Fahren (2020)"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Piazzoni, A., Cherian, J., Slavik, M., Dauwels, J.: Modeling perception errors towards robust decision making in autonomous vehicles. In: IJCAI (2020)","DOI":"10.24963\/ijcai.2020\/483"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Piazzoni, A., Cherian, J., Slavik, M., Dauwels, J.: Modeling sensing and perception errors towards robust decision making in autonomous vehicles (2020). https:\/\/arxiv.org\/abs\/2001.11695","DOI":"10.24963\/ijcai.2020\/483"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Sangiovanni-Vincentelli, A., Damm, W., Passerone, R.: Taming dr. frankenstein: contract-based design for cyber-physical systems. Eur. J. Control 18(3), 217\u2013238 (2012)","DOI":"10.3166\/ejc.18.217-238"},{"key":"9_CR27","unstructured":"Sch\u00f6nemann, V., et al.: Fault tree-based derivation of safety requirements for automated driving on the example of cooperative valet parking. In: 26th International Conference on the Enhanced Safety of Vehicles (ESV) (2019)"},{"key":"9_CR28","unstructured":"Shalev-Shwartz, S., Shammah, S., Shashua, A.: On a formal model of safe and scalable self-driving cars (2017). https:\/\/arxiv.org\/abs\/1708.06374"},{"key":"9_CR29","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/OJITS.2021.3078121","volume":"2","author":"T Stahl","year":"2021","unstructured":"Stahl, T., Diermeyer, F.: Online verification enabling approval of driving functions\u2013implementation for a planner of an autonomous race vehicle. IEEE Open J. Intell. Transp. Syst. 2, 97\u2013110 (2021)","journal-title":"IEEE Open J. Intell. Transp. Syst."},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Stahl, T., Eicher, M., Betz, J., Diermeyer, F.: Online verification concept for autonomous vehicles \u2013 illustrative study for a trajectory planning module (2020)","DOI":"10.1109\/ITSC45102.2020.9294703"},{"key":"9_CR31","unstructured":"Stellet, J.E., Woehrle, M., Brade, T., Poddey, A., Branz, W.: Validation of automated driving - a structured analysis and survey of approaches. In: 13. Uni-DAS e.V. Workshop Fahrerassistenz und automatisiertes Fahren (2020)"},{"issue":"7","key":"9_CR32","doi-asserted-by":"publisher","first-page":"986","DOI":"10.1109\/JPROC.2003.814621","volume":"91","author":"C Tomlin","year":"2003","unstructured":"Tomlin, C., Mitchell, I., Bayen, A., Oishi, M.: Computational techniques for the verification of hybrid systems. Proc. IEEE 91(7), 986\u20131001 (2003)","journal-title":"Proc. IEEE"},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"Tuncali, C.E., Fainekos, G., Ito, H., Kapinski, J.: Simulation-based adversarial test generation for autonomous vehicles with machine learning components. In: IEEE IV Symposium (2018)","DOI":"10.1109\/IVS.2018.8500421"},{"key":"9_CR34","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1109\/TIV.2019.2955903","volume":"5","author":"CE Tuncali","year":"2020","unstructured":"Tuncali, C.E., Fainekos, G., Prokhorov, D., Ito, H., Kapinski, J.: Requirements-driven test generation for autonomous vehicles with machine learning components. IEEE Trans. Intell. Veh. 5, 265\u2013280 (2020)","journal-title":"IEEE Trans. Intell. Veh."},{"key":"9_CR35","unstructured":"UNECE: Proposal for a new UN Regulation on uniform provisions concerning the approval of vehicles with regards to Automated Lane Keeping System. Tech. rep. (2020). https:\/\/undocs.org\/ECE\/TRANS\/WP.29\/2020\/81"},{"key":"9_CR36","doi-asserted-by":"crossref","unstructured":"Volk, G., Gamerdinger, J., von Bernuth, A., Bringmann, O.: A comprehensive safety metric to evaluate perception in autonomous systems. In: IEEE ITSC (2020)","DOI":"10.1109\/ITSC45102.2020.9294708"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89159-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,25]],"date-time":"2022-03-25T08:06:23Z","timestamp":1648195583000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89159-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030891589","9783030891596"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89159-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}