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 条

[11] Control Flow Integrity Based on Lightweight Encryption Architecture
Qiu, Pengfei
Lyu, Yongqiang
Zhang, Jiliang
Wang, Dongsheng
Qu, Gang
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2018, 37 (07) : 1358 - 1369
[12] Standard and ROM-based synthesis of FSMs with control flow checking capabilities
Wendling, X
Rochet, R
Leveugle, R
14TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS, 1996, : 81 - 86
[13] Time sensitive control flow checking for multitask operating system based SoCs
Vargas, Fabian
Piccoll, Leonardo
Benfica, Juliano
de Alecrim, Antonio A., Jr.
Moraes, Marlon
13TH IEEE INTERNATIONAL ON-LINE TESTING SYMPOSIUM PROCEEDINGS, 2007, : 93 - 98
[14] An improved CFCSS Control Flow Checking Algorithm
Wu, Yan-Xia
Gu, Guo-Chang
Wang, Ke-Hui
2007 INTERNATIONAL WORKSHOP ON ANTI-COUNTERFEITING, SECURITY, AND IDENTIFICATION, 2007, : 284 - +
[15] Algebraic techniques for the optimisation of control flow checking
Noubir, G
Choueiry, BY
PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 1996, : 128 - 137
[16] Control-flow checking by software signatures
Oh, N
Shirvani, PP
McCluskey, EJ
IEEE TRANSACTIONS ON RELIABILITY, 2002, 51 (01) : 111 - 122
[17] Survey of control flow checking using software
School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China
不详
Harbin Gongye Daxue Xuebao, 2008, 3 (407-412+482):
[18] Bipartite graph-based control flow checking for COTS-based small satellites
Wang Honghao
Wang Huiquan
Jin Zhonghe
Chinese Journal of Aeronautics, 2015, 28 (03) : 883 - 893
[19] Bipartite graph-based control flow checking for COTS-based small satellites
Wang Honghao
Wang Huiquan
Jin Zhonghe
CHINESE JOURNAL OF AERONAUTICS, 2015, 28 (03) : 883 - 893
[20] Bipartite graph-based control flow checking for COTS-based small satellites
Wang Honghao
Wang Huiquan
Jin Zhonghe
Chinese Journal of Aeronautics , 2015, (03) : 883 - 893

← 1 2 3 4 5 →