1. Henry Muccini
University of L’Aquila, Italy
(www.henrymuccini.com, @muccinihenry)
Dagstuhl Seminar 13022 "Engineering Resilient Systems: Models, Methods and
Tools“, January 2013
3. 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
5. SERENE 2008 SERENE 2010 SERENE 2011 SERENE 2012
GC: G. Di Marzo GC:
Nicolas Guelfi GC: Didier Buchs Felicita Di Giandomenico
Serugendo
Henry Muccini PC chair: J. S. Fitzgerald PC Chair: Paris Avgeriou
Patrizio Pelliccione
Alexander Romanovsky PC chair: Elena Troubitsyna
7. 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-*
8. 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
11. 2000 2009 2010 2011 2012
Adaptive,
“on the approximately 1300 Dynamic, and
citations using the term Resilient
resilient or resilience Systems
(Mobile
registered at DBLP, 90% Services and
appeared after 2000 and Systems)
75% in the last five years” [N.
Guelfi, Central European J. of
Computer Science 2011]
12. RESIST NoE
Completed in 2008
Jean Claude Laprie
ASSURE - Autonomic software-intensive systems: foundations of safety and
resilience
2010-2013, Elena Troubitsyna
Dynamically Resilient Systems
Giovanna di Marzo Serugendo
MOVERE: Model Driven Validation and Verification of Resilient Software
Systems
N.Guelfi
14. 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
-
15. ACM-The Guide search engine includes all
The articles retrievable from ACM Portal Digital
Library,IEEE Computer Society,and Elsevier.
18. “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
19. “The best we could do is to find a solution
that works for now”
[picture taken from Google Images]
20. Daniel 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)
21. 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]
22. Time
“Resilient systems” “Sustainable systems”
• A broad spectrum of possible
• 3 dimensions:
equilibrium state
• Environmental
• Not necessary all states are predicted
• Economic
• Adaptive and evolving systems
• Social
• impact of the system on the
• Need for measurement
environment
• Need for trade-off
• Challenge:
• Challenge:
• Adaptation
• measurement
• Optimal performance in different
• Trade-off
states
• Minimize unwanted impact on the
environment
[Ivica Crncovik, SERENE 2011 keynote]
23. FR4_Resilience within uncertainty
The “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]. …”