scholarly journals DSP Soft Error Detection Based on Program Control Flow Integrity Checking

2015 ◽  
Vol 05 (04) ◽  
pp. 133-140
Author(s):  
国昌 周
Keyword(s):  
Error Detection ◽  
Control Flow ◽  
Soft Error ◽  
Program Control ◽  
Integrity Checking ◽  
Control Flow Integrity

scholarly journals An Investigation into Soft Error Detection Efficiency at Operating System Level

2014 ◽  
Vol 2014 ◽  
pp. 1-8 ◽  
Author(s):  
Seyyed Amir Asghari ◽  
Okyay Kaynak ◽  
Hassan Taheri
Keyword(s):  
Operating System ◽  
Error Detection ◽  
Detection Efficiency ◽  
Soft Errors ◽  
Control Flow ◽  
Soft Error ◽  
System Level ◽  
Occurrence Rate ◽  
Transient Errors ◽  
System Components

Electronic equipment operating in harsh environments such as space is subjected to a range of threats. The most important of these is radiation that gives rise to permanent and transient errors on microelectronic components. The occurrence rate of transient errors is significantly more than permanent errors. The transient errors, or soft errors, emerge in two formats: control flow errors (CFEs) and data errors. Valuable research results have already appeared in literature at hardware and software levels for their alleviation. However, there is the basic assumption behind these works that the operating system is reliable and the focus is on other system levels. In this paper, we investigate the effects of soft errors on the operating system components and compare their vulnerability with that of application level components. Results show that soft errors in operating system components affect both operating system and application level components. Therefore, by providing endurance to operating system level components against soft errors, both operating system and application level components gain tolerance.

scholarly journals HCIC: Hardware-Assisted Control-Flow Integrity Checking

2019 ◽  
Vol 6 (1) ◽  
pp. 458-471 ◽  
Author(s):  
Jiliang Zhang ◽  
Binhang Qi ◽  
Zheng Qin ◽  
Gang Qu
Keyword(s):  
Control Flow ◽  
Integrity Checking ◽  
Control Flow Integrity

Soft-error detection using control flow assertions

2004 ◽  
Author(s):  
O. Goloubeva ◽  
M. Rebaudengo ◽  
M. Sonza Reorda ◽  
M. Violante
Keyword(s):  
Error Detection ◽  
Control Flow ◽  
Soft Error

Control Flow Integrity Based on Lightweight Encryption Architecture

2018 ◽  
Vol 37 (7) ◽  
pp. 1358-1369 ◽  
Author(s):  
Pengfei Qiu ◽  
Yongqiang Lyu ◽  
Jiliang Zhang ◽  
Dongsheng Wang ◽  
Gang Qu
Keyword(s):  
Control Flow ◽  
Control Flow Integrity ◽  
Lightweight Encryption

scholarly journals Analyzing control flow integrity with LLVM-CFI

2019 ◽  
Author(s):  
Paul Muntean ◽  
Matthias Neumayer ◽  
Zhiqiang Lin ◽  
Gang Tan ◽  
Jens Grossklags ◽  
...  
Keyword(s):  
Control Flow ◽  
Control Flow Integrity

AN EFFECTIVE CONTROL FLOW CHECKING METHOD FOR MULTITASK PROCESSING IN HARSH ENVIRONMENTS

2013 ◽  
Vol 22 (08) ◽  
pp. 1350067 ◽  
Author(s):  
SEYYED AMIR ASGHARI ◽  
ATENA ABDI ◽  
OKYAY KAYNAK ◽  
HASSAN TAHERI ◽  
HOSSEIN PEDRAM
Keyword(s):  
Error Detection ◽  
Optimal Solution ◽  
Control Flow ◽  
Simultaneous Optimization ◽  
Harsh Environments ◽  
Effective Control ◽  
Power Performance ◽  
Single Event Upsets ◽  
Novel Method ◽  
And Performance

Electronic equipment used in harsh environments such as space has to cope with many threats. One major threat is the intensive radiation which gives rise to Single Event Upsets (SEU) that lead to control flow errors and data errors. In the design of embedded systems to be used in space, the use of radiation tolerant equipment may therefore be a necessity. However, even if the higher cost of such a choice is not a problem, the efficiency of such equipment is lower than the COTS equipment. Therefore, the use of COTS with appropriate measures to handle the threats may be the optimal solution, in which a simultaneous optimization is carried out for power, performance, reliability and cost. In this paper, a novel method is presented for control flow error detection in multitask environments with less memory and performance overheads as compared to other methods seen in the literature.

Sign in / Sign up

Export Citation Format

Share Document