Post on 09-May-2015
description
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
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
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
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)
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]. …”