GUARDS: a generic upgradable architecture for real-time dependable systems

This publication has 39 references indexed in Scilit:

• Durable memory RS/6000 system design
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Optimal multiple syndrome probabilistic diagnosis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• PVS: Combining specification, proof checking, and model checking
  Published by Springer Nature ,1996
• Fault injection and dependability evaluation of fault-tolerant systems
  IEEE Transactions on Computers, 1993
• Applying new scheduling theory to static priority pre-emptive scheduling
  Software Engineering Journal, 1993
• The End Of The Line For Static Cyclic Scheduling?
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1993
• Fault injection for dependability validation: a methodology and some applications
  IEEE Transactions on Software Engineering, 1990
• A new fault-tolerant algorithm for clock synchronization
  Information and Computation, 1988
• Synchronizing clocks in the presence of faults
  Journal of the ACM, 1985
• Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System
  IEEE Transactions on Computers, 1982