Towards formal ASM semantics of timed control systems for industrial CPS

• 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.

Subject headings

NATURVETENSKAP  -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Computer Sciences (hsv//eng)

Keyword

formal modelling

abstract state machines

cyber-physical systems

industrial control systems

flexible manufacturing

distributed control systems

IEC 61499

function blocks

CPS

ASM

Dependable Communication and Computation Systems

Kommunikations- och beräkningssystem

Publication and Content Type

ref (subject category)

kon (subject category)