Software Engineering for Resilient Systems [E-Book] : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings / edited by Ivica Crnkovic, Elena Troubitsyna.
Crnkovic, Ivica, (editor)
Troubitsyna, Elena, (editor)
Cham : Springer, 2016
IX, 149 p. 41 illus. online resource.
Lecture notes in computer science ; 9823
Full Text
Table of Contents:
  • Development of resilient systems
  • Incremental development processes for resilient systems
  • Requirements engineering and re-engineering for resilience
  • Frameworks, patterns and software architectures for resilience.-Engineering of self-healing autonomic systems
  • Design of trustworthy and intrusion-safe systems
  • Resilience at run-time (mechanisms, reasoning and adaptation)
  • Resilience and dependability (resilience vs. robustness, dependable vs. adaptive systems)
  • Verification, validation and evaluation of resilience
  • Modeling and model based analysis of resilience properties
  • Formal and semi-formal techniques for verification and validation
  • Experimental evaluations of resilient systems
  • Quantitative approaches to ensuring resilience
  • Resilience prediction
  • Cast studies and applications.-Empirical studies in the domain of resilient systems
  • Methodologies adopted in industrial contexts
  • Cloud computing and resilient service provisioning.-Resilience for data-driven systems (e.g., big data-based adaption and resilience)
  • Resilient cyber-physical systems and infrastructures
  • Global aspects of resilience engineering: education, training and cooperation.