Achieving high integrity of process control software by graphical design and formal verification

Author

Halang, Wolfgang A. ; Krämer, Bernd

Author_Institution

Dept. of Comput. Sci., Groningen Univ., Netherlands

Volume

7

Issue

1

fYear

1992

fDate

1/1/1992 12:00:00 AM

Firstpage

53

Lastpage

64

Abstract

The International Electrotechnical Commission is 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. The authors present 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

control system CAD; graphical user interfaces; process computer control; program verification; programmable controllers; International Electrotechnical Commission; PLC software; compatible languages; diagrammatic notation; executable formal specification; formal verification; graphical design; graphical design techniques; graphical interface; interactive system; process control software; programmable logic controllers; rigorous proofs; semantics; software ICs; systematic software reuse;

fLanguage

English

Journal_Title

Software Engineering Journal

Publisher

iet

ISSN

0268-6961

Type

jour

Filename

124270