Back to results
US 2026/0147971 A1Published application
Verification techniques for embedded systems
OwnerJoerg Bormann, Raik Brinkmann +1inventors
InventorsJoerg Bormann, Raik Brinkmann, Dominik Strasser
Life of this patent
Estimating the term…
Abstract
A computer-implemented method of verifying an embedded system includes verifying a first firmware component of the embedded system together with a hardware model code of a hardware component of the embedded system, wherein the first firmware component is embedded in a converted code, wherein the converted code is interoperable with the hardware model code provided in a hardware description language.
Claims24
A computer-implemented method of verifying an embedded system, the method comprising:
- verifying a first firmware component of the embedded system together with a hardware model code of a hardware component of the embedded system,
- wherein the first firmware component is embedded in a converted code, and
- wherein the converted code is interoperable with the hardware model code provided in a hardware description language.
-24. (canceled)
A firmware comprising:
- one or more first firmware components of an embedded system for communicating with one or more hardware components associated with the one or more first firmware components and for communicating with a second firmware component,
- wherein each first firmware component of the one or more first firmware components comprises a first interface for communicating with the second firmware component of the embedded system and a second interface for communicating with the hardware component of the embedded system,
- wherein the embedded system is configured to verify each first firmware component together with a hardware model code of a respective hardware component of the one or more hardware components,
- wherein each first firmware component is embedded in a converted code, and
- wherein the converted code is interoperable with the hardware model code provided in a hardware description language.
2 more elements
(canceled)
An embedded system comprising:
- a firmware having one or more first firmware components, at least one second firmware component, and one or more hardware components,
- wherein each first firmware component of the one or more first firmware components comprises a first interface for communicating with the second firmware component of the embedded system and a second interface for communicating with the hardware component of the embedded system,
- wherein the embedded system is configured to verify each first firmware component together with a hardware model code of a respective hardware component of the one or more hardware components,
- wherein each first firmware component is embedded in a converted code, and wherein the converted code is interoperable with the hardware model code provided in a hardware description language.
1 more element
Dependencies are inferred from the claim text.