A Reliable, Safe, and Secure Run-Time Platform for Cyber Physical Systems

被引：0

作者：

Lim, Sung-Soo ^{[1
]}

Im, Eun-Jin ^{[1
]}

Dutt, Nikil ^{[2
]}

Lee, Kyung Woo ^{[3
]}

Shin, Insik ^{[4
]}

Lee, Chang-Gun ^{[5
]}

Lee, Insup ^{[6
]}

机构：

[1] Kookmin Univ, Sch Comp Sci, Seoul, South Korea

[2] Univ Calif Irvine, Dept Comp Sci, Irvine, CA USA

[3] Yonsei Univ, Dept Comp Sci, Seoul 120749, South Korea

[4] Korea Adv Inst Sci & Technol, Dept Comp Sci, Daejeon, South Korea

[5] Seoul Natl Univ, Sch Comp Engn, Seoul, South Korea

[6] Univ Penn, CIS Dept, Philadelphia, PA 19104 USA

来源：

2013 IEEE SIXTH INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED COMPUTING AND APPLICATIONS (SOCA) | 2013年

关键词：

cyber physical systems; virtualization; run-time platform; system-on-chip;

D O I：

10.1109/SOCA.2013.65

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper introduces a global research collaboration project performed by a Korean-USA research group. The project aims at designing and implementing a run-time platform for reliable, safe, and secure cyber physical systems (CPS). The project consists of layered sub-projects including SoC design for reliable systems, virtualized software architecture for dynamically upgradable systems, and middleware architecture for safety critical networked applications. This paper describes the objectives of each sub-project and the current accomplishments.

引用

页码：268 / 274

页数：7

共 50 条

[1] A Platform for Run-time Health Verification of Elastic Cyber-physical Systems
Moldovan, Daniel
Hong-Linh Truong
[J]. 2016 IEEE 24TH INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS AND SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS), 2016, : 379 - 384
[2] Software Rejuvenation for Safe Operation of Cyber-Physical Systems in the Presence of Run-Time Cyberattacks
Romagnoli, Raffaele
Krogh, Bruce H.
de Niz, Dionisio
Hristozov, Anton D.
Sinopoli, Bruno
[J]. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2023, 31 (04) : 1565 - 1580
[3] A survey on run-time supporting platforms for cyber physical systems
Sun, Yuan
Yang, Gang
Zhou, Xing-she
[J]. FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING, 2017, 18 (10) : 1458 - 1478
[4] A survey on run-time supporting platforms for cyber physical systems
Yuan SUN
Gang YANG
Xing-she ZHOU
[J]. Frontiers of Information Technology & Electronic Engineering, 2017, 18 (10) : 1458 - 1478
[5] A survey on run-time supporting platforms for cyber physical systems
Yuan Sun
Gang Yang
Xing-she Zhou
[J]. Frontiers of Information Technology & Electronic Engineering, 2017, 18 : 1458 - 1478
[6] A run-time verification method with consideration of uncertainties for cyber-physical systems
Mehrabian, Mohammadreza
Khayatian, Mohammad
Shrivastava, Aviral
Derler, Patricia
Andrade, Hugo
[J]. MICROPROCESSORS AND MICROSYSTEMS, 2023, 101
[7] Securing Industrial Cyber-Physical Systems: A Run-Time Multilayer Monitoring
Khan, Muhammad Taimoor
Tomic, Ivana
[J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2021, 17 (09) : 6251 - 6259
[8] Safe and secure cyber-physical systems
Biro, Miklos
Mashkoor, Atif
Sametinger, Johannes
[J]. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2021, 33 (09)
[9] Editorial: Secure and Safe MetaControl for Cyber Physical Systems
Han, Qing-Long
[J]. IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2023, 10 (12) : 2177 - 2178
[10] Using Run-Time Checking to Provide Safety and Progress for Distributed Cyber-Physical Systems
Bak, Stanley
Abad, Fardin Abdi Taghi
Huang, Zhenqi
Caccamo, Marco
[J]. 2013 IEEE 19TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), 2013, : 287 - 296

← 1 2 3 4 5 →