Composition challenges and approaches for cyber physical systems

Kaiyu Wan; Danny Hughes; Ka Lok Man; Tomas Krilavičius

doi:10.1109/NESEA.2010.5678065

Composition challenges and approaches for cyber physical systems

Kaiyu Wan^*, Danny Hughes, Ka Lok Man, Tomas Krilavičius

^*Corresponding author for this work

Vytautas Magnus University

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

27 Citations (Scopus)

Abstract

A wide variety of programming abstractions have been developed for cyber-physical systems. These approaches provide support for the composition of cyber-physical systems from generic units of application functionality. This paper surveys the current state-of-the-art in composition mechanisms for cyber physical systems and reviews each approach in terms of its support for composition analysis, re-use and adaptation. We then review approaches for modeling and verifying cyber-physical application compositions and conclude by proposing promising research directions that will address these shortcomings.

Original language	English
Title of host publication	2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010
DOIs	https://doi.org/10.1109/NESEA.2010.5678065
Publication status	Published - 2010
Event	1st IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010 - Suzhou, China Duration: 25 Nov 2010 → 26 Nov 2010

Publication series

Name	2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010

Conference

Conference	1st IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010
Country/Territory	China
City	Suzhou
Period	25/11/10 → 26/11/10

Keywords

Composition mechanisms
Cyber physical systems
Programming paradigms

Access to Document

10.1109/NESEA.2010.5678065

Cite this

Wan, K., Hughes, D., Man, K. L., & Krilavičius, T. (2010). Composition challenges and approaches for cyber physical systems. In 2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010 Article 5678065 (2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010). https://doi.org/10.1109/NESEA.2010.5678065

@inproceedings{1bb2e63d0fe14fe39f918a6f23f092ed,

title = "Composition challenges and approaches for cyber physical systems",

abstract = "A wide variety of programming abstractions have been developed for cyber-physical systems. These approaches provide support for the composition of cyber-physical systems from generic units of application functionality. This paper surveys the current state-of-the-art in composition mechanisms for cyber physical systems and reviews each approach in terms of its support for composition analysis, re-use and adaptation. We then review approaches for modeling and verifying cyber-physical application compositions and conclude by proposing promising research directions that will address these shortcomings.",

keywords = "Composition mechanisms, Cyber physical systems, Programming paradigms",

author = "Kaiyu Wan and Danny Hughes and Man, {Ka Lok} and Tomas Krilavi{\v c}ius",

year = "2010",

doi = "10.1109/NESEA.2010.5678065",

language = "English",

isbn = "9781424491773",

series = "2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010",

booktitle = "2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010",

note = "1st IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010 ; Conference date: 25-11-2010 Through 26-11-2010",

}

Wan, K, Hughes, D, Man, KL & Krilavičius, T 2010, Composition challenges and approaches for cyber physical systems. in 2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010., 5678065, 2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010, 1st IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010, Suzhou, China, 25/11/10. https://doi.org/10.1109/NESEA.2010.5678065

Composition challenges and approaches for cyber physical systems. / Wan, Kaiyu; Hughes, Danny; Man, Ka Lok et al.
2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010. 2010. 5678065 (2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010).

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

TY - GEN

T1 - Composition challenges and approaches for cyber physical systems

AU - Wan, Kaiyu

AU - Hughes, Danny

AU - Man, Ka Lok

AU - Krilavičius, Tomas

PY - 2010

Y1 - 2010

N2 - A wide variety of programming abstractions have been developed for cyber-physical systems. These approaches provide support for the composition of cyber-physical systems from generic units of application functionality. This paper surveys the current state-of-the-art in composition mechanisms for cyber physical systems and reviews each approach in terms of its support for composition analysis, re-use and adaptation. We then review approaches for modeling and verifying cyber-physical application compositions and conclude by proposing promising research directions that will address these shortcomings.

AB - A wide variety of programming abstractions have been developed for cyber-physical systems. These approaches provide support for the composition of cyber-physical systems from generic units of application functionality. This paper surveys the current state-of-the-art in composition mechanisms for cyber physical systems and reviews each approach in terms of its support for composition analysis, re-use and adaptation. We then review approaches for modeling and verifying cyber-physical application compositions and conclude by proposing promising research directions that will address these shortcomings.

KW - Composition mechanisms

KW - Cyber physical systems

KW - Programming paradigms

UR - http://www.scopus.com/inward/record.url?scp=79951495661&partnerID=8YFLogxK

U2 - 10.1109/NESEA.2010.5678065

DO - 10.1109/NESEA.2010.5678065

M3 - Conference Proceeding

AN - SCOPUS:79951495661

SN - 9781424491773

T3 - 2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010

BT - 2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010

T2 - 1st IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010

Y2 - 25 November 2010 through 26 November 2010

ER -

Wan K, Hughes D, Man KL, Krilavičius T. Composition challenges and approaches for cyber physical systems. In 2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010. 2010. 5678065. (2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2010). doi: 10.1109/NESEA.2010.5678065

Composition challenges and approaches for cyber physical systems

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this