EP3702947B1 - Method for Verifying at Runtime of a Hardware-Application Component a Current Configuration Setting of an Execution Environment Provided by a Configurable Hardware Module