Software Engineering for Resilient Systems: 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

✍ Scribed by István Majzik, Marco Vieira (eds.)

Publisher: Springer International Publishing
Year: 2014
Tongue: English
Leaves: 194
Series: Lecture Notes in Computer Science 8785 Programming and Software Engineering
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring.

✦ Table of Contents

Front Matter....Pages -
Community Resilience Engineering: Reflections and Preliminary Contributions....Pages 1-8
Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles....Pages 9-23
The Role of Parts in the System Behaviour....Pages 24-39
Automatic Generation of Description Files for Highly Available Services....Pages 40-54
Modelling Resilience of Data Processing Capabilities of CPS....Pages 55-70
Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages....Pages 71-85
On Applying FMEA to SOAs: A Proposal and Open Challenges....Pages 86-100
Verification and Validation of a Pressure Control Unit for Hydraulic Systems....Pages 101-115
Simulation Testing and Model Checking: A Case Study Comparing these Approaches....Pages 116-130
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation....Pages 131-138
Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems....Pages 139-153
Adaptive Domain-Specific Service Monitoring....Pages 154-168
Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systems....Pages 169-183
Back Matter....Pages -

✦ Subjects

Computer Science, general; Computer Science, general; Computer Science, general; Computer Science, general; Computer Science, general; Computer Science, general

📜 SIMILAR VOLUMES

Software Engineering for Resilient Syste

📁 Software Engineering for Resilient Systems: 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

✍ András Pataricza, Imre Kocsis, Ágnes Salánki, László Gönczy (auth.), Anatoliy Go 📂 Library 📅 2013 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The 13 revised full papers were carefully reviewed and selected from 21 submissions. The papers are organized in top

Software Engineering for Resilient Syste

📁 Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

✍ Ivica Crnkovic, Elena Troubitsyna (eds.) 📂 Library 📅 2016 🏛 Springer International Publishing 🌐 English

This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following

Software Engineering for Resilient Syste

📁 Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

✍ Radu Calinescu, Felicita Di Giandomenico 📂 Library 📅 2019 🏛 Springer International Publishing 🌐 English

This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019.The 5 full papers and 4 short papers presented together with 1 keynote and 1 invited paper were carefull

Software Engineering for Resilient Syste

📁 Software Engineering for Resilient Systems: 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

✍ Yannis Lilis, Anthony Savidis (auth.), Paris Avgeriou (eds.) 📂 Library 📅 2012 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the refereed proceedings of the Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa, Italy, in September 2012. The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address

Software engineering for resilient syste

📁 Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

✍ Romanovsky, Alexander; Troubitsyna, Elena A 📂 Library 📅 2017 🏛 Springer 🌐 English

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. Th

Software Engineering for Resilient Syste

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

✍ Alessandro Fantechi, Patrizio Pelliccione (eds.) 📂 Library 📅 2015 🏛 Springer International Publishing 🌐 English

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