Soft-Error Detection Using Control Flow Assertions

13 years 10 months ago

Download www.cad.polito.it

Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In this paper, a software-based approach for developing safety-critical

O. Goloubeva, Maurizio Rebaudengo, Matteo Sonza Re

Real-time Traffic

DFT 2003 | Hardware | Safety-critical Tasks | Software-based Approach |

claim paper

» LowCost OnLine Fault Detection Using Control Flow Assertions

» Improving application security with data flow assertions

» OnLine Detection of ControlFlow Errors in SoCs by Means of an Infrastructure IP Core

» Executable Assertions for Detecting Data Errors in Embedded Control Systems

» TestTime RunTime and SimulationTime Temporal Assertions in RSP

» Control Flow Checking Algorithm using Softbased IntraInterblock AssignedSignature

» Detecting Selfmutating Malware Using ControlFlow Graph Matching

» Detective Information Flow Analysis for Business Processes

Post Info
More Details (n/a)

Added	04 Jul 2010
Updated	04 Jul 2010
Type	Conference
Year	2003
Where	DFT
Authors	O. Goloubeva, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante

Comments (0)

Sciweavers

Soft-Error Detection Using Control Flow Assertions

DFT 2003 | Hardware | Safety-critical Tasks | Software-based Approach |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers