Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems
Department of Automation, Shanghai Jiao Tong University.
Googol Technology (Shenzhen) Ltd..
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.ORCID iD: 0000-0002-9315-9920
Department of Research and Development, Holobloc Inc., Cleveland, OH.
Show others and affiliations
2017 (English)In: IEEE Transactions on Systems, Man & Cybernetics. Systems, ISSN 2168-2216, E-ISSN 1349-2543Article in journal (Refereed) Epub ahead of print
Abstract [en]

Cyber-physical systems (CPSs) are becoming common in the industrial automation domain. In industrial CPS, distributed programmable logic controllers collaborate to control manufacturing plants. Design and analysis of such systems require a system model that covers control, computation, and communication with physical plant dynamics. This paper focuses on execution semantics for industrial CPS with the aim of providing a deterministic and platform-independent execution environment. A discrete-event-based execution semantics augmented with timestamp mechanism is proposed for IEC 61499 to provide deterministic behavior and guarantee compliance with real-time constraints for industrial CPS. The timestamped discrete-event-based execution semantics is implemented in an IEC 61499 runtime with service-enabled features. A case study of building automation system is used to prove the proposed semantics.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2017.
National Category
Computer Science
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-65706DOI: 10.1109/TSMC.2017.2736339OAI: oai:DiVA.org:ltu-65706DiVA: diva2:1142105
Available from: 2017-09-18 Created: 2017-09-18 Last updated: 2017-11-24

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Vyatkin, Valeriy
By organisation
Computer Science
In the same journal
IEEE Transactions on Systems, Man & Cybernetics. Systems
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 22 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf