SlideShare utilise les cookies pour améliorer les fonctionnalités et les performances, et également pour vous montrer des publicités pertinentes. Si vous continuez à naviguer sur ce site, vous acceptez l’utilisation de cookies. Consultez nos Conditions d’utilisation et notre Politique de confidentialité.
SlideShare utilise les cookies pour améliorer les fonctionnalités et les performances, et également pour vous montrer des publicités pertinentes. Si vous continuez à naviguer sur ce site, vous acceptez l’utilisation de cookies. Consultez notre Politique de confidentialité et nos Conditions d’utilisation pour en savoir plus.
Organized by the SERENE ERCIM working group In cooperation with ACM SIGSOFTEditions: 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 qualitativeAnalysis of resilience: security, risk analysis, reliabilityResilience through reconfiguration and self-*
Links between FT, Dependability, EH, and ResilienceResilience in domain specific applications (e.g., avionics, automotive, railways, robots, healtcare)Industry experience and case studyMonitoring as a driver for adaptationServices Services for resilience and resilient services
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
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.
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 . …”