METHOD AND SYSTEM FOR SECURE EXECUTION OF CONTROL APPLICATIONS, PROGRAM FLOW CONTROL DEVICE AND VERIFICATION DEVICE

• Main Authors: Sperl, Franz, Feist, Christian Peter, Pfau, Axel, Pyka, Stefan, Schneider, Daniel, Falk, Rainer
• Format: Patent
• Language: English; French; German
• Published: 30.11.2022
• Subjects: CALCULATING; COMPUTING; CONTROL OR REGULATING SYSTEMS IN GENERAL; CONTROLLING; COUNTING; ELECTRIC DIGITAL DATA PROCESSING; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS ORELEMENTS; PHYSICS; REGULATING

Für zumindest eine Steuerungsanwendung (113, 123) wird zumindest ein Ereignis festgelegt, das bei einer potentiellen Manipulation von der Steuerungsanwendung zugeordnetem Programmcode und/oder zumindest eines Peripheriegeräts (510), das an eine den Programmcode verarbeitende Programmablaufsteuerungseinrichtung (101, 102) angeschlossen ist, ausgelöst wird. Die Programmablaufsteuerungseinrichtung überwacht einen Ablauf der Steuerungsanwendung auf Abweichungen von einem erwarteten Ablaufverhalten und löst bei einer Abweichung das festgelegte Ereignis aus. Der Programmcode wird nach Auslösung des festgelegten Ereignisses weiter durch die Programmablaufsteuerungseinrichtung verarbeitet und das Ereignis wird an eine von der Programmablaufsteuerungseinrichtung separierte Überprüfungseinrichtung (300) gemeldet. Die Überprüfungseinrichtung überführt die Steuerungsanwendung und zu dieser in einem Abhängigkeitsverhältnis stehenden Steuerungskomponenten bei Erkennung eines entsprechend den Prüfregeln unzulässigen Ablaufverhaltens der Steuerungsanwendung in einen vordefinierten sicheren Betriebszustand. A system, inspection device and method for securely executing control applications, wherein at least one event is defined for at least one control application and the event is triggered upon potential manipulation of program code associated with the control application and/or of at least one peripheral connected to a program flow controller processing the program code, where the program flow controller monitors a flow of the control application for deviations from an expected flow behavior and triggers the defined event upon a deviation, following triggering of the defined event, the program code is processed further by the program flow controller and the event is reported to an inspection device separate from the program flow controller where the inspection device places the control application and control components with an interdependency thereon into a predefined safe operating state upon detecting a flow behavior of the control application that contravenes the inspection rules.