• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
Resilience: a brief view on the state of the art
 

Resilience: a brief view on the state of the art

on

  • 656 views

This short presentation introduces a brief and SERENE-oriented view on the state of the art on software resilience.

This short presentation introduces a brief and SERENE-oriented view on the state of the art on software resilience.

Statistics

Views

Total Views
656
Views on SlideShare
655
Embed Views
1

Actions

Likes
0
Downloads
5
Comments
0

1 Embed 1

http://www.docshut.com 1

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

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

    • Henry MucciniUniversity of L’Aquila, Italy(www.henrymuccini.com, @muccinihenry)Dagstuhl Seminar 13022 "Engineering Resilient Systems: Models, Methods andTools“, 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 SerugendoHenry Muccini PC chair: J. S. Fitzgerald PC Chair: Paris AvgeriouPatrizio PelliccioneAlexander 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
    • 1469results
    • 27results
    • 2000 2009 2010 2011 2012 Adaptive,“on the approximately 1300 Dynamic, andcitations using the term Resilientresilient or resilience Systems (Mobileregistered at DBLP, 90% Services andappeared after 2000 and Systems)75% in the last five years” [N.Guelfi, Central European J. ofComputer Science 2011]
    • RESIST NoECompleted in 2008Jean Claude LaprieASSURE - Autonomic software-intensive systems: foundations of safety andresilience2010-2013, Elena TroubitsynaDynamically Resilient SystemsGiovanna di Marzo SerugendoMOVERE: Model Driven Validation and Verification of Resilient SoftwareSystemsN.Guelfi
    • https://www.tclouds-project.eu/http://cordis.europa.eu/projects/rcn/85347_en.htmlhttp://cordis.europa.eu/projects/rcn/85446_en.htmlhttp://cordis.europa.eu/projects/rcn/87757_en.htmlhttp://cordis.europa.eu/projects/rcn/88496_en.html
    • Indeed, this is a very limited view on the SOTA on softwareengineering 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 DigitalLibrary,IEEE Computer Society,and Elsevier.
    • http://goo.gl/5n65J
    • FUTURE RESEARCH TOPICS ON ENGINEERING RESILIENT SYSTEMS
    • “Resilience” as an engineering discipline, withits 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, otherqualities)
    • SustainabilityResilience is the persistence of the avoidanceof failures that are unexpectedly frequent orsevere, when facing change [Laprie]Sustainability: “is the capacity to endure. For humans,sustainability is the long-term maintenance ofresponsibility, which has environmental, economic, andsocial dimensions” [Wikipedia]“Sustainable Development” as development that…“meets the needs of the present without compromisingthe 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 uncertaintyThe “certain world” assumption does not applyanymore [Garlan, 2011]Research challenges:“Resilient systems: How can we engineer adaptive systems thatprovide appropriate behavior in the presence of unpredictablefaults, resource variability and changing requirements? Arethere ways to compose adaptation modules to achieve overallgoals? Relevant work includes control theory, context-awarecomputing, and autonomic computing systems [6]. …”