A C/C++ Source-to-Source compiler for dependable applications

Proceedings of the 2002 International Conference on Dependable Systems and Networks

Volumn , Issue , 2000, Pages 71-78

  Benso, A ^a   Chiusano, S ^a   Prinetto, P ^a   Tagliaferri, L ^a  

^a POLITECNICO DI TORINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CODE MODIFICATIONS; MICROPROCESSOR REGISTERS; SOURCE CODE;

ALGORITHMS; AUTOMATION; C (PROGRAMMING LANGUAGE); COMPUTER AIDED SOFTWARE ENGINEERING; DATA STORAGE EQUIPMENT; ERROR DETECTION; MICROCOMPUTERS; PROGRAM DIAGNOSTICS; SHIFT REGISTERS; SOFTWARE PROTOTYPING;

PROGRAM COMPILERS;

EID: 0034590511     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICDSN.2000.857517     Document Type: Conference Paper

References (15)

1. A. M. Amendola, A. Benso, F. Corno, L. Impagliazzo, P. Marmo, P. Prinetto, M. Rebaudengo, M. Sonza Reorda, Fault Behavior Observation of a Microprocessor System through a VHDL Simulation-Based Fault Injection Experiment, EURO-VHDL'96, September 1996, Geneva (CH), pp. 536-541.
2. J. G. Silva, J. Carreira, H. Madeira, D. Costa, F. Moreira, Experimental Assessment of Parallel Systems, Proc. FTCS-26, Sendaj (J), 1996, pp. 415-424
3. M. Zenha Rela, H. Madeira, J. G. Silva, Experimental Evaluation of the Fail-Silent Behavior in Programs with Consistency Checks, Proc. FTCS-26, Sendaj (J), 1996, pp. 394-403
4. K. H. Huang, J.A. Abraham, Algorithm-Based Fault Tolerance for Matrix Operations, IEEE Trans. Computers, vol. 33, Dec 1984, pp. 518-528.
5. V. Strumpen, Portable and Fault-Tolerant Software Systems, IEEE Micro, September-October 1998, pp. 22-32
6. K. Wilken, J.P. Shen, "Continuous Signature Monitoring: Low-Cost Concurrent-Detection of Processor Control errors", IEEE Transaction on Computer Aided Design, vol. 9, No. 6, pp. 629-641, June 1990
7. H. Madeira, J.G. Silva, "On-line Signature Learning and Checking", Dependable Computing for Critical Applications 2, Springer-Verlag, pp. 395-420, 1992
8. D.J. Lu, "Watchdog Processor and Structural Integrity Checking", IEEE Transaction on Computers, vol. C-31, No. 7, pp. 681-685, July 1982
9. J.H. Patel et al., "Concurrent Error Detection in ALUs by Recomputing with Shifted Operands", IEEE Transaction on Computers, vol. C-31, No. 7, pp. 589-595, July 1982
10. Y.M. Hsu et al., "Time redundancy for error detecting neural networks", Proc. IEEE Int. Conf. on Wafer Scale Integration, pp. 111-121, Jan. 1995
11. V. Strumpen, Portable and Fault-Tolerant Software Systems, IEEE Micro, September-October 1998, pp. 22-32
12. M. Rebaudengo, M. Sonza Reorda, M. Torchiano, M. Violante, Soft-error Detection through Software Fault-Tolerance techniques, DFT'99: IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, November 1-3, 1999 - Albuquerque, New Mexico, USA, pp. 210-218
13. M. Weiser, Program Sliceing, IEEE Transaction on Software Engineering, vol. SE-10, No. 4, July 1984, pp 352-357
14. S. Horwitz, T. Reps, D. Binkley, Interprocedural Slicing using Dependence Graphs I, ACM Transactions on Programming Languages and Systems, Vol. 12, No. 1, January 1990
15. ftp://ftp.sra.co.jp/.a/pub/cmd/c++grammar2.0.tar.gz