Software Engineering for Resilient Systems

Resilience is the ability of a system to return to its normal operation state after a change or disturbance. Frequently, resilience of a system can be only empirically estimated due to the complexity of the underlying mechanisms. While traditional dependability uses quantitative characteristics based on averaging the impacts of faults, resilience requires more focused attributes on the impacts of disturbances. The paper summarizes the main requirements on the statistical background needed for resilience characterization and presents an approach based on Exploratory Data Analysis (EDA) helping to understand disturbance impacts and their respective quantitative characterization.

[1]  Vincenzo De Florio,et al.  Towards Meta-Adaptation Support with Reusable and Composable Adaptation Components , 2012, 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems.

[2]  Yannis Kalfoglou,et al.  Ontology mapping: the state of the art , 2003, The Knowledge Engineering Review.

[3]  Hans-Jürgen Warnecke,et al.  The Fractal Company , 1993 .

[4]  Vincenzo De Florio,et al.  Robust and Tuneable Family of Gossiping Algorithms , 2012, 2012 20th Euromicro International Conference on Parallel, Distributed and Network-based Processing.

[5]  Julie Waterhouse,et al.  Runtime monitoring of web service conversations , 2007, CASCON.

[6]  Pierre-Yves Schobbens,et al.  Model Checking Adaptive Software with Featured Transition Systems , 2013, Assurances for Self-Adaptive Systems.

[7]  Elena Troubitsyna,et al.  A Case Study in Refinement-Based Modelling of a Resilient Control System , 2013, SERENE.

[8]  Katia P. Sycara,et al.  Towards automatic mediation of OWL-S process models , 2007, IEEE International Conference on Web Services (ICWS 2007).

[9]  Roman Neruda,et al.  An Agent for Asymmetric Process Mediation in Open Environments , 2008, SOCASE.

[10]  Alberto L. Sangiovanni-Vincentelli,et al.  Convertibility verification and converter synthesis: two faces of the same coin , 2002, ICCAD 2002.

[11]  Dong Wei,et al.  PROGNOSTICS ENABLED RESILIENT CONTROL FOR MODEL-BASED BUILDING AUTOMATION SYSTEMS , 2011 .

[12]  Dov Dori,et al.  A semantic approach to approximate service retrieval , 2007, TOIT.

[13]  Simon S. Lam.  Correction to "Protocol Conversion" , 1988, IEEE Trans. Software Eng..

[14]  Jean-Raymond Abrial,et al.  Modeling in event-b - system and software engineering by Jean-Raymond Abrial , 2010, SOEN.

[15]  A. J. Wells,et al.  Comparison of emerging manufacturing concepts , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[16]  Gwen Salaün.  Generation of Service Wrapper Protocols from Choreography Specifications , 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.

[17]  Elena Troubitsyna,et al.  Patterns for Representing FMEA in Formal Specification of Control Systems , 2011, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering.

[18]  Jean-Raymond Abrial.  Steam-Boiler Control Specification Problem , 1995, Formal Methods for Industrial Applications.

[19]  Koushik Sen,et al.  Efficient decentralized monitoring of safety in distributed systems , 2004, Proceedings. 26th International Conference on Software Engineering.

[20]  Shankar Ponnekanti,et al.  SWORD: A Developer Toolkit for Web Service Composition , 2008 .

[21]  Xiang Fu,et al.  Towards a Theory of Web Service Choreographies , 2007, WS-FM.

[22]  J. Reif,et al.  Animals as sentinels of human health hazards of environmental chemicals. , 1999, Environmental health perspectives.

[23]  Annapaola Marconi,et al.  Automated Composition of Web Services: the ASTRO Approach , 2008, IEEE Data Eng. Bull..

[24]  Gwen Salaün,et al.  Checking the realizability of BPMN 2.0 choreographies , 2012, SAC '12.

[25]  David Garlan,et al.  A compositional formalization of connector wrappers , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[26]  Neil R. Storey,et al.  Safety-critical computer systems , 1996 .

[27]  Paolo Traverso,et al.  Service-Oriented Computing: State of the Art and Research Challenges , 2007, Computer.

[28]  Jean-Claude Laprie,et al.  From Dependability to Resilience , 2008, DSN 2008.