Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

✍ Scribed by Alessandro Fantechi, Patrizio Pelliccione (eds.)

• Publisher: Springer International Publishing
• Year: 2015
• Tongue: English
• Leaves: 154
• Series: Lecture Notes in Computer Science 9274
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.

✦ Table of Contents

Front Matter....Pages I-IX
Biological Immunity and Software Resilience: Two Faces of the Same Coin?....Pages 1-15
Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems....Pages 16-30
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol....Pages 31-45
Considering Execution Environment Resilience: A White-Box Approach....Pages 46-61
Engineering Cross-Layer Fault Tolerance in Many-Core Systems....Pages 62-70
Risk Assessment Based Cloudification....Pages 71-81
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System....Pages 82-98
Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain....Pages 99-113
Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases....Pages 114-127
Resiliency Variance in Workflows with Choice....Pages 128-143
Back Matter....Pages 145-145

✦ Subjects

Software Engineering; Computer Communication Networks; Information Systems Applications (incl. Internet); Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Management of Computing and Information Systems