The Library
A two-level abstraction ODD definition language : Part 2*
Tools
Tools
Tools
Schwalb, Edward, Irvine, Patrick, Zhang, Xizhe, Khastgir, Siddartha and Jennings, Paul. A. (2022) A two-level abstraction ODD definition language : Part 2*. In: IEEE Systems, Man and Cybernetics Society (SMC), Virtual conference, 17-20 Oct 2021. Published in: 2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC) ISBN 9781665442077. doi:10.1109/SMC52423.2021.9658812
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: https://doi.org/10.1109/SMC52423.2021.9658812
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.
| Item Type: | Conference Item (Paper) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Subjects: | T Technology > TK Electrical engineering. Electronics Nuclear engineering T Technology > TS Manufactures |
|||||||||
| Divisions: | Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group) | |||||||||
| Library of Congress Subject Headings (LCSH): | Computer networks -- Security measures, Automated guided vehicle systems, Automated vehicles, Automobiles -- Electronic equipment -- Computer programs, Automobiles -- Safety measures, Cybernetics | |||||||||
| Journal or Publication Title: | 2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC) | |||||||||
| Publisher: | IEEE | |||||||||
| ISBN: | 9781665442077 | |||||||||
| Official Date: | 6 January 2022 | |||||||||
| Dates: |
|
|||||||||
| DOI: | 10.1109/SMC52423.2021.9658812 | |||||||||
| Status: | Peer Reviewed | |||||||||
| Publication Status: | Published | |||||||||
| Reuse Statement (publisher, data, author rights): | © 2021 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. | |||||||||
| Access rights to Published version: | Restricted or Subscription Access | |||||||||
| Date of first compliant deposit: | 27 October 2021 | |||||||||
| Date of first compliant Open Access: | 27 October 2021 | |||||||||
| RIOXX Funder/Project Grant: |
|
|||||||||
| Conference Paper Type: | Paper | |||||||||
| Title of Event: | IEEE Systems, Man and Cybernetics Society (SMC) | |||||||||
| Type of Event: | Conference | |||||||||
| Location of Event: | Virtual conference | |||||||||
| Date(s) of Event: | 17-20 Oct 2021 | |||||||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
