1

Future research in Resilience

Henry MucciniUniversity of L’Aquila, Italy Panel @SERENE 2012, 4th International Workshop on Software Engineering for Resilient Systems, 27-28 September 2012 - Pisa, Italy

Before (pretending to) forecast the near future

…Let us look at the present

[pictures taken from Google Images]

SERENEs

SERENE 2008 SERENE 2010 SERENE 2011 SERENE 2012

Analysis of SERENEs submissions

SOTA – from previous SERENE (1/2)

Architectures and components architecting resilient systems (through tactics, patterns or

via reconfiguration) Modeling for resilience: UML and formal, quantitative and qualitative

Analysis of resilience:

security, risk analysis, reliability Resilience through reconfiguration and self-*

SOTA – from previous SERENE (2/2)

Links between FT, Dependability, EH, and Resilience Resilience in domain specific applications (e.g., avionics, automotive, railways, robots, healtcare)

Industry experience and case study Monitoring as a driver for adaptation

Services Services for resilience and resilient services

Books on “resilient”

1469 results

Books on “resilient”, Computer Science

27 results

Books

2000 2009 2010 2011 2012

Adaptive, Dynamic, and Resilient Systems (Mobile Services and Systems) 

“on the approximately 1300 citations using the term resilient or resilience registered at DBLP, 90% appeared after 2000 and 75% in the last five years” [Guelfi, Central European J. of Computer Science 2011]

Projects

RESIST NoECompleted in 2008Jean Claude Laprie

ASSURE - Autonomic software-intensive systems: foundations of safety and resilience 2010-2013, Elena Troubitsyna

Dynamically Resilient SystemsGiovanna di Marzo Serugendo

(Other) Projects (somehow related)

https://www.tclouds-project.eu/

http://cordis.europa.eu/projects/rcn/85347_en.html

http://cordis.europa.eu/projects/rcn/85446_en.html

http://cordis.europa.eu/projects/rcn/87757_en.html

http://cordis.europa.eu/projects/rcn/88496_en.html

FR1_ bigger focus on resilience properties

“Resilience” as an engineering discipline, with its own taxonomy, properties, metrics

Not just talking about “resilient systems” Identify a clear taxonomy of what resilience is

about Define properties to make systems more resilient Define metrics

Define the “boundaries” and “scope” of resilience with respect to other disciplines

FR2_Resilience by Design

“The best we could do is to find a solution that works for now”

[picture taken from Google Images]

FR2_Resilience by DesignDaniel Jackson has written an article, Dependable Software by Design, on how software design tools can be used to improve the resilience of software.Corey Baswell: “The more critical dependencies our software has that are external and synchronous the less resilient it will be.” [http://soupinadeli.com/category/resilientsoftware/]

Work by Elena Troubitsyna et al.

Trade-off with other system attributes (cost, other qualities)

FR3_Resilience and Sustainability

Resilience is the persistence of the avoidance of failures that are unexpectedly frequent or severe, when facing change [Laprie]

Sustainability: “is the capacity to endure. For humans, sustainability is the long-term maintenance of responsibility, which has environmental, economic, and social dimensions” [Wikipedia]

“Sustainable Development” as development that… “meets the needs of the present without compromising the ability of future generations to meet their needs.”[UN World Commission on Environment and Development, 80’s]

In both cases, there is the concept of “time”

Time

• A broad spectrum of possible equilibrium state

• Not necessary all states are predicted

• Adaptive and evolving systems• impact of the system on the

environment• Challenge:

• Adaptation • Optimal performance in

different states• Minimize unwanted impact on

the environment

[Ivica Crncovik, SERENE 2011 keynote]

• 3 dimensions:• Environmental• Economic • Social

• Need for measurement• Need for trade-off • Challenge:

• measurement • Trade-off

“Resilient systems” “Sustainable systems”

FR4_Resilience within uncertaintyThe “certain world” assumption does not apply anymore [Garlan, 2011]

Research challenges:“Resilient systems: How can we engineer adaptive systems that provide appropriate behavior in the presence of unpredictable faults, resource variability and changing requirements? Are there ways to compose adaptation modules to achieve overall goals? Relevant work includes control theory, context-aware computing, and autonomic computing systems [6]. …”