Control Flow Checking and Recovering based on 8051 Architecture

被引：0

作者：

Gong Rui ^{[1
]}

Chen Wei ^{[1
]}

Liu Fang ^{[1
]}

Dai Kui ^{[1
]}

Wang Zhiying ^{[1
]}

机构：

[1] Natl Univ Def Technol, Sch Comp, Changsha 410073, Hunan, Peoples R China

来源：

APPLIED COMPUTING 2008, VOLS 1-3 | 2008年

关键词：

Control Flow Checking; Recovering; 8051; Architecture;

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

Control flow checking is a commonly used method to promote the fault tolerance of embedded systems. Conventional control flow checking by software signatures (CFCSS) imposes large overheads on code size and performance. A control flow checking scheme based on 8051 architecture, the control flow checking and recovering by compiler signatures and hardware checking (CFCCH) is proposed in this paper. Compared to CFCSS, the CFCCH is preferred to be implemented on the 8051 architectures to efficiently reduce code size and program execution time while keep the same fault tolerant ability.

引用

页码：1550 / 1551

页数：2

共 50 条

[1] Control flow checking and recovering by compiler signatures and hardware checking
Gong, Rui
Chen, Wei
Liu, Fang
Dai, Kui
Wang, Zhiying
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 46 (02): : 345 - 351
[2] Control flow checking algorithm based on virtual register
School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China
Yuhang Xuebao, 2007, 1 (183-187): : 183 - 187
[3] A Control Flow Integrity Checking Technique Based on Hardware Support
Li, Yang
Dai, Zibin
Li, Junwei
PROCEEDINGS OF 2018 IEEE 3RD ADVANCED INFORMATION TECHNOLOGY, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (IAEAC 2018), 2018, : 2617 - 2621
[4] Control Flow Checking Optimization Based On Regular Patterns Analysis
Zhu, Zhiqi
Callenes-Sloan, Joseph
Schafer, Benjamin Carrion
2018 IEEE 23RD PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2018, : 203 - 212
[5] Nonlinear Codes for Control Flow Checking
Di Natale, Giorgio
Keren, Osnat
2020 IEEE EUROPEAN TEST SYMPOSIUM (ETS 2020), 2020,
[6] Control flow checking in multitasking systems
Technical Univ of Budapest, Budapest, Hungary
Period Polytech Electr Eng, 1 (27-36):
[7] Control flow error checking with ISIS
Rodríguez, R
Serrano, JJ
EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2005, 3820 : 659 - 670
[8] Control Flow Checking or Not? (for Soft Errors)
Rhisheekesan, Abhishek
Jeyapaul, Reiley
Shrivastava, Aviral
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (01)
[9] Control Flow Checking at Virtual Edges
Liu, LiPing
Ci, LinLin
Liu, Wei
Yang, Hui
KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2017, 11 (01): : 396 - 413
[10] AN APPROACH TO CONCURRENT CONTROL FLOW CHECKING
YAU, SS
CHEN, FC
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (02) : 126 - 137

← 1 2 3 4 5 →