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 条

[21] Secure Coding for Real-Time Embedded Systems: Cert Run-Time Profile for Ada
Benjamin, Mable
[J]. 2016 IEEE CYBERSECURITY DEVELOPMENT (IEEE SECDEV 2016), 2016, : 71 - 72
[22] Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems
Gu, Rong
Moezkarimi, Zahra
Sirjani, Marjan
[J]. FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2024, 2024, 14678 : 230 - 238
[23] A Framework for Run-time Reconfigurable Systems
Michael Eisenring
Marco Platzner
[J]. The Journal of Supercomputing, 2002, 21 : 145 - 159
[24] Run-time support for distributed sharing in safe languages
Hu, YC
Yu, WM
Cox, A
Wallach, D
Zwaenepoel, W
[J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 2003, 21 (01): : 1 - 35
[25] Invited Talk: A Roadmap for Engineering Safe and Secure Cyber-Physical Systems
Egyed, Alexander
[J]. NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 113 - 114
[26] Safe kernel extensions without run-time checking
Necula, GC
Lee, P
[J]. PROCEEDINGS OF THE SECOND SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION (OSDI '96), 1996, : 229 - 243
[27] Reprogramming Embedded Systems at Run-Time
Oliver, Richard
Wilde, Adriana
Zaluska, Ed
[J]. INTERNATIONAL JOURNAL ON SMART SENSING AND INTELLIGENT SYSTEMS, 2014, 7 (05):
[28] Type-safe run-time polytypic programming
Weirich, Stephanie
[J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2006, 16 : 681 - 710
[29] A Protocol for Secure Remote Update of Run-time Partially Reconfigurable Systems Based on FPGA
Tran Thanh
Tran Hoang Vu
Nguyen Van Cuong
Pham Ngoc Nam
[J]. 2013 INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND INFORMATION SCIENCES (ICCAIS), 2013,
[30] A framework for run-time reconfigurable systems
Eisenring, M
Platzner, M
[J]. JOURNAL OF SUPERCOMPUTING, 2002, 21 (02): : 145 - 159

← 1 2 3 4 5 →