Patent · US Active

Method and computer program for testing a technical system

US11734164B2 · kind B2 · utility

0Cited by

0References

8Claims

0Family size

Assignee

Robert Bosch GmbH · DE

Inventors

Arne Nordmann · Stuttgart, DE
Peter Munk · Stuttgart, DE
Andreas-Juergen Rohatschek · Wernau, DE
Eike Martin Thaden · Renningen, DE
Lydia Gauerhof · Sindelfingen, DE
Markus Schweizer · Lambach, DE

Key dates

Filing date	Jun 22, 2021
Grant date	Aug 22, 2023
Priority date	—
Expiry date	Dec 2, 2041

Classification

Technology area (CPC G)Physics
CPC primaryG06F11/3692
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

A method for testing a, in particular safety-relevant, technical system, in particular encompassing software. The system is represented by a model encompassing at least two or more components. An assumption of a respective component regarding the safety-relevant system, and a guarantee of a respective component to the safety-relevant technical system, are specified by a safety contract. Executable program code is generated based on at least one assumption and based on at least one guarantee. The safety-relevant technical system is tested by executing the program code.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.