Formalization of resilience for constraint-based dynamic systems

摘要

Many researchers in different fields are interested in building resilient systems that can absorb shocks and recover from damages caused by unexpected large-scale events. Existing approaches mainly focus on the evaluation of the resilience of systems from a qualitative point of view, or pay particular attention to some domain-dependent aspects of the resilience. In this paper, we introduce a very general, abstract computational model rich enough to represent a large class of constraint-based dynamic systems. Taking our inspiration from the literature, we propose a simple parameterized property which captures the main features of resilience independently from a particular application domain, and we show how to assess the resilience of a constraint-based dynamic system through this new resilience property.