Abstract:Context: Ontologies are known as a formal and explicit conceptualization of entities, their interfaces, behaviors, and relationships. They have been applied in various application domains such as autonomous driving where ontologies are used for decision making, traffic description, auto-pilot etc. It has always been a challenge to test the corresponding safety-critical software systems in autonomous driving that have been playing an increasingly important role in our daily routines.Objective: Failures in these systems potentially not only cause great financial loss but also the loss of lives. Therefore, it is vital to obtain and cover as many as critical driving scenarios during auto drive testing to ensure that the system can always reach a fail-safe state under different circumstances.Method: We outline a general framework for testing, verification, and validation for automated and autonomous driving functions. The introduced method makes use of ontologies for describing the environment of autonomous vehicles and convert them to input models for combinatorial testing. The combinatorial test suite comprises abstract test cases that are mapped to concrete test cases that can be executed using simulation environments.Results: We discuss in detail on how to automatically convert ontologies to the corresponding combinatorial testing input models. Specifically, we present two conversion algorithms and compare their applicability using ontologies with different sizes. We also carried out a case study to further demonstrate the practical value of applying ontology-based test generation in industrial settings.Conclusion: The proposed approach for testing autonomous driving takes ontologies describing the environment of autonomous vehicles, and automatically converts it to test cases that are used in a simulation environment to verify automated driving functions. The conversion relies on combinatorial testing. The first experimental results relying on an example from the automotive industry indicates that the approach can be used in practice.

Use Cases for Assessing, Testing, and Validating the Human Machine Interface of Automated Driving Systems

From HMI to HMIs: Towards an HMI Framework for Automated Driving

How to Design Human-Vehicle Cooperation for Automated Driving: A Review of Use Cases, Concepts, and Interfaces

A taxonomy of validation strategies to ensure the safe operation of highly automated vehicles

Designing Human-Machine Interface for Autonomous Vehicles

A new Taxonomy for Automated Driving: Structuring Applications based on their Operational Design Domain, Level of Automation and Automation Readiness

Utility assessment in automated driving for cooperative human–machine systems

Creating Appropriate Trust in Automated Vehicle Systems: A Framework for HMI Design

Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems

How can humans understand their automated cars? HMI principles, problems and solutions

Navigating Dimensionality through State Machines in Automotive System Validation

The HADRIAN novel human–machine interface prototype for automated driving: safety and impact assessment

A Driver-Vehicle Model for ADS Scenario-based Testing

A Survey on Scenario-Based Testing for Automated Driving Systems in High-Fidelity Simulation

Human-Automation Interaction Through Shared and Traded Control Applications

A Needle in a Haystack -- How to Derive Relevant Scenarios for Testing Automated Driving Systems in Urban Areas

An Ontology-based Approach to Generate the Advanced Driver Assistance Use Cases of Highway Traffic.

A human factors approach to validating driver models for interaction-aware automated vehicles

Ontology-based test generation for automated and autonomous driving functions