At the following link you can find the proceedings of the EDCC workshops

Call for Papers

Icon

Scope

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 ).

Icon

Topics

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:

Development of resilient systems
    - Engineering processes for resilient systems
    - Requirements engineering & re-engineering for resilience
    - Frameworks, patterns and software architectures for resilience
    - Engineering of self-adaptive systems
    - Design of trustworthy and intrusion-safe systems
    - Resilience at run-time (mechanisms, reasoning and adaptation)
    - Resilience & dependability (resilience vs. robustness, dependable vs. adaptive systems)


Verification, validation and evaluation of resilience
    - Modelling 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


Case studies & 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 adoption and resilience)
    - Resilient cyber-physical systems and infrastructures
    - Global aspects of resilience engineering: education, training and cooperation


We welcome relevant contributions in the following forms

    - Technical papers describing original theoretical or practical work (12-15 pages)
    - Experience/Industry papers describing practitioner experience or field studies, addressing an application domain and the lessons learned (12-15 pages)
    - PhD Forum papers describing objectives, methodology, and results at an early stage of research (6-8 pages)
    - Project papers describing goals and results of ongoing projects (6-8 pages)
    - Tool papers presenting new tools or new versions of existing tools that support the development of resilient systems (6-8 pages)
    - Position papers on challenges and emerging trends in resilience (6-8 pages)

Important Dates

Abstract
Submission

May 25, 2020

Full Paper Submission

June 1, 2020 June 7, 2020 (extended)

Authors Notification

June 29, 2020

Camera Ready Papers

July 15, 2020

Submission

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.


Moreover, all submissions should describe, in English, original work that has not been published or submitted for publication elsewhere.
All submissions will be peer-reviewed by at least three members of the program committee.
They will be evaluated based on originality, contribution to the field, technical and presentation quality, and relevance to the workshop.


PDF versions of papers should be submitted electronically via EasyChair at https://easychair.org/conferences/?conf=serene2020

Program

Monday 7th September, 2020 - 14:30 - 17:55 - Virtual

Registration page https://eveeno.com/edcc-2020

14:30 - 14:40 Workshop Presentation

14:40 - 15:40 Keynote

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.

15:40 - 15:45 Break

15:45 - 16:45 Session 1 - Tools and Architectures for Resilient Systems

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

16:45 - 16:50 Break

16:50 - 17:50 Session 2 - Resilient cloud services

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

17:50 - 17:55 Wrap-Up

Committees

Icon

Organizing Committee

    - Amleto Di Salle, University of L'Aquila, Italy
    - Paolo Masci, National Institute of Aerospace, Langley Research Center, USA

Icon

Program Committee

  • - Marco Autili, University of L'Aquila, Italy
  • - Radu Calinescu, University of York, United Kingdom
  • - Andrea Ceccarelli, University of Florence, Italy
  • - Felicita Di Giandomenico, CNR-ISTI, Italy
  • - Nikolaos Georgantas, INRIA, France
  • - Jeremie Guiochet, Université de Toulouse3, LAAS-CNRS, France
  • - Linas Laibinis, Åbo Akademi University, Lithuania
  • - Istvan Majzik, Budapest University of Technology and Economics (BME)
  • - Raffaela Mirandola, Politecnico di Milano, Italy
  • - Henry Muccini, University of L'Aquila, Italy
  • - Andras Pataricza, Budapest University of Technology and Economics (BME)
  • - Patrizio Pelliccione, University of L'Aquila, Italy, and Chalmers | University of Gothenburg, Sweden
  • - Cristina Seceleanu, Malardalen University, Sweden
  • - Alin Stefanescu, University of Bucharest, Romania
  • - Elena Troubitsyna, KTH Royal Institute of Technology, Sweden
  • - Karthik Vaidhyanathan, Gran Sasso Science Institute, Italy
  • - Marco Vieira, University of Coimbra, Portugal
  • - Apostolos Zarras, University of Ioannina, Greece

Icon

Publicity Chair

    - Claudio Pompilio, University of L'Aquila, Italy

Icon

Web Chair

    - Francesco Gallo, University of L’Aquila, Italy