18526593. COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR GENERATING TEST DATA FOR COMPUTER-IMPLEMENTED AUTOMATED DRIVING FUNCTIONS simplified abstract (Robert Bosch GmbH)
Contents
- 1 COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR GENERATING TEST DATA FOR COMPUTER-IMPLEMENTED AUTOMATED DRIVING FUNCTIONS
- 1.1 Organization Name
- 1.2 Inventor(s)
- 1.3 COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR GENERATING TEST DATA FOR COMPUTER-IMPLEMENTED AUTOMATED DRIVING FUNCTIONS - A simplified explanation of the abstract
- 1.4 Simplified Explanation
- 1.5 Key Features and Innovation
- 1.6 Potential Applications
- 1.7 Problems Solved
- 1.8 Benefits
- 1.9 Commercial Applications
- 1.10 Prior Art
- 1.11 Frequently Updated Research
- 1.12 Questions about Automated Driving Test Data Generation
- 1.13 Original Abstract Submitted
COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR GENERATING TEST DATA FOR COMPUTER-IMPLEMENTED AUTOMATED DRIVING FUNCTIONS
Organization Name
Inventor(s)
Lukas Koenig of Grossbottwar (DE)
Michael Messer of Adolzfurt (DE)
Michael Hanselmann of Korntal-Muenchingen (DE)
COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR GENERATING TEST DATA FOR COMPUTER-IMPLEMENTED AUTOMATED DRIVING FUNCTIONS - A simplified explanation of the abstract
This abstract first appeared for US patent application 18526593 titled 'COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR GENERATING TEST DATA FOR COMPUTER-IMPLEMENTED AUTOMATED DRIVING FUNCTIONS
Simplified Explanation
This patent application describes a method for generating test data for computer-implemented automated driving functions by analyzing software components with formal requirements.
Key Features and Innovation
- Provision of a computer-implemented automated driving function as a software component.
- Specification of an environment model with boundary conditions to limit the state space of the software component.
- Use of a model checker representation of the software component limited by the environment model.
- Application of a model checking method to analyze the software component's compliance with formal requirements.
- Generation of test data based on edge case parameters identified by the model checking method.
Potential Applications
This technology can be applied in the development and testing of automated driving systems to ensure compliance with formal requirements and improve safety.
Problems Solved
This method addresses the challenge of generating relevant test data for complex computer-implemented automated driving functions to identify edge cases that may lead to non-compliance with formal requirements.
Benefits
- Enhanced testing efficiency and accuracy for automated driving functions.
- Identification of edge cases that could potentially lead to non-compliance with formal requirements.
- Improved safety and reliability of automated driving systems.
Commercial Applications
Automotive companies and technology firms developing automated driving systems can utilize this technology to enhance the testing and validation process, ensuring compliance with safety standards and regulations.
Prior Art
Prior research in the field of automated driving systems and software testing may provide insights into similar methods for generating test data and analyzing compliance with formal requirements.
Frequently Updated Research
Ongoing research in the field of automated driving systems and software testing may lead to advancements in test data generation methods and compliance analysis techniques.
Questions about Automated Driving Test Data Generation
How does this method improve the testing process for automated driving functions?
This method enhances testing efficiency by analyzing software components with formal requirements to identify potential edge cases that may lead to non-compliance.
What are the key benefits of using this technology in the development of automated driving systems?
The key benefits include improved testing accuracy, identification of critical edge cases, and enhanced safety and reliability of automated driving functions.
Original Abstract Submitted
A computer-implemented method for generating test data for computer-implemented automated driving functions. The method includes: provision of a computer-implemented automated driving function in the form of a software component; specification of an environment model with boundary conditions that limit the state space of the software component; provision of a model checker representation of the software component that is limited by the environment model; specification of a formal requirement as an input for a model checking method; and application of the model checking method to the model checker representation to analyze the software component with respect to compliance with the specified formal requirement. If the specified formal requirement is not complied with, the model checking method provides the states and state transitions of the software component that contribute to non-compliance as edge case parameters. Based on the edge case parameters, test data are then generated.
