18527122. COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR VERIFYING A SOFTWARE-BASED BEHAVIOR PLANNER OF AN AUTOMATED DRIVING FUNCTION simplified abstract (Robert Bosch GmbH)
COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR VERIFYING A SOFTWARE-BASED BEHAVIOR PLANNER OF AN AUTOMATED DRIVING FUNCTION
Organization Name
Inventor(s)
Lukas Koenig of Grossbottwar (DE)
Michael Hanselmann of Korntal-Muenchingen (DE)
Michael Messer of Adolzfurt (DE)
COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR VERIFYING A SOFTWARE-BASED BEHAVIOR PLANNER OF AN AUTOMATED DRIVING FUNCTION - A simplified explanation of the abstract
This abstract first appeared for US patent application 18527122 titled 'COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR VERIFYING A SOFTWARE-BASED BEHAVIOR PLANNER OF AN AUTOMATED DRIVING FUNCTION
The patent application describes a computer-implemented method for verifying a software-based behavior planner of an automated driving function.
- Verification environment model provided to limit state space of behavior planner based on traffic scene
- Formal requirement used as criterion for correctness of decisions
- Model checker representation generated considering verification environment model
- Analysis done using model checking procedure with respect to formal requirement
- Physically meaningful parameter interval determined for location and movement parameters of traffic scene participants
- Model checking procedure samples parameter interval to check behavior planner for various temporal and spatial developments of traffic scene
Potential Applications: - Autonomous vehicles - Traffic management systems - Safety-critical systems in transportation industry
Problems Solved: - Ensuring correctness and safety of automated driving functions - Limiting state space for efficient verification - Handling complex traffic scenarios effectively
Benefits: - Enhanced safety in automated driving - Improved reliability of behavior planners - Efficient verification process for software-based systems
Commercial Applications: Title: "Advanced Verification System for Automated Driving Functions" This technology can be utilized by automotive companies, transportation authorities, and software developers to enhance the safety and reliability of automated driving systems. It can also be integrated into traffic management solutions for improved efficiency and safety on the roads.
Prior Art: Prior research in the field of formal verification of software systems, particularly in the context of autonomous vehicles and traffic management, can provide valuable insights into similar approaches and methodologies.
Frequently Updated Research: Ongoing research in the field of formal methods for software verification, especially in the domain of autonomous driving, can provide updates on new techniques and tools for ensuring the correctness and safety of automated systems.
Questions about the technology: 1. How does the verification environment model help in limiting the state space of the behavior planner? 2. What are the key advantages of using a model checking procedure for verifying software-based behavior planners in automated driving functions?
Original Abstract Submitted
A computer-implemented method for verifying a software-based behavior planner of an automated driving function. The method includes: providing a verification environment model to limit the state space of the behavior planner according to a specifiable traffic scene; providing a formal requirement as a criterion for the correctness of decisions of the behavior planner; generating a model checker representation of the behavior planner taking into account the provided verification environment model; analyzing the model checker representation using a model checking procedure with respect to the formal requirement. The verification environment model is used to determine a physically meaningful parameter interval for at least one location parameter and/or movement parameter of the participants of the given traffic scene. The model checking procedure systematically samples the parameter interval and thus checks the behavior planner for a representative selection of the possible temporal and spatial developments of the given traffic scene.
