A Two-Level Abstraction ODD Definition Language: Part II
Edward Schwalb, Patrick Irvine, Xizhe Zhang, Siddartha Khastgir, Paul Jennings
Abstract
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.