This paper presents the development of a novel language for specifying Operational Design Domains (ODD), offering a significant contribution to the field of safety-critical systems. The language design, which is in harmony with the ISO 34503 standard, is meticulously crafted to augment the precision and composability of system specifications. A thorough examination of the ISO 34503 standard is undertaken, with a particular emphasis on the language requirements for ODD specification. The practicality and advantages of the newly proposed ODD language are substantiated through a variety of case studies, illustrating its application in real-world contexts. The research concludes that the innovative language design markedly enhances the comprehensibility and semantic interpretation of ODDs, thereby facilitating the development of more dependable and robust automated driving systems.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Towards Robust ISO 34503 ODD Language Syntax and Semantics


    Contributors:


    Publication date :

    2024-09-24


    Size :

    565998 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    CDIF - Transfer Format Syntax - SYNTAX.1

    SAE Technical Papers | 2016


    Towards a Formal Semantics of Flight Plans and Trajectories

    E. G. Hagen / W. R. Butler | NTIS | 2014


    Towards Ad-Hoc Rule Semantics for Gene Expression Data

    Agier, M. / Petit, J.-M. / Suzuki, E. | British Library Conference Proceedings | 2005


    Towards a Formal Semantics of Flight Plans and Trajectories

    Hagen, George E. / Butler, Ricky W. | NTRS | 2014


    From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics

    Mascle, Corto / Neider, Daniel / Schwenger, Maximilian et al. | German Aerospace Center (DLR) | 2020

    Free access