Click on a search word OR use the drop-down choices to search for a paper.

Show all

2016

Newell, Joshua; Pang, Linna; Tremaine, David; Wassyng, Alan; Lawford, Mark

Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application Inproceedings

In: NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings, pp. 206–220, Springer 2016.

BibTeX | Tags: formal specification, function block diagrams, IEC 61131-3, PVS, safety critical systems, tabular expressions

2015

Pang, Linna

An Engineering Methodology for the Formal Verification of Function Block Based Systems PhD Thesis

McMaster University, 2015.

Abstract | Links | BibTeX | Tags: function blocks (FBs), IEC 61131-3, PLCs

Pang, Linna; Wang, Chen-Wei; Lawford, Mark; Wassyng, Alan

Formal verification of function blocks applied to IEC 61131-3 Journal Article

In: Science of Computer Programming, vol. 113, no. Part 2, pp. 149–190, 2015.

BibTeX | Tags: critical systems, formal verification, function blocks, IEC 61131-3, tabular expression

Pang, Linna; Wang, Chen-Wei; Lawford, Mark; Wassyng, Alan; Newell, Josh; Chow, Vera; Tremaine, David

Formal Verification of Real-Time Function Blocks Using PVS Inproceedings

In: 4th International Workshop on Engineering Safety and Security Systems 2015 (ESSS’15), pp. 65–79, Electronic Proceedings in Theoretical Computer Science 2015.

BibTeX | Tags: formal verification, function blocks, IEC 61131-3, safety-critical systems, software certification