A Two-Level Abstraction ODD Definition Language: Part II

A formal representation for the Operational Design Domain (ODD) of Automated Driving Systems (ADSs) is presented in this paper. An ODD specification determines for every situation whether it is included or excluded from the ODD. We focus on methods to provide unambiguous specification in a programma...

Full description

Saved in:
Bibliographic Details
Published in2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC) pp. 1669 - 1676
Main Authors Schwalb, Edward, Irvine, Patrick, Zhang, Xizhe, Khastgir, Siddartha, Jennings, Paul
Format Conference Proceeding
LanguageEnglish
Published IEEE 17.10.2021
Subjects
Autonomous Systems
Natural languages
Ontologies
Operational Design Domain
OWL
Safety Engineering
Semantics
Structured Query Language
Technological innovation
Uncertainty
Online AccessGet full text

Cover

More Information
Summary:A formal representation for the Operational Design Domain (ODD) of Automated Driving Systems (ADSs) is presented in this paper. An ODD specification determines for every situation whether it is included or excluded from the ODD. We focus on methods to provide unambiguous specification in a programmatic format which are simultaneously machine and human readable. We present a logical framework with intuitive and well-defined semantics which directly supports safety engineering process through specification stage to defining uncertainty and acceptable risk. Its rich and diverse feature set include 1) parsimonious permissive and restrictive constraints, 2) the ability to import OWL ontologies, 3) ability to bind to non-uniform complex variable length structures within situation data, and 4) ability for components to control the scope of usage by integrators. The presentation of syntax and formal semantics is illustrated with example demonstrating key concepts and language capabilities.
ISSN:2577-1655
DOI:10.1109/SMC52423.2021.9658812