FT-PIP: Flush Task Incorporated Priority-Inheritance Protocol to Reduce Information Leakage on Multiprocessor Real-Time Systems

被引:2
作者
Baek, Hyeongboo [1 ]
Lee, Jinkyu [2 ]
机构
[1] Incheon Natl Univ, Dept Comp Sci & Engn, Incheon 22012, South Korea
[2] Sungkyunkwan Univ, Dept Comp Sci & Engn, Suwon 16419, South Korea
基金
新加坡国家研究基金会;
关键词
Task analysis; Real-time systems; Security; Protocols; Scheduling; Scheduling algorithms; Program processors; Real-time scheduling; multiprocessor systems; flush task incorporated priority-inheritance protocol; information leakage; PERIODIC TASKS; SECURITY; ALGORITHMS; ATTACKS;
D O I
10.1109/ACCESS.2021.3086304
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In a traditional real-time system, the major requirement is to finish every real-time task within its predefined time. However, as a modern real-time system is connected to external networks and its subsystems are developed by different vendors, it becomes an important requirement to address the problem of information leakage on resources shared by different real-time tasks. This triggers studies that incorporate security mechanisms into the real-time scheduling. While it is one of the most well-known approaches to add the flush task (FT) mechanism and analyze its effect on timing guarantees, the existing FT approaches have been limited to a real-time system that employs at most one resource shared by real-time tasks executed on a uniprocessor platform. In this paper, we propose a flush task incorporated priority-inheritance protocol (FT-PIP) for global fixed-priority multiprocessor scheduling and develop its schedulability analysis, which is the first attempt that not only (a) supports timing guarantees but also (b) satisfies security constraints for (c) a multiprocessor platform with multiple shared resources. Via simulations, we demonstrate that FT-PIP and its schedulability analysis are effective in achieving both (a) and (b) for (c).
引用
收藏
页码:81882 / 81894
页数:13
相关论文
共 38 条
[1]   Laser satellite communication network - Vibration effect and possible solutions [J].
Arnon, S ;
Kopeika, NS .
PROCEEDINGS OF THE IEEE, 1997, 85 (10) :1646-1661
[2]  
Baek H., 2018, P C KOR I MIL SCI TE P C KOR I MIL SCI TE, P1231
[3]   Improved schedulability analysis of the contention-free policy for real-time systems [J].
Baek, Hyeongboo ;
Lee, Jinkyu .
JOURNAL OF SYSTEMS AND SOFTWARE, 2019, 154 :112-124
[4]   Preemptive Real-Time Scheduling Incorporating Security Constraint for Cyber Physical Systems [J].
Baek, Hyeongboo ;
Lee, Jaewoo ;
Lee, Yongjae ;
Yoon, Hyunsoo .
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2016, E99D (08) :2121-2130
[5]  
BAKER TP, 1990, PROCEEDINGS : 11TH REAL-TIME SYSTEMS SYMPOSIUM, P191, DOI 10.1109/REAL.1990.128747
[6]  
Baruah S. K., 1993, Proceedings of the Twenty-Fifth Annual ACM Symposium on the Theory of Computing, P345, DOI 10.1145/167088.167194
[7]   ALGORITHMS AND COMPLEXITY CONCERNING THE PREEMPTIVE SCHEDULING OF PERIODIC, REAL-TIME TASKS ON ONE PROCESSOR [J].
BARUAH, SK ;
ROSIER, LE ;
HOWELL, RR .
REAL-TIME SYSTEMS, 1990, 2 (04) :301-324
[8]   Response-time analysis for globally scheduled symmetric multiprocessor platforms [J].
Bertogna, Marko ;
Cirinei, Michele .
RTSS 2007: 28TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2007, :149-158
[9]  
Chen CY, 2019, IEEE REAL TIME, P90, DOI [10.1109/HPCC/SmartCity/DSS.2019.00028, 10.1109/RTAS.2019.00016]
[10]   A Clustering-Based Coverage Path Planning Method for Autonomous Heterogeneous UAVs [J].
Chen, Jinchao ;
Du, Chenglie ;
Zhang, Ying ;
Han, Pengcheng ;
Wei, Wei .
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2022, 23 (12) :25546-25556