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
Time-stamped event based execution semantics for industrial cyber-physical systems
University of Auckland, Shanghai Jiao Tong University.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.ORCID iD: 0000-0002-9315-9920
Department of Electrical and Computer System Engineering, University of Auckland, University of Auckland, Department of Electrical and Computer Engineering, Shanghai Jiao Tong University.
Rockwell Automation Advanced Technologies, Mayfield Heights, Holobloc Inc., Cleveland Heigths.
2015 (English)In: IEEE 13th International Conference on Industrial Informatics (INDIN), 2015: Cambridge, United Kingdom, 22-24 July 2015, Piscataway, NJ: IEEE Communications Society, 2015, p. 1263-1268, article id 7281916Conference paper, Published paper (Refereed)
Abstract [en]

Cyber-physical systems show their impacts in many areas including industrial automation. Design and analysis of cyber-physical automation systems requires an integral model that takes into account tight coordination of control, communication and physical plants dynamics, thus creating a new research domain, namely industrial cyber-physical systems. This paper proposes a new execution semantics for the IEC 61499 standard that is based on the concepts of discrete-event systems augmented with timestamping of events to guarantee real-time constraints for industrial cyber-physical systems. The proposed execution semantics is implemented in an IEC 61499 execution environment and a case study on building automation systems is used to verify the results.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2015. p. 1263-1268, article id 7281916
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-31258DOI: 10.1109/INDIN.2015.7281916Scopus ID: 2-s2.0-84949484267Local ID: 562e0043-1583-46dc-85c2-69b593e1d897ISBN: 9781479966493 (electronic)OAI: oai:DiVA.org:ltu-31258DiVA, id: diva2:1004491
Conference
IEEE International Conference on Industrial Informatics : 22/07/2015 - 24/07/2015
Note
Validerad; 2016; Nivå 1; 20151221 (andbra)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2018-07-10Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Vyatkin, Valeriy

Search in DiVA

By author/editor
Vyatkin, Valeriy
By organisation
Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 11 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