Method for verifying an execution environment used for execution of at least one hardware-application provided by a configurable hardware module

US11783039B2 · kind B2 · utility

Assignee

• Siemens Aktiengesellschaft · DE

Inventors

• Hans Aschauer · Eferding, AT
• Rainer Falk · Poing, DE
• Christian Peter Feist · Ingolstadt, DE
• Steffen Fries · Baldham, DE
• Aliza Maftun · Munich, DE
• Hermann Seuschek · Munich, DE
• Thomas Zeschg · Munich, DE

Key dates

• Filing date: Feb 25, 2020
• Grant date: Oct 10, 2023
• Expiry date: Sep 19, 2040

Classification

• Technology area (CPC G): Physics
• CPC primary: G06F2221/034
• WIPO field: Computer technology
• WIPO sector: Electrical engineering

Abstract

A method for verifying an execution environment provided by a configurable hardware module, where the execution environment is used for execution of at least one hardware-application, includes receiving a hardware-application 16. The hardware-application includes configuration data describing an instantiation as a hardware-application component on the configurable hardware module. A received hardware-application is instantiated as the hardware-application component in the execution environment. The execution environment of the configurable hardware module that executes the hardware-application component in the respective execution environment is analyzed by an instantiated hardware-application component. The hardware application component communicates with a characterizing unit providing characterizing parameters for the execution environment of the configurable hardware module. The analyzed execution environment of the configurable hardware module is verified as admissible for execution of the hardware-application component if the analyzed execution environment matches the characterizing parameters provided by the characterizing unit.