Resilient systems withstand, recover from, and adapt to disruptive changes with acceptable degradation in their provided services. Resilience is particularly remarkable for modern software and software-controlled systems, many of which are required to continually adapt their architecture and parameters in response to evolving requirements, customer feedback, new business needs, platform upgrades, etc. Despite frequent changes and disruptions, the software is expected to function correctly and reliably. This is particularly important for software systems that provide services which are critical to society, e.g., in transportation, healthcare, energy production and e-government. Since modern software should be developed to cope with changes, unforeseen failures and malicious cyber-attacks efficiently, design for resilience is an increasingly important area of software engineering.
The SERENE workshop series has a long tradition of bringing together leading researchers and practitioners from academia and industry, to advance the state-of-the-art and to identify open challenges in the software engineering of resilient systems. Since 2015 SERENE has become a part of a major European dependability forum – EDCC. This year SERENE will be held before the main EDCC 2020 conference ).
The SERENE 2020 workshop will provide a forum for researchers and practitioners to exchange ideas on advances in all areas relevant to software engineering for resilient systems, including, but not limited to:
May 25, 2020
June 1, 2020 June 7, 2020 (extended)
June 29, 2020
July 15, 2020
The proceedings will be published to Springer Communications in Computer and Information Science (CCIS) series.
Authors should consult Springer's authors' guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers.
Springer encourages authors to include their ORCIDs in their papers.
In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made.
PDF versions of papers should be submitted electronically via EasyChair at https://easychair.org/conferences/?conf=serene2020
Registration page https://eveeno.com/edcc-2020
The Future of Model-Based Design for Dependable Cyber-Physical Systems
Prof. Peter Gorm Larsen, Aarhus University (Denmark)
Abstract: It make lots of sense using heterogeneous models in the development of dependable Cyber-Physical Systems (CPSs). Despite the research results and the model-based tools developed over the last decades unfortunately this is still not mainstream in the development of dependable CPSs. In this presentation I wish to suggest what the software engineering community can do to change this situation. This includes better ways to enable combinations of different kinds of models both in a simulation as well as in a verification setting, using tools that are made available to newcomers on-line, and importantly giving values to such models after the deployment of the CPS inside digital twins.
Title: An Eclipse-Based Editor for SAN Templates
Authors: Kenneth Keefe, Paolo Lollini, Federico Moncini, Leonardo Montecchi
Title: Concepts and Risk Analysis for a Cooperative and Automated Highway Platooning System
Authors: Carl Bergenhem, Mario Majdandzic, Stig Ursing
Title: Interplaying Cassandra NoSQL Consistency and Performance: a Benchmarking Approach
Authors: Anatoliy Gorbenko, Alexander Romanovsky, Olga Tarasyuk
Title: Application of Extreme Value Analysis for Characterizing the Execution Time of Resilience Supporting Mechanisms in Kubernetes
Authors: Szilárd Bozóki, Imre Kocsis, Benedek Kovács, András Pataricza, Dániel Pethő, Péter Suskovics, Jenő Szalontai