Achieving high integrity of process control software by graphical design and formal verification
- 1 January 1992
- journal article
- Published by Institution of Engineering and Technology (IET) in Software Engineering Journal
- Vol. 7 (1) , 53-64
- https://doi.org/10.1049/sej.1992.0006
Abstract
The International Electrotechnical Commission is currently standardising four compatible languages for designing and implementing programmable logic controllers (PLCs). The language family includes a diagrammatic notation that supports the idea of software ICs to encourage graphical design techniques and systematic software reuse. This paper presents an interactive system with a graphical interface for constructing and validating PLC software. The semantics of a graphical design is defined by a mapping associating each design with an executable formal specification. The specification provides the basis for rigorous proofs and early tests of critical properties of a new design. A realistic example illustrates these features.Keywords
This publication has 1 reference indexed in Scilit:
- Prototyping and formal analysis of concurrent and distributed systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002