Can we rely on COTS microkernels for building fault-tolerant systems?

This publication has 9 references indexed in Scilit:

• Mach: a system software kernel
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Comparing operating systems using robustness benchmarks
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The ELEKTRA railway signalling system: field experience with an actively replicated system with diversity
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Safety-critical systems built with COTS
  Computer, 1996
• On micro-kernel construction
  ACM SIGOPS Operating Systems Review, 1995
• Architectural principles for safety-critical real-time applications
  Proceedings of the IEEE, 1994
• The Amoeba distributed operating system — A status report
  Computer Communications, 1991
• Fault injection for dependability validation: a methodology and some applications
  IEEE Transactions on Software Engineering, 1990
• The Delta-4 approach to dependability in open distributed computing systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988