Simulation of software behavior under hardware faults

This publication has 12 references indexed in Scilit:

• FOCUS: an experimental environment for validation of fault-tolerant systems-case study of a jet-engine controller
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• FIAT-fault injection based automated testing environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Two software techniques for on-line error detection
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• REACT: a synthesis and evaluation tool for fault-tolerant multiprocessor architectures
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Integrity S2: a fault-tolerant Unix platform
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Modeling and measurement of error propagation in a multimodule computing system
  IEEE Transactions on Computers, 1988
• Influence of workload on error recovery in random access memories
  IEEE Transactions on Computers, 1988
• CSIM
  Published by Association for Computing Machinery (ACM) ,1986
• Program Graphs and Execution Behavior
  IEEE Transactions on Software Engineering, 1983
• On describing the behavior and implementation of distributed systems
  Theoretical Computer Science, 1981