Method for supporting a safety-oriented system
AssigneeSiemens Aktiengesellschaft
InventorsEfthimios Liakos, Roland Porsch, Stefan Rothbauer, Martin Rothfelder, Michael Zanzinger, Hartmut Zeilmann
Life of this patent
Estimating the term…
Loading patent…
AssigneeSiemens Aktiengesellschaft
InventorsEfthimios Liakos, Roland Porsch, Stefan Rothbauer, Martin Rothfelder, Michael Zanzinger, Hartmut Zeilmann
Estimating the term…
At least one embodiment of the present invention relates to supporting a safety-oriented system, with the safety-oriented system including safety-critical software components and non-safety-critical software components. In this method, a possibility of a safety-critical software component and a non-safety-critical software component influencing each other is identified and a set of technical measures for preventing the possibility of influencing is defined. In this way, an absence of feedback from non-safety-critical software components to safety-critical software components is both verified and also ensured by at least one embodiment of the present invention.
A method for supporting a safety-oriented system, the safety-oriented system including safety-critical software components and non-safety-critical software components, the method comprising:
A computer processor, designed for supporting a safety-oriented system, the safety-oriented system including safety-critical software components and non-safety-critical software components, the processor being configured so as to at least:
Dependencies are inferred from the claim text.