An interlocking data safe conversion method for formal verification and a translator. Two translators with same functions are developed by adopting different programming methods and programming languages. An input file of each of the translators at least comprises an interlocking information table in interlocking data, a device interface information table, a station yard description data and interlocking Boolean logic data. Consistency of output files of the two translators is compared to realize detection process failure.
INTERLOCKING DATA SAFE CONVERSION METHOD FOR FORMAL VERIFICATION AND TRANSLATOR
04.07.2024
Patent
Elektronische Ressource
Englisch
Interlocking data safe conversion method for formal verification and translator
| Europäisches Patentamt | 2025
SAFE INTERLOCKING DATA CONVERSION METHOD FOR FORMAL VERIFICATION AND TRANSLATOR
| Europäisches Patentamt | 2025
Formal Methods for Industrial Interlocking Verification
| IEEE | 2018
Interlocking Formal Verification at Alstom Signalling
| Springer Verlag | 2019
Interlocking Formal Verification at Alstom Signalling
| British Library Conference Proceedings | 2019