Conference
Open access
2026
Data-Centric Lifecycle Integrity Validation for IEC 61508 Using Executable Documentation
The results show that lifecycle integrity can be evaluated as a structural property of the artifact graph, enabling early, machine-checkable detection of missing relations.
Padma Iyenghar, Christopher Zimmerman, C. Gregorio
· Proceedings of the 15th Inte... · 0 citations