MetaKernels and fault containment wrappers

This publication has 14 references indexed in Scilit:

• Executable assertions and timed traces for on-line software error detection
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Real-time queueing network theory
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Automated robustness testing of off-the-shelf software components
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1998
• Xception: a technique for the experimental evaluation of dependability in modern computers
  IEEE Transactions on Software Engineering, 1998
• Fault injection techniques and tools
  Computer, 1997
• Fixed priority pre-emptive scheduling: An historical perspective
  Real-Time Systems, 1995
• FINE: A fault injection and monitoring environment for tracing the UNIX system behavior under faults
  IEEE Transactions on Software Engineering, 1993
• The Delta-4 approach to dependability in open distributed computing systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• Concepts and experiments in computational reflection
  Published by Association for Computing Machinery (ACM) ,1987
• Executable assertions and flight software
  Published by American Institute of Aeronautics and Astronautics (AIAA) ,1984