Loading [a11y]/accessibility-menu.js
A model-driven engineering approach to formal verification of PLC programs | IEEE Conference Publication | IEEE Xplore

A model-driven engineering approach to formal verification of PLC programs


Abstract:

This paper presents a model-driven engineering approach to model and verify PLC programs written in Ladder Diagram. PLC and plant are modeled in FIACRE language according...Show More

Abstract:

This paper presents a model-driven engineering approach to model and verify PLC programs written in Ladder Diagram. PLC and plant are modeled in FIACRE language according to transformation models. A verification toolchain is built around FIACRE, in order to guarantee the satisfaction of generic and application-oriented properties. The potential of this approach and associated toolchain is tested on a PLC controlled pneumatic system. Transformation from Ladder Diagram to FIACRE models is described in details and verification of PLC alone or linked with a plant is discussed in the application context.
Published in: ETFA2011
Date of Conference: 05-09 September 2011
Date Added to IEEE Xplore: 24 October 2011
ISBN Information:

ISSN Information:

Conference Location: Toulouse, France

References

References is not available for this document.