Method and computer program for testing a technical system

Number of patents in Portfolio can not be more than 2000

United States of America Patent

PATENT NO 11734164
SERIAL NO

17354888

Stats

ATTORNEY / AGENT: (SPONSORED)

Importance

Loading Importance Indicators... loading....

Abstract

See full text

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.

Loading the Abstract Image... loading....

First Claim

See full text

Family

Loading Family data... loading....

Patent Owner(s)

  • 502 ROBERT BOSCH GMBH

International Classification(s)

  • [Classification Symbol]
  • [Patents Count]

Inventor(s)

Inventor Name Address # of filed Patents Total Citations
Gauerhof, Lydia Sindelfingen, DE 12 5
Munk, Peter Renningen, DE 14 8
Nordmann, Arne Stuttgart, DE 6 0
Rohatschek, Andreas-Juergen Wernau/Neckar, DE 23 88
Schweizer, Markus Vaihingen/Enz, DE 23 57
Thaden, Eike Martin Renningen, DE 4 1

Cited Art Landscape

Load Citation

Patent Citation Ranking

Forward Cite Landscape

Load Citation

Maintenance Fees

Fee Large entity fee small entity fee micro entity fee due date
3.5 Year Payment $1600.00 $800.00 $400.00 Feb 22, 2027
7.5 Year Payment $3600.00 $1800.00 $900.00 Feb 22, 2031
11.5 Year Payment $7400.00 $3700.00 $1850.00 Feb 22, 2035
Fee Large entity fee small entity fee micro entity fee
Surcharge - 3.5 year - Late payment within 6 months $160.00 $80.00 $40.00
Surcharge - 7.5 year - Late payment within 6 months $160.00 $80.00 $40.00
Surcharge - 11.5 year - Late payment within 6 months $160.00 $80.00 $40.00
Surcharge after expiration - Late payment is unavoidable $700.00 $350.00 $175.00
Surcharge after expiration - Late payment is unintentional $1,640.00 $820.00 $410.00