文摘
Fault Detection in Component-based Cloud Computing using the Acceptance Test. Detection of transient hardware faults, software faults, and response-time failures. Theoretical comparison between the proposed framework and the existent strategies. Application of the Acceptance Test framework on the case study: Fire Control System. The efficiency of the proposed strategy is proved using the model-checker.