{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T16:46:25Z","timestamp":1751388385609,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031708923"},{"type":"electronic","value":"9783031708930"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-70893-0_14","type":"book-chapter","created":{"date-parts":[[2024,8,29]],"date-time":"2024-08-29T11:02:54Z","timestamp":1724929374000},"page":"190-203","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Evaluating AI-Based Components in\u00a0Autonomous Railway Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-7725-9832","authenticated-orcid":false,"given":"Jan","family":"Ro\u00dfbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9523-7777","authenticated-orcid":false,"given":"Oliver","family":"De Candido","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Hammam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4595-1518","authenticated-orcid":false,"given":"Michael","family":"Leuschel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,30]]},"reference":[{"key":"14_CR1","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J Abrial","year":"2005","unstructured":"Abrial, J., Hoare, A.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Athavale, J., Baldovin, A., Paulitsch, M.: Trends and functional safety certification strategies for advanced railway automation systems. In: 2020 IEEE International Reliability Physics Symposium (IRPS) (2020)","DOI":"10.1109\/IRPS45951.2020.9129519"},{"issue":"9","key":"14_CR3","doi-asserted-by":"publisher","first-page":"14011","DOI":"10.1109\/TITS.2021.3131637","volume":"23","author":"N Be\u0161inovi\u0107","year":"2022","unstructured":"Be\u0161inovi\u0107, N., et al.: Artificial intelligence in railway transport: taxonomy, regulations, and applications. IEEE Trans. Intell. Transp. Syst. 23(9), 14011\u201314024 (2022)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"14_CR4","volume-title":"Pattern Recognition and Machine Learning","author":"CM Bishop","year":"2006","unstructured":"Bishop, C.M.: Pattern Recognition and Machine Learning, vol. 2. Springer, Heidelberg (2006)"},{"key":"14_CR5","unstructured":"Braband, J., et al.: Risikoakzeptanzkriterien f\u00fcr das automatisierte fahren auf der schiene. Technical report, Deutsches Zentrum f\u00fcr Schienenverkehrsforschung beim Eisenbahn-Bundesamt (DZSF) (2023)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"dos Santos, C.F.G., Papa, J.P.: Avoiding overfitting: a survey on regularization methods for convolutional neural networks. CoRR arXiv:2201.03299 (2022)","DOI":"10.1145\/3510413"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-031-26236-4_1","volume-title":"Software Engineering and Formal Methods","author":"J Grossmann","year":"2023","unstructured":"Grossmann, J., et al.: Test and training data generation for object recognition in the railway domain. In: Masci, P., Bernardeschi, C., Graziani, P., Koddenbrock, M., Palmieri, M. (eds.) SEFM 2022, pp. 5\u201316. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-26236-4_1"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-031-43366-5_8","volume-title":"RSSRail 2023","author":"J Gruteser","year":"2023","unstructured":"Gruteser, J., Gele\u00dfus, D., Leuschel, M., Ro\u00dfbach, J., Vu, F.: A formal model of train control with AI-based obstacle detection. In: Milius, B., Collart-Dutilleul, S., Lecomte, T. (eds.) RSSRail 2023, pp. 128\u2013145. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-43366-5_8"},{"key":"14_CR9","unstructured":"Hemzal, G., et al.: KI-LOK - a joint test procedure project for AI-based components used in railway operations. Signal+DRAHT (2021)"},{"key":"14_CR10","unstructured":"Hemzal, G., et al.: KI-LOK - Ein Verbundprojekt \u00fcber Pr\u00fcfverfahren f\u00fcr KI-basierte Komponenten im Eisenbahnbetrieb. Signal+DRAHT (2023)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Huang, L., Liang, H., Yu, B., Li, B., Zhu, H.: Ontology-based driving scene modeling, situation assessment and decision making for autonomous vehicles. In: 2019 4th Asia-Pacific Conference on Intelligent Robot Systems (ACIRS), pp. 57\u201362. IEEE (2019)","DOI":"10.1109\/ACIRS.2019.8935984"},{"key":"14_CR12","unstructured":"IEC 61508-1:2010 Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-related Systems. Standard, International Electrotechnical Commission, Geneva, CH (2010)"},{"key":"14_CR13","unstructured":"ISO 26262-1:2018 Road Vehicles \u2013 Functional safety. Standard, International Organization for Standardization, Geneva, CH (2018)"},{"key":"14_CR14","unstructured":"ISO 21448:2022 Road Vehicles \u2013 Safety of the intended functionality . Standard, International Organization for Standardization, Geneva, CH (2022)"},{"key":"14_CR15","unstructured":"ISO\/CD PAS 8800 Road Vehicles \u2013 Safety and artificial intelligence. Standard, International Organization for Standardization, Geneva, CH (2024)"},{"key":"14_CR16","unstructured":"Jackson, D., et al.: Certified control: an architecture for verifiable safety of autonomous vehicles. CoRR arXiv:2104.06178 (2021)"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Kelly, T.P.: Arguing safety-a systematic approach to safety case management. DPhil Thesis York University, Department of Computer Science Report YCST (1999)","DOI":"10.1007\/3-540-48249-0_2"},{"key":"14_CR18","unstructured":"Klemenc, J., Trittenbach, H.: Selecting models based on the risk of damage caused by adversarial attacks. CoRR arXiv:2301.12151 (2023)"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-030-61362-4_16","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles","author":"B K\u00f6nighofer","year":"2020","unstructured":"K\u00f6nighofer, B., Lorber, F., Jansen, N., Bloem, R.: Shield synthesis for reinforcement learning. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12476, pp. 290\u2013306. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61362-4_16"},{"key":"14_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: a model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855\u2013874. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-45236-2_46"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Pappaterra, M.J., Flammini, F., Vittorini, V., Be\u0161inovi\u0107, N.: A systematic review of artificial intelligence public datasets for railway applications. Infrastructures 6(10) (2021)","DOI":"10.3390\/infrastructures6100136"},{"key":"14_CR22","unstructured":"Peleska, J., Br\u00fcning, F., Gleirscher, M., Huang, W.: A stochastic approach to classification error estimates in convolutional neural networks. CoRR arXiv:2401.06156 (2023)"},{"key":"14_CR23","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-031-19762-8_22","volume-title":"ISoLA 2022","author":"J Peleska","year":"2022","unstructured":"Peleska, J., Haxthausen, A.E., Lecomte, T.: Standardisation considerations for autonomous train control. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, pp. 286\u2013307. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8_22"},{"issue":"3","key":"14_CR24","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1016\/j.eng.2019.12.012","volume":"6","author":"K Ren","year":"2020","unstructured":"Ren, K., Zheng, T., Qin, Z., Liu, X.: Adversarial attacks and defenses in deep learning. Engineering 6(3), 346\u2013360 (2020)","journal-title":"Engineering"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Ro\u00dfbach, J., Leuschel, M.: Certified control for train sign classification. In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, vol. 395, pp. 69\u201376 (2023)","DOI":"10.4204\/EPTCS.395.5"},{"key":"14_CR26","unstructured":"SCSC Assurance Case Working Group. Goal structuring notation community standard version 3. GSN Community Standard SCSC-141C, Safety-Critical Systems Club, York, UK (2021)"},{"key":"14_CR27","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-031-19762-8_20","volume-title":"ISoLA 2022","author":"M Seisenberger","year":"2022","unstructured":"Seisenberger, M., et al.: Safe and secure future AI-driven railway technologies: challenges for formal methods in railway. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, pp. 246\u2013268. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8_20"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Sun, Y., Wu, M., Ruan, W., Huang, X., Kwiatkowska, M., Kroening, D.: Concolic testing for deep neural networks. CoRR arXiv:1805.00089 (2018)","DOI":"10.1145\/3238147.3238172"},{"key":"14_CR29","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.trc.2022.103679","volume":"140","author":"R Tang","year":"2022","unstructured":"Tang, R., et al.: A literature review of artificial intelligence applications in railway systems. Transp. Res. Part C: Emerg. Technol. 140, 103\u2013679 (2022)","journal-title":"Transp. Res. Part C: Emerg. Technol."},{"key":"14_CR30","unstructured":"Tilly, R., et al.: Open sensor data for rail 2023 (2023)"},{"key":"14_CR31","unstructured":"UL 4600 Standard for Evaluation of Autonomous Products. Standard, Underwriters Laboratories Inc. (2020)"},{"key":"14_CR32","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-031-60698-4_16","volume-title":"NFM 2024","author":"F Vu","year":"2024","unstructured":"Vu, F., Dunkelau, J., Leuschel, M.: Validation of reinforcement learning agents and safety shields with ProB. In: Benz, N., Gopinath, D., Shi, N. (eds.) NFM 2024. LNCS, vol. 14627, pp. 279\u2013297. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-60698-4_16"},{"key":"14_CR33","doi-asserted-by":"crossref","unstructured":"Wiesbrock, H.-W., Gro\u00dfmann, J.: Outline of an independent systematic blackbox test for ML-based systems. CoRR arXiv:2401.17062 (2024)","DOI":"10.1109\/AITest62860.2024.00009"},{"key":"14_CR34","doi-asserted-by":"crossref","unstructured":"Wiesbrock, H.W., Grossmann, J.: Probabilistically extended ontologies: a basis for systematic testing of ML-based systems. Technical report, SAE Technical Paper (2024)","DOI":"10.4271\/2024-01-3002"},{"key":"14_CR35","doi-asserted-by":"crossref","unstructured":"Yang, J., Zhou, K., Li, Y., Liu, Z.: Generalized out-of-distribution detection: a survey. CoRR arXiv:2110.11334 (2024)","DOI":"10.1007\/s11263-024-02117-4"},{"issue":"9","key":"14_CR36","doi-asserted-by":"publisher","first-page":"2805","DOI":"10.1109\/TNNLS.2018.2886017","volume":"30","author":"X Yuan","year":"2019","unstructured":"Yuan, X., He, P., Zhu, Q., Li, X.: Adversarial examples: attacks and defenses for deep learning. IEEE Trans. Neural Netw. Learn. Syst. 30(9), 2805\u20132824 (2019)","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."}],"container-title":["Lecture Notes in Computer Science","KI 2024: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-70893-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T12:32:00Z","timestamp":1732710720000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-70893-0_14"}},"subtitle":["A Methodology"],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031708923","9783031708930"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-70893-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"30 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"KI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"German Conference on Artificial Intelligence (K\u00fcnstliche Intelligenz)","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"W\u00fcrzburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"47","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ki2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.informatik.uni-wuerzburg.de\/ki24\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}