SlideShare a Scribd company logo
1 of 23
Henry Muccini
University of L’Aquila, Italy
(www.henrymuccini.com, @muccinihenry)
Dagstuhl Seminar 13022 "Engineering Resilient Systems: Models, Methods and
Tools“, January 2013
[pictures taken from Google Images]
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 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
 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-*
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
1469
results
27
results
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]
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
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 all
The articles retrievable from ACM Portal Digital
Library,IEEE Computer Society,and Elsevier.
http://goo.gl/5n65J
FUTURE RESEARCH TOPICS ON ENGINEERING RESILIENT SYSTEMS
“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
“The best we could do is to find a solution
          that works for now”




           [picture taken from Google Images]
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)
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]
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]
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]. …”

More Related Content

Viewers also liked

Planificacion De La Gestion Escolar
Planificacion De La Gestion EscolarPlanificacion De La Gestion Escolar
Planificacion De La Gestion Escolar
guest21418b
 
Xp1-stair-test-2-10-15-model
 Xp1-stair-test-2-10-15-model Xp1-stair-test-2-10-15-model
Xp1-stair-test-2-10-15-model
Rima Kapel
 
Roofing in Wixom Michigan USA - Twelve Oaks Roofing
Roofing in Wixom Michigan USA - Twelve Oaks RoofingRoofing in Wixom Michigan USA - Twelve Oaks Roofing
Roofing in Wixom Michigan USA - Twelve Oaks Roofing
Christos Pittis
 
Duik van de onderzeeboot Trieste (opdracht PenO)
Duik van de onderzeeboot Trieste (opdracht PenO)Duik van de onderzeeboot Trieste (opdracht PenO)
Duik van de onderzeeboot Trieste (opdracht PenO)
Joran Michiels
 

Viewers also liked (15)

Planificacion De La Gestion Escolar
Planificacion De La Gestion EscolarPlanificacion De La Gestion Escolar
Planificacion De La Gestion Escolar
 
GSEEM 2012 (int.week_malardalen_may2012)
GSEEM 2012 (int.week_malardalen_may2012)GSEEM 2012 (int.week_malardalen_may2012)
GSEEM 2012 (int.week_malardalen_may2012)
 
Opening up Data - the benefits and value from a community and funding perspec...
Opening up Data - the benefits and value from a community and funding perspec...Opening up Data - the benefits and value from a community and funding perspec...
Opening up Data - the benefits and value from a community and funding perspec...
 
Xp1-stair-test-2-10-15-model
 Xp1-stair-test-2-10-15-model Xp1-stair-test-2-10-15-model
Xp1-stair-test-2-10-15-model
 
Roofing in Wixom Michigan USA - Twelve Oaks Roofing
Roofing in Wixom Michigan USA - Twelve Oaks RoofingRoofing in Wixom Michigan USA - Twelve Oaks Roofing
Roofing in Wixom Michigan USA - Twelve Oaks Roofing
 
Planificación de ciencias naturales de 4° Año
Planificación de ciencias naturales de 4° Año Planificación de ciencias naturales de 4° Año
Planificación de ciencias naturales de 4° Año
 
Gamification - Reputation System
Gamification - Reputation SystemGamification - Reputation System
Gamification - Reputation System
 
Duik van de onderzeeboot Trieste (opdracht PenO)
Duik van de onderzeeboot Trieste (opdracht PenO)Duik van de onderzeeboot Trieste (opdracht PenO)
Duik van de onderzeeboot Trieste (opdracht PenO)
 
Collection Cards of The Life - Vera Ema Tataro
Collection Cards of The Life - Vera Ema Tataro Collection Cards of The Life - Vera Ema Tataro
Collection Cards of The Life - Vera Ema Tataro
 
9 enterprise tech trends for 2016 and beyond
9 enterprise tech trends for 2016 and beyond9 enterprise tech trends for 2016 and beyond
9 enterprise tech trends for 2016 and beyond
 
Captains of Industry
Captains of IndustryCaptains of Industry
Captains of Industry
 
Havas Luxe Events - French vs. US Luxury
Havas Luxe Events - French vs. US LuxuryHavas Luxe Events - French vs. US Luxury
Havas Luxe Events - French vs. US Luxury
 
Presentación Sobre El Desapego VersióN F
Presentación Sobre El Desapego   VersióN FPresentación Sobre El Desapego   VersióN F
Presentación Sobre El Desapego VersióN F
 
XYZ printing Inc.
XYZ printing Inc.XYZ printing Inc.
XYZ printing Inc.
 
Balancing Creativity with Discipline – Innovation management at TCS
Balancing Creativity with Discipline – Innovation management at TCSBalancing Creativity with Discipline – Innovation management at TCS
Balancing Creativity with Discipline – Innovation management at TCS
 

Similar to Resilience: a brief view on the state of the art

Sociotechnical systems resilience
Sociotechnical systems resilienceSociotechnical systems resilience
Sociotechnical systems resilience
Jean-René RUAULT
 
Decision-making Support System for climate change adaptation_yin v2
Decision-making Support System for climate change adaptation_yin v2Decision-making Support System for climate change adaptation_yin v2
Decision-making Support System for climate change adaptation_yin v2
Chonghua Yin
 
Moser lightfoot pmc2012pres
Moser lightfoot pmc2012presMoser lightfoot pmc2012pres
Moser lightfoot pmc2012pres
NASAPMC
 
Autonomic Computing and Self Healing Systems
Autonomic Computing and Self Healing SystemsAutonomic Computing and Self Healing Systems
Autonomic Computing and Self Healing Systems
William Chipman
 
Complex Systems
Complex SystemsComplex Systems
Complex Systems
eghafari
 

Similar to Resilience: a brief view on the state of the art (20)

Sociotechnical systems resilience
Sociotechnical systems resilienceSociotechnical systems resilience
Sociotechnical systems resilience
 
Advance Systems Engineering Topics
Advance Systems Engineering TopicsAdvance Systems Engineering Topics
Advance Systems Engineering Topics
 
81-T48
81-T4881-T48
81-T48
 
Far ph d-seminar-dec02-2010
Far ph d-seminar-dec02-2010Far ph d-seminar-dec02-2010
Far ph d-seminar-dec02-2010
 
Institute of Asset Management presentation on Critical Infrastructure Resilie...
Institute of Asset Management presentation on Critical Infrastructure Resilie...Institute of Asset Management presentation on Critical Infrastructure Resilie...
Institute of Asset Management presentation on Critical Infrastructure Resilie...
 
Software Architecture: Why and What?
Software Architecture: Why and What?Software Architecture: Why and What?
Software Architecture: Why and What?
 
Decision-making Support System for climate change adaptation_yin v2
Decision-making Support System for climate change adaptation_yin v2Decision-making Support System for climate change adaptation_yin v2
Decision-making Support System for climate change adaptation_yin v2
 
Software Ecosystem Evolution. It's complex!
Software Ecosystem Evolution. It's complex!Software Ecosystem Evolution. It's complex!
Software Ecosystem Evolution. It's complex!
 
Moser lightfoot pmc2012pres
Moser lightfoot pmc2012presMoser lightfoot pmc2012pres
Moser lightfoot pmc2012pres
 
Resilience in Spatial and Urban Systems
Resilience in Spatial and Urban SystemsResilience in Spatial and Urban Systems
Resilience in Spatial and Urban Systems
 
What Does it Mean for a System to be Useful? An Exploratory Study of Usefulness
What Does it Mean for a System to be Useful? An Exploratory Study of UsefulnessWhat Does it Mean for a System to be Useful? An Exploratory Study of Usefulness
What Does it Mean for a System to be Useful? An Exploratory Study of Usefulness
 
QuESo: a Quality Model for Open Source Software Ecosystems
QuESo: a Quality Model for Open Source Software EcosystemsQuESo: a Quality Model for Open Source Software Ecosystems
QuESo: a Quality Model for Open Source Software Ecosystems
 
Group Decision Making to improve Software Resilience
Group Decision Making to improve Software ResilienceGroup Decision Making to improve Software Resilience
Group Decision Making to improve Software Resilience
 
Autonomic Computing and Self Healing Systems
Autonomic Computing and Self Healing SystemsAutonomic Computing and Self Healing Systems
Autonomic Computing and Self Healing Systems
 
Model Based Systems Thinking
Model Based Systems ThinkingModel Based Systems Thinking
Model Based Systems Thinking
 
SERENE 2014 Workshop: Paper "Enhancing Architecture Design Decisions Evolutio...
SERENE 2014 Workshop: Paper "Enhancing Architecture Design Decisions Evolutio...SERENE 2014 Workshop: Paper "Enhancing Architecture Design Decisions Evolutio...
SERENE 2014 Workshop: Paper "Enhancing Architecture Design Decisions Evolutio...
 
**Exploring and Assessing Project Complexity-Dao;17.pdf
**Exploring and Assessing Project Complexity-Dao;17.pdf**Exploring and Assessing Project Complexity-Dao;17.pdf
**Exploring and Assessing Project Complexity-Dao;17.pdf
 
Resilience Metrics and Approaches for Quantification, Igor LINKOV
Resilience Metrics and Approaches for Quantification, Igor LINKOVResilience Metrics and Approaches for Quantification, Igor LINKOV
Resilience Metrics and Approaches for Quantification, Igor LINKOV
 
Complex Systems
Complex SystemsComplex Systems
Complex Systems
 
An Introduction to Systems Engineering | Dorleco
An Introduction to Systems Engineering | DorlecoAn Introduction to Systems Engineering | Dorleco
An Introduction to Systems Engineering | Dorleco
 

More from Henry Muccini

More from Henry Muccini (20)

Human Behaviour Centred Design
Human Behaviour Centred Design Human Behaviour Centred Design
Human Behaviour Centred Design
 
How cultural heritage, cyber-physical spaces, and software engineering can wo...
How cultural heritage, cyber-physical spaces, and software engineering can wo...How cultural heritage, cyber-physical spaces, and software engineering can wo...
How cultural heritage, cyber-physical spaces, and software engineering can wo...
 
La gestione dell’utenza numerosa - dalle Segreterie, ai Musei, alle Segreterie
La gestione dell’utenza numerosa - dalle Segreterie, ai Musei, alle SegreterieLa gestione dell’utenza numerosa - dalle Segreterie, ai Musei, alle Segreterie
La gestione dell’utenza numerosa - dalle Segreterie, ai Musei, alle Segreterie
 
Turismo 4.0: l'ICT a supporto del turismo sostenibile
Turismo 4.0: l'ICT a supporto del turismo sostenibileTurismo 4.0: l'ICT a supporto del turismo sostenibile
Turismo 4.0: l'ICT a supporto del turismo sostenibile
 
Sustainable Tourism - IoT and crowd management
Sustainable Tourism - IoT and crowd managementSustainable Tourism - IoT and crowd management
Sustainable Tourism - IoT and crowd management
 
Software Engineering at the age of the Internet of Things
Software Engineering at the age of the Internet of ThingsSoftware Engineering at the age of the Internet of Things
Software Engineering at the age of the Internet of Things
 
The influence of Group Decision Making on Architecture Design Decisions
The influence of Group Decision Making on Architecture Design DecisionsThe influence of Group Decision Making on Architecture Design Decisions
The influence of Group Decision Making on Architecture Design Decisions
 
An IoT Software Architecture for an Evacuable Building Architecture
An IoT Software Architecture for an Evacuable Building ArchitectureAn IoT Software Architecture for an Evacuable Building Architecture
An IoT Software Architecture for an Evacuable Building Architecture
 
Web Engineering L8: User-centered Design (8/8)
Web Engineering L8: User-centered Design (8/8)Web Engineering L8: User-centered Design (8/8)
Web Engineering L8: User-centered Design (8/8)
 
Web Engineering L7: Sequence Diagrams and Design Decisions (7/8)
Web Engineering L7: Sequence Diagrams and Design Decisions (7/8)Web Engineering L7: Sequence Diagrams and Design Decisions (7/8)
Web Engineering L7: Sequence Diagrams and Design Decisions (7/8)
 
Web Engineering L6: Software Architecture for the Web (6/8)
Web Engineering L6: Software Architecture for the Web (6/8)Web Engineering L6: Software Architecture for the Web (6/8)
Web Engineering L6: Software Architecture for the Web (6/8)
 
Web Engineering L5: Content Model (5/8)
Web Engineering L5: Content Model (5/8)Web Engineering L5: Content Model (5/8)
Web Engineering L5: Content Model (5/8)
 
Web Engineering L3: Project Planning (3/8)
Web Engineering L3: Project Planning (3/8)Web Engineering L3: Project Planning (3/8)
Web Engineering L3: Project Planning (3/8)
 
Web Engineering L2: Requirements Elicitation for the Web (2/8)
Web Engineering L2: Requirements Elicitation for the Web (2/8)Web Engineering L2: Requirements Elicitation for the Web (2/8)
Web Engineering L2: Requirements Elicitation for the Web (2/8)
 
Web Engineering L1: introduction to Web Engineering (1/8)
Web Engineering L1: introduction to Web Engineering (1/8)Web Engineering L1: introduction to Web Engineering (1/8)
Web Engineering L1: introduction to Web Engineering (1/8)
 
Web Engineering L4: Requirements and Planning in concrete (4/8)
Web Engineering L4: Requirements and Planning in concrete (4/8)Web Engineering L4: Requirements and Planning in concrete (4/8)
Web Engineering L4: Requirements and Planning in concrete (4/8)
 
Collaborative aspects of Decision Making and its impact on Sustainability
Collaborative aspects of Decision Making and its impact on SustainabilityCollaborative aspects of Decision Making and its impact on Sustainability
Collaborative aspects of Decision Making and its impact on Sustainability
 
Engineering Cyber Physical Spaces
Engineering Cyber Physical SpacesEngineering Cyber Physical Spaces
Engineering Cyber Physical Spaces
 
I progetti UnivAq-UFFIZI, INCIPICT, e  CUSPIS
I progetti UnivAq-UFFIZI, INCIPICT, e  CUSPISI progetti UnivAq-UFFIZI, INCIPICT, e  CUSPIS
I progetti UnivAq-UFFIZI, INCIPICT, e  CUSPIS
 
Exploring the Temporal Aspects of Software Architecture
Exploring the Temporal Aspects of Software ArchitectureExploring the Temporal Aspects of Software Architecture
Exploring the Temporal Aspects of Software Architecture
 

Recently uploaded

IATP How-to Foreign Travel May 2024.pdff
IATP How-to Foreign Travel May 2024.pdffIATP How-to Foreign Travel May 2024.pdff
IATP How-to Foreign Travel May 2024.pdff
17thcssbs2
 
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
中 央社
 
The basics of sentences session 4pptx.pptx
The basics of sentences session 4pptx.pptxThe basics of sentences session 4pptx.pptx
The basics of sentences session 4pptx.pptx
heathfieldcps1
 
Neurulation and the formation of the neural tube
Neurulation and the formation of the neural tubeNeurulation and the formation of the neural tube
Neurulation and the formation of the neural tube
SaadHumayun7
 

Recently uploaded (20)

IATP How-to Foreign Travel May 2024.pdff
IATP How-to Foreign Travel May 2024.pdffIATP How-to Foreign Travel May 2024.pdff
IATP How-to Foreign Travel May 2024.pdff
 
factors influencing drug absorption-final-2.pptx
factors influencing drug absorption-final-2.pptxfactors influencing drug absorption-final-2.pptx
factors influencing drug absorption-final-2.pptx
 
Features of Video Calls in the Discuss Module in Odoo 17
Features of Video Calls in the Discuss Module in Odoo 17Features of Video Calls in the Discuss Module in Odoo 17
Features of Video Calls in the Discuss Module in Odoo 17
 
[GDSC YCCE] Build with AI Online Presentation
[GDSC YCCE] Build with AI Online Presentation[GDSC YCCE] Build with AI Online Presentation
[GDSC YCCE] Build with AI Online Presentation
 
Research Methods in Psychology | Cambridge AS Level | Cambridge Assessment In...
Research Methods in Psychology | Cambridge AS Level | Cambridge Assessment In...Research Methods in Psychology | Cambridge AS Level | Cambridge Assessment In...
Research Methods in Psychology | Cambridge AS Level | Cambridge Assessment In...
 
Basic_QTL_Marker-assisted_Selection_Sourabh.ppt
Basic_QTL_Marker-assisted_Selection_Sourabh.pptBasic_QTL_Marker-assisted_Selection_Sourabh.ppt
Basic_QTL_Marker-assisted_Selection_Sourabh.ppt
 
Morse OER Some Benefits and Challenges.pptx
Morse OER Some Benefits and Challenges.pptxMorse OER Some Benefits and Challenges.pptx
Morse OER Some Benefits and Challenges.pptx
 
How to the fix Attribute Error in odoo 17
How to the fix Attribute Error in odoo 17How to the fix Attribute Error in odoo 17
How to the fix Attribute Error in odoo 17
 
Operations Management - Book1.p - Dr. Abdulfatah A. Salem
Operations Management - Book1.p  - Dr. Abdulfatah A. SalemOperations Management - Book1.p  - Dr. Abdulfatah A. Salem
Operations Management - Book1.p - Dr. Abdulfatah A. Salem
 
philosophy and it's principles based on the life
philosophy and it's principles based on the lifephilosophy and it's principles based on the life
philosophy and it's principles based on the life
 
Matatag-Curriculum and the 21st Century Skills Presentation.pptx
Matatag-Curriculum and the 21st Century Skills Presentation.pptxMatatag-Curriculum and the 21st Century Skills Presentation.pptx
Matatag-Curriculum and the 21st Century Skills Presentation.pptx
 
Pragya Champions Chalice 2024 Prelims & Finals Q/A set, General Quiz
Pragya Champions Chalice 2024 Prelims & Finals Q/A set, General QuizPragya Champions Chalice 2024 Prelims & Finals Q/A set, General Quiz
Pragya Champions Chalice 2024 Prelims & Finals Q/A set, General Quiz
 
Championnat de France de Tennis de table/
Championnat de France de Tennis de table/Championnat de France de Tennis de table/
Championnat de France de Tennis de table/
 
Mbaye_Astou.Education Civica_Human Rights.pptx
Mbaye_Astou.Education Civica_Human Rights.pptxMbaye_Astou.Education Civica_Human Rights.pptx
Mbaye_Astou.Education Civica_Human Rights.pptx
 
Open Educational Resources Primer PowerPoint
Open Educational Resources Primer PowerPointOpen Educational Resources Primer PowerPoint
Open Educational Resources Primer PowerPoint
 
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
 
The basics of sentences session 4pptx.pptx
The basics of sentences session 4pptx.pptxThe basics of sentences session 4pptx.pptx
The basics of sentences session 4pptx.pptx
 
Post Exam Fun(da) Intra UEM General Quiz 2024 - Prelims q&a.pdf
Post Exam Fun(da) Intra UEM General Quiz 2024 - Prelims q&a.pdfPost Exam Fun(da) Intra UEM General Quiz 2024 - Prelims q&a.pdf
Post Exam Fun(da) Intra UEM General Quiz 2024 - Prelims q&a.pdf
 
Basic Civil Engg Notes_Chapter-6_Environment Pollution & Engineering
Basic Civil Engg Notes_Chapter-6_Environment Pollution & EngineeringBasic Civil Engg Notes_Chapter-6_Environment Pollution & Engineering
Basic Civil Engg Notes_Chapter-6_Environment Pollution & Engineering
 
Neurulation and the formation of the neural tube
Neurulation and the formation of the neural tubeNeurulation and the formation of the neural tube
Neurulation and the formation of the neural tube
 

Resilience: a brief view on the state of the art

  • 1. Henry Muccini University of L’Aquila, Italy (www.henrymuccini.com, @muccinihenry) Dagstuhl Seminar 13022 "Engineering Resilient Systems: Models, Methods and Tools“, January 2013
  • 2. [pictures taken from Google Images]
  • 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
  • 4.
  • 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
  • 6.
  • 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.
  • 17. FUTURE RESEARCH TOPICS ON ENGINEERING RESILIENT SYSTEMS
  • 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]. …”