https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formalizing Operational Design Domains with the Pkl Language
Rise Research Institutes of Sweden, Borås, Sweden.ORCID iD: 0000-0001-6901-4986
Rise Research Institutes of Sweden, Borås, Sweden.
Rise Research Institutes of Sweden, Borås, Sweden.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-7235-6888
Show others and affiliations
2025 (English)Conference paper, Published paper (Refereed)
Abstract [en]

The deployment of automated functions that can operate without direct human supervision has changed safety evaluation in domains seeking higher levels of automation. Unlike conventional systems that rely on human operators, these functions require new assessment frameworks to demonstrate that they do not introduce unacceptable risks under real-world conditions. To make a convincing safety claim, the developer must present a thorough justification argument, supported by evidence, that a function is free from unreasonable risk when operated in its intended context. The key concept relevant to the presented work is the intended context, often captured by an Operational Design Domain specification (ODD) specification. ODD formalization is challenging due to the need to maintain flexibility in adopting diverse specification formats while preserving consistency and traceability and integrating seamlessly into the development, validation, and assessment. This paper presents a way to formalize an ODD in the Pkl language, addressing central challenges in specifying ODDs while improving usability through specialized configuration language features. The approach is illustrated with an automotive example but can be broadly applied to ensure rigorous assessments of operational contexts.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE) , 2025. p. 1482-1489
Series
IEEE Intelligent Vehicles Symposium (IV), ISSN 2642-7214
Keywords [en]
Assessment, Automated Driving Systems, Automated Functions, Operational Design Domain, Safety, Safety Assurance, Security, Automation, Automobile Drivers, Human Computer Interaction, Risk Assessment, Specifications, Design Domains, Human Supervision, Operational Design, Safety Evaluations, Accident Prevention
National Category
Mechanical Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-73173DOI: 10.1109/IV64158.2025.11097576ISI: 001556907500212Scopus ID: 2-s2.0-105014241847ISBN: 9798331538033 (print)OAI: oai:DiVA.org:mdh-73173DiVA, id: diva2:1994784
Conference
IEEE Intelligent Vehicles Symposium, Proceedings
Available from: 2025-09-03 Created: 2025-09-03 Last updated: 2026-02-27Bibliographically approved
In thesis
1. An Integrated Framework for the Assessment of Automated Driving Systems
Open this publication in new window or tab >>An Integrated Framework for the Assessment of Automated Driving Systems
2026 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

The road transport system is undergoing major transformations, notably the transition to fossil-free propulsion and advances in automation.

In the automotive domain, highly automated vehicles are typically referred to as incorporating Automated Driving Systems (ADS). Despite significant technological progress and anticipated benefits, the widespread deployment of these systems remains limited. This slow rollout is largely due to the increased complexity at higher automation levels, where vehicles must take on the full driving task and transition to fail-operational architectures capable of managing faults without human intervention.

 

The increasing complexity of these systems stems from a growing reliance on new, often noisy sensors and external connectivity for perception and decision-making. In addition to established safety concerns, cybersecurity has become essential, as communication interfaces and complex sensors introduce new vulnerabilities. Advances in environmental sensing further require attention to functional limitations that arise independently of malicious interference. Taken together, these developments present challenges in forming a comprehensive understanding of the contexts in which the systems are intended to operate safely. This, in turn, hinders the development of effective validation procedures and complicates efforts to substantiate claims of safety, security, and overall trustworthiness.

 

This PhD thesis advances the assurance of ADSs by integrating safety and cybersecurity into a unified assessment framework. The contributions are threefold: (1) context-dependent requirements; introducing technology-specific assessment templates for positioning, communication, and cybersecurity to enable more effective evaluation, together with a formalized operational design domain (ODD) for improved coverage and traceability; (2) multi-concern development management; demonstrating that co-engineered safety and security processes enhance completeness, supported by structured argument patterns, unified process models, and synchronization mechanisms to align assurance activities; and (3) independent assessment methods; developing a complementary testing approach called Assessment of Cybersecurity-informed Safety (AoCiS) and a systematic method for allocating test cases (METAFODD) to appropriate environments, enabling scalable scenario-based validation. Case studies and demonstrations show gains in efficiency, clarity, and completeness, while large-scale validation remains a challenge to be addressed in the future. Overall, the research presented in this thesis establishes structured and transparent methods to support independent and systematic assurance of safety and security in future evaluation efforts.

 

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2026
Series
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 454
Keywords
safety assurance framework, type approval, operational design domain, scenario-based testing, functional safety, cybersecurity, validation, verification, CCAM
National Category
Software Engineering Robotics and automation
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-74713 (URN)978-91-7485-741-2 (ISBN)
Public defence
2026-02-05, Kappa, Mälardalens universitet, Västerås, 13:30 (English)
Opponent
Supervisors
Funder
Knowledge Foundation, 20220130
Available from: 2025-12-03 Created: 2025-12-01 Last updated: 2026-01-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Skoglund, MartinHansson, HansPunnekkat, Sasikumar

Search in DiVA

By author/editor
Skoglund, MartinHansson, HansPunnekkat, Sasikumar
By organisation
Embedded Systems
Mechanical Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 104 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf