Distributed Real-Time Software for Cyber-Physical Systems

被引：102

作者：

Eidson, John C. ^{[1
]}

Lee, Edward A. ^{[1
]}

Matic, Slobodan ^{[1
]}

Seshia, Sanjit A. ^{[1
]}

Zou, Jia ^{[1
]}

机构：

[1] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA

来源：

PROCEEDINGS OF THE IEEE | 2012年 / 100卷 / 01期

基金：

美国国家科学基金会;

关键词：

Analysis and verification; cyber-physical systems; distributed systems and networking; embedded software; modeling; real-time systems; DESIGN;

D O I：

10.1109/JPROC.2011.2161237

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

Real-time embedded software today is commonly built using programming abstractions with little or no temporal semantics. This paper addresses this problem by presenting a programming model called programming temporally integrated distributed embedded systems (PTIDES) that serves as a coordination language for model-based design of distributed real-time embedded systems. Specifically, the paper describes the principles of PTIDES, which leverages network time synchronization to provide a determinate distributed real-time semantics. We show how PTIDES can function as a coordination language, orchestrating components that may be designed and specified using different formalisms. We show the use of this environment in the design of interesting and practical cyber-physical systems, such as a power plant control system.

引用

页码：45 / 59

页数：15

共 50 条

[1] Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems
Hoang-Dung Tran
Luan Viet Nguyen
Musau, Patrick
Xiang, Weiming
Johnson, Taylor T.
[J]. FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2019), 2019, 11535 : 261 - 277
[2] Real-Time Scheduling in Cyber-Physical Systems
Chen, Yanwen
Chen, Yixiang
[J]. CONTROL ENGINEERING AND APPLIED INFORMATICS, 2011, 13 (03): : 41 - 50
[3] Reconfigurable Real-Time Middleware for Distributed Cyber-Physical Systems with Aperiodic Events
Zhang, Yuanfang
Gill, Christopher
Lu, Chenyang
[J]. 28TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, VOLS 1 AND 2, PROCEEDINGS, 2008, : 581 - 588
[4] Secure Reboots for Real-Time Cyber-Physical Systems
Banerjee, Vijay
Hounsinou, Sena
Olufowobi, Habeeb
Hasan, Monowar
Bloom, Gedare
[J]. PROCEEDINGS OF THE 4TH WORKSHOP ON CPS & IOT SECURITY AND PRIVACY, CPSIOTSEC 2022, 2022, : 27 - 33
[5] Real-time Communication for Manufacturing Cyber-Physical Systems
Ngoc-Tu Nguyen
Leu, Ming C.
Liu, Xiaoqing Frank
[J]. 2017 IEEE 16TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), 2017, : 241 - 244
[6] Real-time Internet of things and cyber-physical systems
Park, Kyung-Joon
Kang, Kyungtae
Wang, Qixin
Lee, Dongeun
[J]. TRANSACTIONS ON EMERGING TELECOMMUNICATIONS TECHNOLOGIES, 2019, 30 (04)
[7] Preface: Critical and real-time cyber-physical systems
Brito, Alisson
Barreto, Raimundo da Silva
de Oliveira, Romulo Silva
Silva, Ivan Saraiva
[J]. INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2016, 8 (5-6) : 365 - 367
[8] Real-time detection of deception attacks in cyber-physical systems
Cai, Feiyang
Koutsoukos, Xenofon
[J]. INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2023, 22 (05) : 1099 - 1114
[9] A Systematic Security Analysis of Real-Time Cyber-Physical Systems
Easwaran, Arvind
Chattopadhyay, Anupam
Bhasin, Shivam
[J]. 2017 22ND ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2017, : 206 - 213
[10] Real-time detection of deception attacks in cyber-physical systems
Feiyang Cai
Xenofon Koutsoukos
[J]. International Journal of Information Security, 2023, 22 : 1099 - 1114

← 1 2 3 4 5 →