SlideShare a Scribd company logo
1 of 23
Download to read offline
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
Resilience: a brief view on the state of the art
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
Resilience: a brief view on the state of the art
 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 Escolarguest21418b
 
GSEEM 2012 (int.week_malardalen_may2012)
GSEEM 2012 (int.week_malardalen_may2012)GSEEM 2012 (int.week_malardalen_may2012)
GSEEM 2012 (int.week_malardalen_may2012)Henry Muccini
 
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...Simon Tanner
 
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-modelRima 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 RoofingChristos Pittis
 
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 Micky Arias
 
Gamification - Reputation System
Gamification - Reputation SystemGamification - Reputation System
Gamification - Reputation SystemJane Vita
 
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
 
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 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 beyondJon Cohn
 
Captains of Industry
Captains of IndustryCaptains of Industry
Captains of IndustryIpsos UK
 
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 LuxuryHavas
 
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 Fluispowell1
 
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 TCSTata Consultancy Services
 

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 resilienceJean-René RUAULT
 
Advance Systems Engineering Topics
Advance Systems Engineering TopicsAdvance Systems Engineering Topics
Advance Systems Engineering TopicsAnimesh Chaturvedi
 
Far ph d-seminar-dec02-2010
Far ph d-seminar-dec02-2010Far ph d-seminar-dec02-2010
Far ph d-seminar-dec02-2010cboldyreff
 
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...The Resilience Shift
 
Software Architecture: Why and What?
Software Architecture: Why and What?Software Architecture: Why and What?
Software Architecture: Why and What?Chris F Carroll
 
Architecture Design Decision Maps For Software Sustainability
Architecture Design Decision Maps For Software SustainabilityArchitecture Design Decision Maps For Software Sustainability
Architecture Design Decision Maps For Software SustainabilityLori Moore
 
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 v2Chonghua Yin
 
Software Ecosystem Evolution. It's complex!
Software Ecosystem Evolution. It's complex!Software Ecosystem Evolution. It's complex!
Software Ecosystem Evolution. It's complex!Tom Mens
 
Moser lightfoot pmc2012pres
Moser lightfoot pmc2012presMoser lightfoot pmc2012pres
Moser lightfoot pmc2012presNASAPMC
 
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 Usefulnesscraigmmacdonald
 
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 EcosystemsGESSI UPC
 
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 ResilienceHenry Muccini
 
Autonomic Computing and Self Healing Systems
Autonomic Computing and Self Healing SystemsAutonomic Computing and Self Healing Systems
Autonomic Computing and Self Healing SystemsWilliam Chipman
 
Model Based Systems Thinking
Model Based Systems ThinkingModel Based Systems Thinking
Model Based Systems Thinkingsicrcw
 
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...SERENEWorkshop
 
**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.pdfDépartement de finance
 
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 LINKOVGlobal Risk Forum GRFDavos
 
Complex Systems
Complex SystemsComplex Systems
Complex Systemseghafari
 

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?
 
Architecture Design Decision Maps For Software Sustainability
Architecture Design Decision Maps For Software SustainabilityArchitecture Design Decision Maps For Software Sustainability
Architecture Design Decision Maps For Software Sustainability
 
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
 

More from Henry Muccini

Human Behaviour Centred Design
Human Behaviour Centred Design Human Behaviour Centred Design
Human Behaviour Centred Design Henry Muccini
 
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...Henry Muccini
 
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 SegreterieHenry Muccini
 
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 sostenibileHenry Muccini
 
Sustainable Tourism - IoT and crowd management
Sustainable Tourism - IoT and crowd managementSustainable Tourism - IoT and crowd management
Sustainable Tourism - IoT and crowd managementHenry Muccini
 
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 ThingsHenry Muccini
 
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 DecisionsHenry Muccini
 
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 ArchitectureHenry Muccini
 
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)Henry Muccini
 
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)Henry Muccini
 
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)Henry Muccini
 
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)Henry Muccini
 
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)Henry Muccini
 
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)Henry Muccini
 
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)Henry Muccini
 
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)Henry Muccini
 
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 SustainabilityHenry Muccini
 
Engineering Cyber Physical Spaces
Engineering Cyber Physical SpacesEngineering Cyber Physical Spaces
Engineering Cyber Physical SpacesHenry Muccini
 
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  CUSPISHenry Muccini
 
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 ArchitectureHenry 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

What is the Future of QuickBooks DeskTop?
What is the Future of QuickBooks DeskTop?What is the Future of QuickBooks DeskTop?
What is the Future of QuickBooks DeskTop?TechSoup
 
Prescribed medication order and communication skills.pptx
Prescribed medication order and communication skills.pptxPrescribed medication order and communication skills.pptx
Prescribed medication order and communication skills.pptxraviapr7
 
Education and training program in the hospital APR.pptx
Education and training program in the hospital APR.pptxEducation and training program in the hospital APR.pptx
Education and training program in the hospital APR.pptxraviapr7
 
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptx
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptxPISA-VET launch_El Iza Mohamedou_19 March 2024.pptx
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptxEduSkills OECD
 
P4C x ELT = P4ELT: Its Theoretical Background (Kanazawa, 2024 March).pdf
P4C x ELT = P4ELT: Its Theoretical Background (Kanazawa, 2024 March).pdfP4C x ELT = P4ELT: Its Theoretical Background (Kanazawa, 2024 March).pdf
P4C x ELT = P4ELT: Its Theoretical Background (Kanazawa, 2024 March).pdfYu Kanazawa / Osaka University
 
AUDIENCE THEORY -- FANDOM -- JENKINS.pptx
AUDIENCE THEORY -- FANDOM -- JENKINS.pptxAUDIENCE THEORY -- FANDOM -- JENKINS.pptx
AUDIENCE THEORY -- FANDOM -- JENKINS.pptxiammrhaywood
 
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdf
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdfMaximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdf
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdfTechSoup
 
CAULIFLOWER BREEDING 1 Parmar pptx
CAULIFLOWER BREEDING 1 Parmar pptxCAULIFLOWER BREEDING 1 Parmar pptx
CAULIFLOWER BREEDING 1 Parmar pptxSaurabhParmar42
 
Philosophy of Education and Educational Philosophy
Philosophy of Education  and Educational PhilosophyPhilosophy of Education  and Educational Philosophy
Philosophy of Education and Educational PhilosophyShuvankar Madhu
 
How to Make a Field read-only in Odoo 17
How to Make a Field read-only in Odoo 17How to Make a Field read-only in Odoo 17
How to Make a Field read-only in Odoo 17Celine George
 
How to Add a many2many Relational Field in Odoo 17
How to Add a many2many Relational Field in Odoo 17How to Add a many2many Relational Field in Odoo 17
How to Add a many2many Relational Field in Odoo 17Celine George
 
2024.03.23 What do successful readers do - Sandy Millin for PARK.pptx
2024.03.23 What do successful readers do - Sandy Millin for PARK.pptx2024.03.23 What do successful readers do - Sandy Millin for PARK.pptx
2024.03.23 What do successful readers do - Sandy Millin for PARK.pptxSandy Millin
 
UKCGE Parental Leave Discussion March 2024
UKCGE Parental Leave Discussion March 2024UKCGE Parental Leave Discussion March 2024
UKCGE Parental Leave Discussion March 2024UKCGE
 
Ultra structure and life cycle of Plasmodium.pptx
Ultra structure and life cycle of Plasmodium.pptxUltra structure and life cycle of Plasmodium.pptx
Ultra structure and life cycle of Plasmodium.pptxDr. Asif Anas
 
HED Office Sohayok Exam Question Solution 2023.pdf
HED Office Sohayok Exam Question Solution 2023.pdfHED Office Sohayok Exam Question Solution 2023.pdf
HED Office Sohayok Exam Question Solution 2023.pdfMohonDas
 
Practical Research 1 Lesson 9 Scope and delimitation.pptx
Practical Research 1 Lesson 9 Scope and delimitation.pptxPractical Research 1 Lesson 9 Scope and delimitation.pptx
Practical Research 1 Lesson 9 Scope and delimitation.pptxKatherine Villaluna
 
Patterns of Written Texts Across Disciplines.pptx
Patterns of Written Texts Across Disciplines.pptxPatterns of Written Texts Across Disciplines.pptx
Patterns of Written Texts Across Disciplines.pptxMYDA ANGELICA SUAN
 
General views of Histopathology and step
General views of Histopathology and stepGeneral views of Histopathology and step
General views of Histopathology and stepobaje godwin sunday
 
How to Manage Cross-Selling in Odoo 17 Sales
How to Manage Cross-Selling in Odoo 17 SalesHow to Manage Cross-Selling in Odoo 17 Sales
How to Manage Cross-Selling in Odoo 17 SalesCeline George
 

Recently uploaded (20)

What is the Future of QuickBooks DeskTop?
What is the Future of QuickBooks DeskTop?What is the Future of QuickBooks DeskTop?
What is the Future of QuickBooks DeskTop?
 
Prescribed medication order and communication skills.pptx
Prescribed medication order and communication skills.pptxPrescribed medication order and communication skills.pptx
Prescribed medication order and communication skills.pptx
 
Education and training program in the hospital APR.pptx
Education and training program in the hospital APR.pptxEducation and training program in the hospital APR.pptx
Education and training program in the hospital APR.pptx
 
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptx
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptxPISA-VET launch_El Iza Mohamedou_19 March 2024.pptx
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptx
 
P4C x ELT = P4ELT: Its Theoretical Background (Kanazawa, 2024 March).pdf
P4C x ELT = P4ELT: Its Theoretical Background (Kanazawa, 2024 March).pdfP4C x ELT = P4ELT: Its Theoretical Background (Kanazawa, 2024 March).pdf
P4C x ELT = P4ELT: Its Theoretical Background (Kanazawa, 2024 March).pdf
 
AUDIENCE THEORY -- FANDOM -- JENKINS.pptx
AUDIENCE THEORY -- FANDOM -- JENKINS.pptxAUDIENCE THEORY -- FANDOM -- JENKINS.pptx
AUDIENCE THEORY -- FANDOM -- JENKINS.pptx
 
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdf
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdfMaximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdf
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdf
 
CAULIFLOWER BREEDING 1 Parmar pptx
CAULIFLOWER BREEDING 1 Parmar pptxCAULIFLOWER BREEDING 1 Parmar pptx
CAULIFLOWER BREEDING 1 Parmar pptx
 
Philosophy of Education and Educational Philosophy
Philosophy of Education  and Educational PhilosophyPhilosophy of Education  and Educational Philosophy
Philosophy of Education and Educational Philosophy
 
How to Make a Field read-only in Odoo 17
How to Make a Field read-only in Odoo 17How to Make a Field read-only in Odoo 17
How to Make a Field read-only in Odoo 17
 
How to Add a many2many Relational Field in Odoo 17
How to Add a many2many Relational Field in Odoo 17How to Add a many2many Relational Field in Odoo 17
How to Add a many2many Relational Field in Odoo 17
 
2024.03.23 What do successful readers do - Sandy Millin for PARK.pptx
2024.03.23 What do successful readers do - Sandy Millin for PARK.pptx2024.03.23 What do successful readers do - Sandy Millin for PARK.pptx
2024.03.23 What do successful readers do - Sandy Millin for PARK.pptx
 
UKCGE Parental Leave Discussion March 2024
UKCGE Parental Leave Discussion March 2024UKCGE Parental Leave Discussion March 2024
UKCGE Parental Leave Discussion March 2024
 
Ultra structure and life cycle of Plasmodium.pptx
Ultra structure and life cycle of Plasmodium.pptxUltra structure and life cycle of Plasmodium.pptx
Ultra structure and life cycle of Plasmodium.pptx
 
HED Office Sohayok Exam Question Solution 2023.pdf
HED Office Sohayok Exam Question Solution 2023.pdfHED Office Sohayok Exam Question Solution 2023.pdf
HED Office Sohayok Exam Question Solution 2023.pdf
 
Prelims of Kant get Marx 2.0: a general politics quiz
Prelims of Kant get Marx 2.0: a general politics quizPrelims of Kant get Marx 2.0: a general politics quiz
Prelims of Kant get Marx 2.0: a general politics quiz
 
Practical Research 1 Lesson 9 Scope and delimitation.pptx
Practical Research 1 Lesson 9 Scope and delimitation.pptxPractical Research 1 Lesson 9 Scope and delimitation.pptx
Practical Research 1 Lesson 9 Scope and delimitation.pptx
 
Patterns of Written Texts Across Disciplines.pptx
Patterns of Written Texts Across Disciplines.pptxPatterns of Written Texts Across Disciplines.pptx
Patterns of Written Texts Across Disciplines.pptx
 
General views of Histopathology and step
General views of Histopathology and stepGeneral views of Histopathology and step
General views of Histopathology and step
 
How to Manage Cross-Selling in Odoo 17 Sales
How to Manage Cross-Selling in Odoo 17 SalesHow to Manage Cross-Selling in Odoo 17 Sales
How to Manage Cross-Selling in Odoo 17 Sales
 

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