Resilience: a brief view on the state of the art

1

A “SERENE” overview of the SOTA on Engineering

Resilient SystemsHenry Muccini

University of L’Aquila, Italy (www.henrymuccini.com, @muccinihenry)

Dagstuhl Seminar 13022 "Engineering Resilient Systems: Models, Methods and Tools“, January 2013

http://www.henrymuccini.com/

Before (pretending to) forecast the near future

…Let us look at the present

[pictures taken from Google Images]

SERENE workshops Organized by the SERENE ERCIM working group In cooperation with ACM SIGSOFT

Editions: 1st edition in 2008

But inheriting the experience gotten with RISE and EFTS 5th edition in 2013

October 3-4, Kyiv, Ukraine LNCS proceedings Submission deadline: June 5, 2013

SERENE

SERENE 2008 SERENE 2010 SERENE 2011 SERENE 2012

Nicolas Guelfi Henry Muccini Patrizio PelliccioneAlexander Romanovsky

GC: G. Di Marzo SerugendoPC chair: J. S. Fitzgerald

GC: Didier Buchs

PC chair: Elena Troubitsyna

GC: Felicita Di Giandomenico PC Chair: Paris Avgeriou

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” [N. Guelfi, Central European J. of Computer Science 2011]

ProjectsRESIST 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

MOVERE: Model Driven Validation and Verification of Resilient Software Systems

N.Guelfi

(Other) Projects (somehow related)

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

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




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





Indeed, this is a very limited view on the SOTA on software engineering for resilient systems

It would be nice to run a full SLR on the topic…

However, it is not trivial:- resilient, resilience -> changing, evolving, updating- Term used in non sw communities-

ACM-The Guide search engine includes allThe articles retrievable from ACM Portal Digital Library,IEEE Computer Society,and Elsevier.

http://goo.gl/5n65J

FUTURE RESEARCH TOPICS ON ENGINEERING RESILIENT SYSTEMS

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)

http://www.sciam.com/print_version.cfm?articleID=00020D04-CFD8-146C-8D8D83414B7F0000

http://soupinadeli.com/category/resilientsoftware/

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]. …”

Resilience: a brief view on the state of the art

Education

Transcript of Resilience: a brief view on the state of the art