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 条

[31] Research and implementation of COSIM run-time management platform
Wang, Jiang-Yun
Wang, Xing-Ren
Chai, Xu-Dong
[J]. Xitong Fangzhen Xuebao / Journal of System Simulation, 2002, 14 (05):
[32] Support for partial run-time reconfiguration of platform FPGAs
Silva, Miguel L.
Ferreira, Joao Canas
[J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2006, 52 (12) : 709 - 726
[33] A Secure and Reliable Coding Scheme over Wireless Links in Cyber-Physical Systems
Zhang, Zechen
Peng, Wei
Liu, Song
[J]. 2017 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS WORKSHOPS (ICC WORKSHOPS), 2017, : 1079 - 1085
[34] Towards an Inherently Secure Run-Time Environment for Medical Devices
Bresch, Cyril
Chollet, Stephanie
Hely, David
[J]. 2018 IEEE INTERNATIONAL CONGRESS ON INTERNET OF THINGS (ICIOT), 2018, : 140 - 147
[35] Run-time guarantees for real-time systems
Wilhelm, R
[J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 166 - 167
[36] Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec
Apvrille, Ludovic
Roudier, Yves
[J]. MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2015), 2015, 580 : 293 - 308
[37] Run-time analysis of time-critical systems
[J]. Cau, A. (cau@dmu.ac.uk), 2005, Elsevier (51)
[38] 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
[39] Run-time analysis of time-critical systems
Zhou, SK
Zedan, H
Cau, A
[J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2005, 51 (05) : 331 - 345
[40] Run-time requirements verification for reconfigurable systems
Chatzikonstantinou, George
Kontogiannis, Kostas
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2016, 75 : 105 - 121

← 1 2 3 4 5 →