Towards formal ASM semantics of timed control systems for industrial CPS

Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

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

1 Citation (Scopus)

Abstract

The growing need for smart and flexible systems in many areas of industry, such as manufacturing, smart grids, building automation systems and others, has resulted in new design approaches such as Cyber-physical systems (CPS). This raised the need for formal modelling of these systems to address reliability and robustness requirements. This paper addresses the problem of developing a formal semantics, based on abstract state machines (ASM), for modelling of distributed control systems for industrial CPS based on the IEC 61499 standard. The developed approach allows to build formal models of flexible distributed control systems for analysis and verification of various properties.

Original languageEnglish
Title of host publicationProceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019
PublisherIEEE
Pages1682-1685
Number of pages4
ISBN (Electronic)9781728103037
DOIs
Publication statusPublished - 1 Sep 2019
MoE publication typeA4 Article in a conference publication
EventIEEE International Conference on Emerging Technologies and Factory Automation - Zaragoza, Spain
Duration: 10 Sep 201913 Sep 2019
Conference number: 24

Publication series

NameProceedings IEEE International Conference on Emerging Technologies and Factory Automation
PublisherIEEE
ISSN (Print)1946-0740
ISSN (Electronic)2379-9560

Conference

ConferenceIEEE International Conference on Emerging Technologies and Factory Automation
Abbreviated titleETFA
CountrySpain
CityZaragoza
Period10/09/201913/09/2019

Keywords

  • Abstract state machines
  • ASM
  • CPS
  • Cyber-physical systems
  • Distributed control systems
  • Flexible manufacturing
  • Formal modelling
  • Function blocks
  • IEC 61499
  • Industrial control systems

Fingerprint Dive into the research topics of 'Towards formal ASM semantics of timed control systems for industrial CPS'. Together they form a unique fingerprint.

Cite this