Design-driven development methodology for resilient computing
Quentin Enard, Miruna Stoicescu, Émilie Balland, Charles Consel, Laurence Duchien, Jean-Charles Fabre, Matthieu Roy · 2013
Resilient computing is defined as the ability of a system to stay dependable when facing changes. To mitigate faults at runtime, dependable systems are augmented with fault tolerance mechanisms such as replication techniques. These mechanisms have to be systematically and rigorously applied in order to guarantee the conformance between the application runtime behavior and its dependability requirements.