20240037015. COMPUTER-IMPLEMENTED METHOD FOR VERIFYING AT LEAST ONE SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION simplified abstract (Robert Bosch GmbH)

From WikiPatents
Jump to navigation Jump to search

COMPUTER-IMPLEMENTED METHOD FOR VERIFYING AT LEAST ONE SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION

Organization Name

Robert Bosch GmbH

Inventor(s)

Christian Heinzemann of Vellmar (DE)

Lukas Koenig of Grossbottwar (DE)

COMPUTER-IMPLEMENTED METHOD FOR VERIFYING AT LEAST ONE SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION - A simplified explanation of the abstract

This abstract first appeared for US patent application 20240037015 titled 'COMPUTER-IMPLEMENTED METHOD FOR VERIFYING AT LEAST ONE SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION

Simplified Explanation

The abstract describes a computer-implemented method for verifying a software component used in automated driving functions. The method involves the following steps:

  • Providing an environment model that limits the state space of the software component to be verified by predefined boundary conditions. The environment model is provided in the form of a native environment model program code.
  • Translating the native program code of the software component and the environment model program code. This generates a model checker representation that is limited by the boundary conditions of the environment model and is intended for the software component to be verified.
  • Verifying the model checker representation using a model checking method.

Potential applications of this technology:

  • Verification of software components used in automated driving functions.
  • Testing and validation of software components in the automotive industry.
  • Quality assurance and safety verification in autonomous vehicles.

Problems solved by this technology:

  • Ensures the correctness and reliability of software components used in automated driving functions.
  • Reduces the risk of software failures and errors in autonomous vehicles.
  • Provides a systematic and efficient method for verifying complex software systems.

Benefits of this technology:

  • Enhances the safety and reliability of automated driving functions.
  • Reduces the time and effort required for software verification and validation.
  • Enables the development of more advanced and sophisticated autonomous vehicles.
  • Provides a standardized and systematic approach to software verification in the automotive industry.


Original Abstract Submitted

a computer-implemented method for verifying at least one software component of an automated driving function. the method includes the following steps: providing an environment model that limits the state space of the software component to be verified by way of predefinable boundary conditions, wherein the environment model is provided in the form of a native environment model program code; translating the native program code of the software component to be verified and the environment model program code, wherein a model checker representation limited by the boundary conditions of the environment model and intended for the software component to be verified is generated; and verifying the model checker representation using a model checking method.

Retrieved from "http://wikipatents.org/index.php?title=20240037015._COMPUTER-IMPLEMENTED_METHOD_FOR_VERIFYING_AT_LEAST_ONE_SOFTWARE_COMPONENT_OF_AN_AUTOMATED_DRIVING_FUNCTION_simplified_abstract_(Robert_Bosch_GmbH)&oldid=30770"