-
Models and algorithms for failure diagnosis and recovery in FMS
Within the FMS framework, supervision has been introduced to take into account dependability objectives in FMS control. This paper focuses on two modeling lines used... -
On the Combination of Silent Error Detection and Checkpointing
In this paper, we revisit traditional checkpointing and rollback recovery strategies, with a focus on silent data corruption errors. Contrarily to fail-stop failures,... -
On the Combination of Silent Error Detection and Checkpointing
International audience
