Sökning: id:"swepub:oai:DiVA.org:ltu-84651" >
Towards formal ASM ...
Towards formal ASM semantics of timed control systems for industrial CPS
-
- Drozdov, Dmitrii (författare)
- Luleå tekniska universitet,Datavetenskap,Penza State University, Penza, Russian Federation
-
- Patil, Sandeep (författare)
- Luleå tekniska universitet,Datavetenskap
-
- Dubinin, Victor (författare)
- Penza State University, Penza, Russian Federation
-
visa fler...
-
- Vyatkin, Valeriy (författare)
- Luleå tekniska universitet,Datavetenskap,Aalto University, Helsinki, Finland
-
visa färre...
-
(creator_code:org_t)
- IEEE, 2019
- 2019
- Engelska.
-
Ingår i: Proceedings. - : IEEE. ; , s. 1682-1685
- Relaterad länk:
-
https://ltu.diva-por... (primary) (Raw object)
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- 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
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)