Conference
Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application
Abstract
The trip computers for the two reactor shutdown systems of the Ontario Power Generation (OPG) Darlington Nuclear Power Generating Station (DNGS) are being refurbished due to hardware obsolescence. For one of the systems, the general purpose computer originally used is being replaced by a programmable logic controller (PLC). The trip computer application software has been rewritten using function block diagrams (FBDs), a commonly used PLC …
Authors
Newell J; Pang L; Tremaine D; Wassyng A; Lawford M
Series
Lecture Notes in Computer Science
Volume
9690
Pagination
pp. 206-220
Publisher
Springer Nature
Publication Date
2016
DOI
10.1007/978-3-319-40648-0_16
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743