Conference
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS
Abstract
Many industrial control systems use programmable logic controllers (PLCs) since they provide a highly reliable, off-the-shelf hardware platform. On the programming side, function blocks (FBs) are reusable components provided by the PLC supplier that can be combined to implement the required system behaviour. A higher quality system may be realized if the FBs are pre-certified to be compliant with an international standard such as IEC 61131-3. …
Authors
Pang L; Wang C-W; Lawford M; Wassyng A
Series
Communications in Computer and Information Science
Volume
419
Pagination
pp. 125-141
Publisher
Springer Nature
Publication Date
2014
DOI
10.1007/978-3-319-05416-2_9
Conference proceedings
Communications in Computer and Information Science
ISSN
1865-0929