Efficient Modelling with Logic-Labelled Finite-State Machines of IEC 61499 Function Blocks: Simulation, Execution and Verification

Vladimir Estivill-Castro, Miguel Carrillo, David Rosenblueth

2025

Abstract

As automation grows, so does the complexity of software systems. Hence, the urgent and pressing need for software verification, particularly for distributed systems, as they are notoriously difficult to verify. The widespread of verification techniques, such as model checking, however, have been hindered by requiring a significant level of expertise. In the realm of industrial automation, on the other hand, the IEC 61499 function block architecture has gained prominence for modelling intricate distributed automation systems, especially in demanding scenarios such as process control. However, it suffers from being event-driven, forcing semantic interpretations and the use of timed events by a central clock, to produce input for model checkers. We argue that this situation can be remedied by logic-labelled finite-state machines and control-status messages. This is the first time that these concepts have been used for producing executable and verifiable models of distributed systems for industrial automation with communication delays as is the current environment of application of the IEC 61499.

Paper Citation

in Harvard Style

Estivill-Castro V., Carrillo M. and Rosenblueth D. (2025). Efficient Modelling with Logic-Labelled Finite-State Machines of IEC 61499 Function Blocks: Simulation, Execution and Verification. In Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD; ISBN 978-989-758-729-0, SciTePress, pages 141-149. DOI: 10.5220/0013095200003896

in Bibtex Style

@conference{modelsward25,
author={Vladimir Estivill-Castro and Miguel Carrillo and David Rosenblueth},
title={Efficient Modelling with Logic-Labelled Finite-State Machines of IEC 61499 Function Blocks: Simulation, Execution and Verification},
booktitle={Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD},
year={2025},
pages={141-149},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013095200003896},
isbn={978-989-758-729-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD
TI - Efficient Modelling with Logic-Labelled Finite-State Machines of IEC 61499 Function Blocks: Simulation, Execution and Verification
SN - 978-989-758-729-0
AU - Estivill-Castro V.
AU - Carrillo M.
AU - Rosenblueth D.
PY - 2025
SP - 141
EP - 149
DO - 10.5220/0013095200003896
PB - SciTePress