Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations

Valeriy Vyatkin; Cheng Pang; Stavros Tripakis

doi:10.1109/IECON.2015.7392389

Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations

Valeriy Vyatkin
, Cheng Pang
, Stavros Tripakis

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

14 Citations (Scopus)

Abstract

This paper addresses software design for cyber-physical automation systems that enables invariant properties of the physical system in case of software reallocation to different hardware. The proposed approach is based on the distributed reference architecture of IEC 61499 standard enhanced with a time-stamping mechanism. It is demonstrated that the proposed approach complements the abilities of IEC 61499 to maintain correct causality of distributed system execution with improved performance of physical system property called cyber-physical agnosticism. The time-stamped event semantics of IEC 61499 is introduced and mapped to the PTIDES execution model of Ptolemy II. We have experimentally validated that changing the model of computation in distributed automation to a time-stamped event-driven one can bring substantial improvements in flexibility and reconfigurability of cyber-physical automation systems.

Original language	English
Title of host publication	IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society
Publisher	IEEE
Pages	1970-1975
Number of pages	6
ISBN (Print)	9781479917624
DOIs	https://doi.org/10.1109/IECON.2015.7392389
Publication status	Published - 25 Jan 2016
MoE publication type	A4 Conference publication
Event	Annual Conference of the IEEE Industrial Electronics Society - Yokohama, Japan Duration: 9 Nov 2015 → 12 Nov 2015 Conference number: 41 http://iecon2015.com/

Conference

Conference	Annual Conference of the IEEE Industrial Electronics Society
Abbreviated title	IECON
Country/Territory	Japan
City	Yokohama
Period	09/11/2015 → 12/11/2015
Internet address	http://iecon2015.com/

Keywords

distributed automation
IEC 61499
PTIDES
Ptolemy II
time-stamped events

Access to Document

10.1109/IECON.2015.7392389

Cite this

@inproceedings{f4640407bdec4653817ebe0ceb7ff6e1,

title = "Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations",

abstract = "This paper addresses software design for cyber-physical automation systems that enables invariant properties of the physical system in case of software reallocation to different hardware. The proposed approach is based on the distributed reference architecture of IEC 61499 standard enhanced with a time-stamping mechanism. It is demonstrated that the proposed approach complements the abilities of IEC 61499 to maintain correct causality of distributed system execution with improved performance of physical system property called cyber-physical agnosticism. The time-stamped event semantics of IEC 61499 is introduced and mapped to the PTIDES execution model of Ptolemy II. We have experimentally validated that changing the model of computation in distributed automation to a time-stamped event-driven one can bring substantial improvements in flexibility and reconfigurability of cyber-physical automation systems.",

keywords = "distributed automation, IEC 61499, PTIDES, Ptolemy II, time-stamped events",

author = "Valeriy Vyatkin and Cheng Pang and Stavros Tripakis",

year = "2016",

month = jan,

day = "25",

doi = "10.1109/IECON.2015.7392389",

language = "English",

isbn = "9781479917624",

pages = "1970--1975",

booktitle = "IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society",

publisher = "IEEE",

address = "United States",

note = "Annual Conference of the IEEE Industrial Electronics Society, IECON ; Conference date: 09-11-2015 Through 12-11-2015",

url = "http://iecon2015.com/",

}

Vyatkin, V, Pang, C & Tripakis, S 2016, Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations. in IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society., 7392389, IEEE, pp. 1970-1975, Annual Conference of the IEEE Industrial Electronics Society, Yokohama, Japan, 09/11/2015. https://doi.org/10.1109/IECON.2015.7392389

Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations. / Vyatkin, Valeriy; Pang, Cheng; Tripakis, Stavros.
IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. IEEE, 2016. p. 1970-1975 7392389.

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

T1 - Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations

AU - Vyatkin, Valeriy

AU - Pang, Cheng

AU - Tripakis, Stavros

N1 - Conference code: 41

PY - 2016/1/25

Y1 - 2016/1/25

N2 - This paper addresses software design for cyber-physical automation systems that enables invariant properties of the physical system in case of software reallocation to different hardware. The proposed approach is based on the distributed reference architecture of IEC 61499 standard enhanced with a time-stamping mechanism. It is demonstrated that the proposed approach complements the abilities of IEC 61499 to maintain correct causality of distributed system execution with improved performance of physical system property called cyber-physical agnosticism. The time-stamped event semantics of IEC 61499 is introduced and mapped to the PTIDES execution model of Ptolemy II. We have experimentally validated that changing the model of computation in distributed automation to a time-stamped event-driven one can bring substantial improvements in flexibility and reconfigurability of cyber-physical automation systems.

AB - This paper addresses software design for cyber-physical automation systems that enables invariant properties of the physical system in case of software reallocation to different hardware. The proposed approach is based on the distributed reference architecture of IEC 61499 standard enhanced with a time-stamping mechanism. It is demonstrated that the proposed approach complements the abilities of IEC 61499 to maintain correct causality of distributed system execution with improved performance of physical system property called cyber-physical agnosticism. The time-stamped event semantics of IEC 61499 is introduced and mapped to the PTIDES execution model of Ptolemy II. We have experimentally validated that changing the model of computation in distributed automation to a time-stamped event-driven one can bring substantial improvements in flexibility and reconfigurability of cyber-physical automation systems.

KW - distributed automation

KW - IEC 61499

KW - PTIDES

KW - Ptolemy II

KW - time-stamped events

UR - https://www.scopus.com/pages/publications/84973130359

U2 - 10.1109/IECON.2015.7392389

DO - 10.1109/IECON.2015.7392389

M3 - Conference article in proceedings

SN - 9781479917624

SP - 1970

EP - 1975

BT - IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society

PB - IEEE

T2 - Annual Conference of the IEEE Industrial Electronics Society

Y2 - 9 November 2015 through 12 November 2015

ER -

Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this