Towards a unified framework for Cyber-Physical Systems (CPS)

Kaiyu Wan; K. L. Man; D. Hughes

doi:10.1109/CDEE.2010.63

Towards a unified framework for Cyber-Physical Systems (CPS)

Kaiyu Wan^*, K. L. Man, D. Hughes

^*Corresponding author for this work

Xi'an Jiaotong-Liverpool University

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

9 Citations (Scopus)

Abstract

Cyber-Physical Systems (CPS) integrate computation with physical processes. By merging computing and communication with physical processes CPS allows computer systems to monitor and interact with the physical world. However, today's computing and networking abstractions do not adequately reflect the properties of the physical world. This shortcoming necessitates the development of effective methods and tools for analyzing and designing CPS. This paper analyzes the limitation of the current tools and method and proposes a unified framework for designing, simulating, and verifying CPS.

Original language	English
Title of host publication	Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010
Publisher	IEEE Computer Society
Pages	292-295
Number of pages	4
ISBN (Print)	9780769543321
DOIs	https://doi.org/10.1109/CDEE.2010.63
Publication status	Published - 2010

Publication series

Name	Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010

Keywords

Analyzing
Cyber-Physical Systems
Specification

Access to Document

10.1109/CDEE.2010.63

Cite this

Wan, K., Man, K. L., & Hughes, D. (2010). Towards a unified framework for Cyber-Physical Systems (CPS). In Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010 (pp. 292-295). Article 5759327 (Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010). IEEE Computer Society. https://doi.org/10.1109/CDEE.2010.63

Wan, Kaiyu ; Man, K. L. ; Hughes, D. / Towards a unified framework for Cyber-Physical Systems (CPS). Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010. IEEE Computer Society, 2010. pp. 292-295 (Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010).

@inproceedings{bdf291ecf2ba499d94334df1fde77197,

title = "Towards a unified framework for Cyber-Physical Systems (CPS)",

abstract = "Cyber-Physical Systems (CPS) integrate computation with physical processes. By merging computing and communication with physical processes CPS allows computer systems to monitor and interact with the physical world. However, today's computing and networking abstractions do not adequately reflect the properties of the physical world. This shortcoming necessitates the development of effective methods and tools for analyzing and designing CPS. This paper analyzes the limitation of the current tools and method and proposes a unified framework for designing, simulating, and verifying CPS.",

keywords = "Analyzing, Cyber-Physical Systems, Specification",

author = "Kaiyu Wan and Man, {K. L.} and D. Hughes",

year = "2010",

doi = "10.1109/CDEE.2010.63",

language = "English",

isbn = "9780769543321",

series = "Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010",

publisher = "IEEE Computer Society",

pages = "292--295",

booktitle = "Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010",

}

Wan, K, Man, KL & Hughes, D 2010, Towards a unified framework for Cyber-Physical Systems (CPS). in Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010., 5759327, Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010, IEEE Computer Society, pp. 292-295. https://doi.org/10.1109/CDEE.2010.63

Towards a unified framework for Cyber-Physical Systems (CPS). / Wan, Kaiyu; Man, K. L.; Hughes, D.
Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010. IEEE Computer Society, 2010. p. 292-295 5759327 (Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010).

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

TY - GEN

T1 - Towards a unified framework for Cyber-Physical Systems (CPS)

AU - Wan, Kaiyu

AU - Man, K. L.

AU - Hughes, D.

PY - 2010

Y1 - 2010

N2 - Cyber-Physical Systems (CPS) integrate computation with physical processes. By merging computing and communication with physical processes CPS allows computer systems to monitor and interact with the physical world. However, today's computing and networking abstractions do not adequately reflect the properties of the physical world. This shortcoming necessitates the development of effective methods and tools for analyzing and designing CPS. This paper analyzes the limitation of the current tools and method and proposes a unified framework for designing, simulating, and verifying CPS.

AB - Cyber-Physical Systems (CPS) integrate computation with physical processes. By merging computing and communication with physical processes CPS allows computer systems to monitor and interact with the physical world. However, today's computing and networking abstractions do not adequately reflect the properties of the physical world. This shortcoming necessitates the development of effective methods and tools for analyzing and designing CPS. This paper analyzes the limitation of the current tools and method and proposes a unified framework for designing, simulating, and verifying CPS.

KW - Analyzing

KW - Cyber-Physical Systems

KW - Specification

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

U2 - 10.1109/CDEE.2010.63

DO - 10.1109/CDEE.2010.63

M3 - Conference Proceeding

AN - SCOPUS:79959225578

SN - 9780769543321

T3 - Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010

SP - 292

EP - 295

BT - Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010

PB - IEEE Computer Society

ER -

Wan K, Man KL, Hughes D. Towards a unified framework for Cyber-Physical Systems (CPS). In Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010. IEEE Computer Society. 2010. p. 292-295. 5759327. (Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010). doi: 10.1109/CDEE.2010.63

Towards a unified framework for Cyber-Physical Systems (CPS)

Abstract

Publication series

Keywords

Access to Document

Other files and links

Cite this