DATA PROCESSING APPARATUS AND METHOD IMPLEMENTING A SOFTWARE LOCKSTEP
A data processing apparatus (100) is configured to monitor the execution of a program code defining at least a portion of a software application using a software lockstep scheme. To this end, the data processing apparatus (100) is configured to: lift the program code based on a lockstep configuratio...
Saved in:
Main Author | |
---|---|
Format | Patent |
Language | English French |
Published |
22.06.2023
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | A data processing apparatus (100) is configured to monitor the execution of a program code defining at least a portion of a software application using a software lockstep scheme. To this end, the data processing apparatus (100) is configured to: lift the program code based on a lockstep configuration and a plurality of software lockstep program code templates; execute a first instance (111a) of the lifted program code; execute a second instance (111b) of the lifted program code substantially in parallel with the execution of the first instance (111a) of the lifted program code; and detect an inconsistency of the execution of the program code by comparing based on one or more comparison rules the execution of the first instance (111a) with the second instance (111b) of the lifted program code.
L'invention concerne un appareil de traitement de données (100) qui est configuré pour surveiller l'exécution d'un code de programme définissant au moins une portion d'une application logicielle en utilisant un schéma d'étape de verrouillage de logiciel. Pour ce faire, l'appareil de traitement de données (100) est configuré pour : lever le code de programme sur la base d'une configuration d'étape de verrouillage et d'une pluralité de modèles de code de programme d'étape de verrouillage de logiciel ; exécuter une première instance (111a) du code de programme levé ; exécuter une deuxième instance (111b) du code de programme levé sensiblement en parallèle avec l'exécution de la première instance (111a) du code de programme levé ; et détecter une incohérence de l'exécution du code de programme en comparant, sur la base d'une ou plusieurs règles de comparaison, l'exécution de la première instance (111a) avec la deuxième instance (111b) du code de programme levé. |
---|---|
Bibliography: | Application Number: WO2021EP85828 |