Verification of cooperative transient fault diagnosis and recovery in critical embedded systems

@article{Aliouat2012VerificationOC,
  title={Verification of cooperative transient fault diagnosis and recovery in critical embedded systems},
  author={Zibouda Aliouat and Makhlouf Aliouat},
  journal={Int. Arab J. Inf. Technol.},
  year={2012},
  volume={9},
  pages={373-381}
}
The faults caused by ambient cosmic radiation are a growing threat to the dependability of advanced embedded computer systems. Maintaining availability and consistency in distributed applications is one of the fundamental attribute in building complex critical systems. To achieve this, a key factor is the ability to detect the fault and handle it by means of recovery. Such systems can use membership protocols designed to provide this function. The objective of membership protocol is to give all… CONTINUE READING