Monitoring design pattern for distributed automation systems in IEC 61499 and its formal modelling

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

1 Citation (Scopus)
113 Downloads (Pure)


This paper addresses the challenge of achieving reliable and predictable operation of flexible and modular pro-duction systems with distributed control and potentially wireless communication. Such systems are envisaged as common in the future Industry 4.0 production facilities. A software design pattern is proposed to implement online monitoring of requirements. The IEC 61499 architecture is selected as the implementation platform and its benefits are essentially used by utilisation of the adapter interface mechanism. The paper also outlines a pathway to designing and verifying the monitors based on formal methods.

Original languageEnglish
Title of host publication2022 IEEE 31st International Symposium on Industrial Electronics, ISIE 2022
Number of pages6
ISBN (Electronic)978-1-6654-8240-0
Publication statusPublished - 2022
MoE publication typeA4 Conference publication
EventInternational Symposium on Industrial Electronics - Anchorage, United States
Duration: 1 Jun 20223 Jun 2022

Publication series

NameProceedings of the IEEE International Symposium on Industrial Electronics
ISSN (Print)2163-5137
ISSN (Electronic)2163-5145


ConferenceInternational Symposium on Industrial Electronics
Abbreviated titleISIE
Country/TerritoryUnited States


  • Agent-based approach
  • Monitoring
  • Production planning
  • Service computing


Dive into the research topics of 'Monitoring design pattern for distributed automation systems in IEC 61499 and its formal modelling'. Together they form a unique fingerprint.

Cite this