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 条

[41] Towards Low Overhead Control Flow Checking Using Regular Structured Control
Zhu, Zhiqi
Callenes-Sloan, Joseph
PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2016, : 826 - 829
[42] APPROACH TO REAL-TIME CONTROL FLOW CHECKING.
Yau, S.S.
Chen, F.C.
Yau, K.H.
1978, : 163 - 168
[43] Checking security policies through an enhanced Control Flow Analysis
Bodei, Chiara
Degano, Pierpaolo
Priami, Corrado
JOURNAL OF COMPUTER SECURITY, 2005, 13 (01) : 49 - 85
[44] Fine Grained Control Flow Checking with Dedicated FPGA Monitors
Hoppe, Augusto
Becker, Juergen
Kastensmidt, Fernanda Lima
2020 IEEE 33RD INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE (SOCC), 2020, : 219 - 224
[45] Model Checking Control Flow Petri Nets Using PAT
Ho, Dung T.
Bui, Thang H.
Quan, Tho T.
PROCEEDINGS OF THE 2013 13TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS (ICCSA 2013), 2013, : 124 - 129
[46] Reconfigurable Dynamic Trusted Platform Module for Control Flow Checking
Das, Sanjeev
Zhang, Wei
Liu, Yang
2014 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI), 2014, : 167 - 172
[47] Quantitative Analysis of Control Flow Checking Mechanisms for Soft Errors
Shrivastava, Aviral
Rhisheekesan, Abhishek
Jeyapaul, Reiley
Wu, Carole-Jean
2014 51ST ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2014,
[48] Hybrid Control-Flow Checking with On-Line Statistics
Duricek, Maros
Krajcovic, Tibor
FOURTH EASTERN EUROPEAN REGIONAL CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS ECBS-EERC 2015, 2015, : 122 - 125
[49] An on-line control flow checking method for VLIW processor
Chen, Shuming
Hu, Xiao
Liu, Biwei
Chen, Jihua
13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2007, : 248 - 255
[50] Flow coefficient calculation of control valve and its opening checking
Cheng, Junqiao
Huagong Zidonghua Ji Yibiao/Control and Instruments in Chemical Industry, 24 (06): : 41 - 42

← 1 2 3 4 5 →