Closed-loop determinism for non-deterministic environments: verification for IEC 61499 logic controllers

Authors:
L. V. Allen;K. M. Goh;D. M. Tilbury
Affiliations:
Departments of Electrical Engineering, Systems and Mechanical Engineering, University of Michigan, Ann Arbor, MI;Singapore Institute of Manufacturing Technology;Departments of Electrical Engineering, Systems and Mechanical Engineering, University of Michigan, Ann Arbor, MI
Venue:
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Year:
2009

Citing 4
Cited 0

Modelling Distributed Control Systems Using IEC 61499

Modelling Distributed Control Systems Using IEC 61499
Progress on the State Explosion Problem in Model Checking

Informatics - 10 Years Back. 10 Years Ahead.
IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design

IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design
Toward Real-Time Distributed Intelligent Control: A Survey of Research Themes and Applications

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews

Quantified Score

Hi-index	0.00

Visualization

Abstract

Verification of logic controllers can identify errors during the design stage so they can be remedied and prevent some faults from occurring once the system is running. Input order robustness is the property that multiple inputs arriving in a variety of orders, and regardless of the order, produce the same set of outputs and same final state. Verifying this property ensures determinism of the closed-loop system even if the environment is non-deterministic. Because use of the IEC 61499 standard for distributed control is becoming more widespread, we present the application of input order robustness verification to controllers implemented in this formalism. Open issues with IEC 61499 execution semantics are presented and discussed in relation to input order robustness verification.