{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T13:55:41Z","timestamp":1761746141676,"version":"3.43.0"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,22]]},"DOI":"10.1109\/iv64158.2025.11097576","type":"proceedings-article","created":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T17:54:55Z","timestamp":1754502895000},"page":"1482-1489","source":"Crossref","is-referenced-by-count":2,"title":["Formalizing Operational Design Domains with the Pkl Language"],"prefix":"10.1109","author":[{"given":"Martin","family":"Skoglund","sequence":"first","affiliation":[{"name":"RISE Research Institutes of Sweden,Borås,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fredrik","family":"Warg","sequence":"additional","affiliation":[{"name":"RISE Research Institutes of Sweden,Borås,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anders","family":"Thors\u00e9n","sequence":"additional","affiliation":[{"name":"RISE Research Institutes of Sweden,Borås,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Hansson","sequence":"additional","affiliation":[{"name":"Mälardalen University,MRTC,Västerås,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sasikumar","family":"Punnekkat","sequence":"additional","affiliation":[{"name":"Mälardalen University,MRTC,Västerås,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"International Organization for Standardization\u201d, \u201cISO 34501 Road vehicles - Road vehicles - Test scenarios for automated driving systems - Vocabulary","year":"2022","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tra.2016.09.010"},{"volume-title":"ISO 34503 Road Vehicles - Test scenarios for automated driving systems - Specification for operational design domain","key":"ref3"},{"key":"ref4","article-title":"A Framework for Automated Driving System Testable Cases and Scenarios","volume-title":"NHTSA, Tech. Rep. DOT HS 812 623","author":"Thorn","year":"2018"},{"volume-title":"AS AM OpenODD: Concept Paper","key":"ref5"},{"journal-title":"AS AM OpenTestSpecification Concept Paper Version 1.0.0 Date: 2024\u201306-30","key":"ref6"},{"volume-title":"Pkl:: Pkl Docs","key":"ref7"},{"volume-title":"PAS 1883:2020 Operational Design Domain Taxonomy for ADS","key":"ref8"},{"key":"ref9","first-page":"5363","article-title":"Overview of the Operational Design Domain Monitoring for Safe Intelligent Vehicle Navigation","volume-title":"2023 IEEE 26th International Conference on Intelli-gent Transportation Systems (ITSC)","author":"Charmet"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"1317","DOI":"10.1109\/IV47402.2020.9304552","article-title":"Identifying the Operational Design Domain for an Automated Driving System through Assessed Risk","volume-title":"2020 IEEE Intelligent Vehicles Symposium (IV)","author":"Lee","year":"2020"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/SysCon53536.2022.9773840","article-title":"Towards an Ontology That Reconciles the Operational Design Domain, Scenario-based Testing, and Automated Vehicle Architectures","volume-title":"2022 IEEE International Systems Conference (SysCon)","author":"Erz","year":"2022"},{"issue":"2","key":"ref12","first-page":"10","article-title":"Acclimatizing the Operational Design Domain for Autonomous Driving Systems","volume-title":"IEEE Intelligent Transportation Systems Magazine","volume":"14","author":"Sun","year":"2022"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"146","DOI":"10.12688\/openreseurope.16036.1","article-title":"Towards the definition of metrics for the assessment of operational design domains","volume":"3","author":"Kaiser","year":"2023","journal-title":"Open Research Eu-rope"},{"key":"ref14","first-page":"12263","article-title":"Operational Design Domain-Driven Cov-erage for the Safety Argumentation of Automated Vehicles","volume-title":"IEEE Access","volume":"11","author":"Weissensteiner","year":"2023"},{"journal-title":"Edition 2 tex.entrytype: standard","article-title":"ISO\/ICE\/IEEE 29119\u20131:2022 Software and systems engineering - Software testing","year":"2022","key":"ref15"},{"volume-title":"ISO 26262:2018 Road vehicles - Functional safety","key":"ref16"},{"volume-title":"ISO 21448:2022 Road vehicles Safety \u2014 of the intended functionality","key":"ref17"},{"key":"ref18","article-title":"Towards an Operational Design Domain That Supports the Safety Argumentation of an Automated Driving System","volume-title":"Preceedings 10th European Congress on Embedded Real Time Systems (ERTS 2020)","author":"Gyllenhammar","year":"2020"},{"key":"ref19","first-page":"8","article-title":"Towards a Specified Operational Design Domain for a Safe Remote Driving of Trains","volume-title":"ESREL 2021, 31st European Safety And Reliability Conference","author":"Tonk"},{"volume-title":"ISO 34502 Road vehicles - Test scenarios for automated driving systems - Scenario based safety evaluation framework","year":"2022","key":"ref20"},{"volume-title":"ODD in Pkl","author":"Skoglund","key":"ref21"},{"volume-title":"Federal Size Regulations for Commercial Motor Vehicles - FHWA","key":"ref22"},{"volume-title":"Open-source tool that uses simple textual descriptions to draw beautiful UML diagrams","key":"ref23"}],"event":{"name":"2025 IEEE Intelligent Vehicles Symposium (IV)","start":{"date-parts":[[2025,6,22]]},"location":"Cluj-Napoca, Romania","end":{"date-parts":[[2025,6,25]]}},"container-title":["2025 IEEE Intelligent Vehicles Symposium (IV)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11097351\/11097337\/11097576.pdf?arnumber=11097576","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T04:59:18Z","timestamp":1754542758000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11097576\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/iv64158.2025.11097576","relation":{},"subject":[],"published":{"date-parts":[[2025,6,22]]}}}