An Ontology-based Approach Towards Traceable Behavior Specifications in Automated Driving
0
Sign in to get full access
Overview
- Automated driving systems require detailed behavior specifications to ensure safe and reliable performance.
- This paper presents an ontology-based approach to developing traceable behavior specifications for automated driving.
- The proposed method aims to improve the requirements engineering process and support the Safety of the Intended Functionality (SOTIF) standard.
Plain English Explanation
The research paper discusses an approach to creating detailed specifications for the behavior of automated driving systems. Autonomous vehicles need very clear and comprehensive guidelines for how they should operate in different situations to ensure they function safely and as intended. The authors propose using an ontology-based approach to develop these behavior specifications in a more structured and traceable way.
The key idea is to model the various elements involved in autonomous driving - such as road infrastructure, environmental conditions, and driver/pedestrian behaviors - using an ontology. An ontology is a way of formally representing knowledge by defining the relationships between different concepts. By building this ontological model, the researchers aim to better capture the requirements and constraints for autonomous vehicle behavior in a more systematic manner.
This approach is meant to improve the requirements engineering process for automated driving systems and better support the Safety of the Intended Functionality (SOTIF) standard. SOTIF is a framework for ensuring autonomous systems behave safely even in situations that were not explicitly anticipated during the design phase. The ontology-based method described in this paper is proposed as a way to make the behavior specifications more comprehensive and traceable, which can enhance SOTIF compliance.
Technical Explanation
The paper presents an ontology-based approach for developing traceable behavior specifications for automated driving systems. The researchers construct an ontology model that captures the key elements involved in autonomous vehicle operation, including:
- Road infrastructure (e.g. lane markings, traffic signals)
- Environmental conditions (e.g. weather, lighting)
- Dynamic elements (e.g. other vehicles, pedestrians)
- Sensor data and perception
- Driving behaviors and maneuvers
By formally representing these concepts and their relationships in an ontological framework, the authors aim to create a comprehensive and structured knowledge base to support the requirements engineering process. This allows for more rigorous tracing of requirements to the underlying ontological model.
The proposed approach is designed to enhance compliance with the Safety of the Intended Functionality (SOTIF) standard. SOTIF focuses on ensuring autonomous systems behave safely even in situations that were not explicitly anticipated or tested for during development. The ontology-based method is meant to help identify potential gaps or edge cases in the behavior specifications, improving the overall safety and reliability of the autonomous driving system.
Critical Analysis
The ontology-based approach presented in this paper offers a promising direction for enhancing the requirements engineering and safety assurance processes for automated driving. Formalizing the domain knowledge in an ontological framework can indeed provide greater traceability and rigor compared to more ad-hoc specification methods.
However, the paper does not provide a detailed evaluation of the proposed approach or discuss any potential limitations. For example, it is unclear how the ontology model is constructed, validated, and maintained over time as requirements and domain knowledge evolve. Challenges around ontology engineering are not addressed.
Additionally, the linkage between the ontology-based specifications and the actual behavior planning and execution of the autonomous vehicle is not fully explored. More research is likely needed to understand how this ontological framework can be effectively integrated into the overall autonomous driving system architecture.
Conclusion
This paper presents an ontology-based approach for developing traceable behavior specifications for automated driving systems. The key idea is to create a formal ontological model capturing the various elements involved in autonomous vehicle operation, in order to enhance the requirements engineering process and improve compliance with the SOTIF safety standard.
While the proposed method shows promise, the paper leaves some open questions around the practical implementation and evaluation of this approach. Further research is needed to better understand the benefits, challenges, and integration considerations of using ontologies for specifying autonomous driving behaviors. Nevertheless, this work represents an interesting step towards more rigorous and comprehensive behavior specification for safe and reliable automated driving.
This summary was produced with help from an AI and may contain inaccuracies - check out the links to read the original source documents!
Related Papers
0
An Ontology-based Approach Towards Traceable Behavior Specifications in Automated Driving
Nayel Fabian Salem, Marcus Nolte, Veronica Haber, Till Menzel, Hans Steege, Robert Graubohm, Markus Maurer
Vehicles in public traffic that are equipped with Automated Driving Systems are subject to a number of expectations: Among other aspects, their behavior should be safe, conforming to the rules of the road and provide mobility to their users. This poses challenges for the developers of such systems: Developers are responsible for specifying this behavior, for example, in terms of requirements at system design time. As we will discuss in the article, this specification always involves the need for assumptions and trade-offs. As a result, insufficiencies in such a behavior specification can occur that can potentially lead to unsafe system behavior. In order to support the identification of specification insufficiencies, requirements and respective assumptions need to be made explicit. In this article, we propose the Semantic Norm Behavior Analysis as an ontology-based approach to specify the behavior for an Automated Driving System equipped vehicle. We use ontologies to formally represent specified behavior for a targeted operational environment, and to establish traceability between specified behavior and the addressed stakeholder needs. Furthermore, we illustrate the application of the Semantic Norm Behavior Analysis in two example scenarios and evaluate our results.
Read more9/11/2024
0
Towards a Universal Evaluation Model for Careful and Competent Autonomous Driving
Kethan Reddy, Elias Nassif, Panagiotis Angeloudis, Mohammed Quddus, Washington Ochieng
Virtual scenario-based testing methods to validate autonomous driving systems are predominantly centred around collision avoidance, and lack a comprehensive approach to evaluate optimal driving behaviour holistically. Furthermore, current validation approaches do not align with authorisation and monitoring requirements put forth by regulatory bodies. We address these validation gaps by outlining a universal evaluation framework that: incorporates the notion of careful and competent driving, unifies behavioural competencies and evaluation criteria, and is amenable at a scenario-specific and aggregate behaviour level. This framework can be leveraged to evaluate optimal driving in scenario-based testing, and for post-deployment monitoring to ensure continual compliance with regulation and safety standards.
Read more7/23/2024
๐งช
0
Semantic Belief Behavior Graph: Enabling Autonomous Robot Inspection in Unknown Environments
Muhammad Fadhil Ginting, David D. Fan, Sung-Kyun Kim, Mykel J. Kochenderfer, Ali-akbar Agha-mohammadi
This paper addresses the problem of autonomous robotic inspection in complex and unknown environments. This capability is crucial for efficient and precise inspections in various real-world scenarios, even when faced with perceptual uncertainty and lack of prior knowledge of the environment. Existing methods for real-world autonomous inspections typically rely on predefined targets and waypoints and often fail to adapt to dynamic or unknown settings. In this work, we introduce the Semantic Belief Behavior Graph (SB2G) framework as a novel approach to semantic-aware autonomous robot inspection. SB2G generates a control policy for the robot, featuring behavior nodes that encapsulate various semantic-based policies designed for inspecting different classes of objects. We design an active semantic search behavior to guide the robot in locating objects for inspection while reducing semantic information uncertainty. The edges in the SB2G encode transitions between these behaviors. We validate our approach through simulation and real-world urban inspections using a legged robotic platform. Our results show that SB2G enables a more efficient inspection policy, exhibiting performance comparable to human-operated inspections.
Read more7/11/2024
0
An Approach to Systematic Data Acquisition and Data-Driven Simulation for the Safety Testing of Automated Driving Functions
Leon Eisemann, Mirjam Fehling-Kaschek, Henrik Gommel, David Hermann, Marvin Klemp, Martin Lauer, Benjamin Lickert, Florian Luettner, Robin Moss, Nicole Neis, Maria Pohle, Simon Romanski, Daniel Stadler, Alexander Stolz, Jens Ziehn, Jingxing Zhou
With growing complexity and criticality of automated driving functions in road traffic and their operational design domains (ODD), there is increasing demand for covering significant proportions of development, validation, and verification in virtual environments and through simulation models. If, however, simulations are meant not only to augment real-world experiments, but to replace them, quantitative approaches are required that measure to what degree and under which preconditions simulation models adequately represent reality, and thus, using their results accordingly. Especially in R&D areas related to the safety impact of the open world, there is a significant shortage of real-world data to parameterize and/or validate simulations - especially with respect to the behavior of human traffic participants, whom automated driving functions will meet in mixed traffic. We present an approach to systematically acquire data in public traffic by heterogeneous means, transform it into a unified representation, and use it to automatically parameterize traffic behavior models for use in data-driven virtual validation of automated driving functions.
Read more5/6/2024