20240037012. COMPUTER-IMPLEMENTED METHOD FOR VERIFYING A 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 A SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION

Organization Name

Robert Bosch GmbH

Inventor(s)

Lukas Koenig of Grossbottwar (DE)

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

This abstract first appeared for US patent application 20240037012 titled 'COMPUTER-IMPLEMENTED METHOD FOR VERIFYING A 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 translating the native program code of the software component into a model checker representation and analyzing it using a model checking method. The native program code is limited to permissible operations defined by the programming language used. The code is converted into a finite automaton, where the states and state transitions are uniquely assigned to the code structure. The model checker representation is generated based on the finite automaton, retaining the code structure.

  • The method verifies a software component of an automated driving function.
  • It translates the native program code into a model checker representation.
  • The model checker representation is analyzed using a model checking method.
  • The native program code is limited to permissible operations defined by the programming language used.
  • The native program code is converted into a finite automaton.
  • The states and state transitions of the finite automaton are uniquely assigned to the code structure.
  • The model checker representation is generated based on the finite automaton, retaining the code structure.

Potential applications of this technology:

  • Verification of software components used in automated driving systems.
  • Ensuring the safety and reliability of automated driving functions.
  • Enhancing the trustworthiness of autonomous vehicles.

Problems solved by this technology:

  • Ensuring the correctness and reliability of software components in automated driving systems.
  • Addressing potential risks and hazards associated with automated driving functions.
  • Mitigating the possibility of software failures or errors in autonomous vehicles.

Benefits of this technology:

  • Improved safety and reliability of automated driving systems.
  • Enhanced trust in autonomous vehicles.
  • Reduced risks and hazards associated with software failures in automated driving functions.


Original Abstract Submitted

a computer-implemented method for verifying a software component of an automated driving function. the method includes: translating the native program code into a model checker representation of the software component to be verified and analyzing the model checker representation of the software component to be verified using a model checking method. the native program code of the software component to be verified is limited to a set of operations of the programming language used that are defined as permissible. to do this, the native program code is converted into a finite automaton, the states and state transitions of which can be uniquely assigned to the code structure of the native program code. the model checker representation is generated based on the finite automaton such that the code structure of the native program code is substantially retained when the native program code is translated into the model checker representation.

Retrieved from "http://wikipatents.org/index.php?title=20240037012._COMPUTER-IMPLEMENTED_METHOD_FOR_VERIFYING_A_SOFTWARE_COMPONENT_OF_AN_AUTOMATED_DRIVING_FUNCTION_simplified_abstract_(Robert_Bosch_GmbH)&oldid=30769"