ABD tutorial: Robustness

Robustness is the ability of a system to react "in an appropriate way" in presence of unexpected events, such as transient faults occurring inside the design or modifying the expected behaviour of the environment. Robust systems design and qualification is a difficult issue requiring complex resources and methods. This session presents three approaches related to the design of robust systems. The first talk will introduce the problem of robustness for integrated systems and present a way to evaluate circuit\´s robustness by means of simulation campaigns. The second talk will present a method to quantify the robustness of a circuit by Bounded Model-Checking Techniques. The third talk will present a way to synthesize a system accepting some divergence on its environment.