CEDA: Control-Flow Error Detection Using Assertions

2011 ◽  
Vol 60 (9) ◽  
pp. 1233-1245 ◽  
Author(s):  
Ramtilak Vemu ◽  
Jacob Abraham
Keyword(s):  
Error Detection ◽  
Control Flow

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.

A New Hybrid Nonintrusive Error-Detection Technique Using Dual Control-Flow Monitoring

2014 ◽  
Vol 61 (6) ◽  
pp. 3236-3243 ◽  
Author(s):  
L. Parra ◽  
A. Lindoso ◽  
M. Portela-Garcia ◽  
L. Entrena ◽  
B. Du ◽  
...  
Keyword(s):  
Error Detection ◽  
Control Flow ◽  
Detection Technique ◽  
Dual Control ◽  
Flow Monitoring

scholarly journals Random Additive Control Flow Error Detection

2018 ◽  
pp. 220-234 ◽  
Author(s):  
Jens Vankeirsbilck ◽  
Niels Penneman ◽  
Hans Hallez ◽  
Jeroen Boydens
Keyword(s):  
Error Detection ◽  
Control Flow ◽  
Additive Control

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.

Sign in / Sign up

Export Citation Format

Share Document