Control-flow checking via regular expressions

Proceedings of the Asian Test Symposium

Volumn , Issue , 2001, Pages 299-303

  Benso, Alfredo ^a   Di Carlo, Stefano ^a   Di Natale, Giorgio ^a   Prinetto, Paolo ^a   Tagliaferri, Luca ^a  

^a POLITECNICO DI TORINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAM LISTINGS; CONSTRAINT THEORY; DATA STORAGE EQUIPMENT; EMBEDDED SYSTEMS; ERROR DETECTION; ONLINE SYSTEMS; PROGRAM PROCESSORS; SOFTWARE ENGINEERING;

AUTONOMOUS SIGNATURE MONITORING; CONTROL FLOW CHECKING; EMBEDDED SIGNATURE MONITORING; INTERPROCESS COMMUNICATION; SOFTWARE REDUNDANCY TECHNIQUES; WATCHDOG PROCESSORS;

DATA FLOW ANALYSIS;

EID: 0035703680     PISSN: 10817735     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. An approach to concurrent control flow checking
2. Design of microprocessors with built-in on-line test
3. Concurrent error detection using watchdog processor - A survey
4. Techniques for concurrent testing of VLSI processor operation
5. Experimental evaluation of two concurrent error detection schemes
6. Continuous signature monitoring: Low-cost concurrent detection of processor errors
7. On-line signature learning and checking
8. A new approach to control flow checking without program modification
9. Concurrent process monitoring with no reference signatures
10. Use of time and address signatures for control flow checking
11. Control flow in pipelined RISC microprocessor: The motorola MC88100 case study
12. Two software techniques for on-line error detection
13. Design and evaluation of system-level checks for on-line control flow error detection
14. BOND: An interposition agents based fault injector for windows NT