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 important in 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 and platform upgrades. Resilience also has to cover extra-functional behavior: despite frequent changes and disruptions, including unforeseen failures and malicious cyber attacks, systems are expected to function correctly and reliably. This is particularly important for critical services, , e.g., in transportation, healthcare, energy production and e-government. Design for resilience is an increasingly important area of software engineering; new deployment platforms as edge and fog computing and blockchains/distributed ledgers facilitate new resilience techniques, but also pose new challenges.

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 together with the main EDCC 2022 conference.

Icon

Topics

The SERENE 2022 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, edge and fog computing and resilient service provisioning
    - Resilience through and in blockchain and distributed ledger-based applications
    - 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 (max. 11 pages + 1 page only for references)
    - Experience/Industry papers describing practitioner experience or field studies, addressing an application domain and the lessons learned (max. 11 pages + 1 page only for references)
    - 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 pages)

Important Dates

Abstract Submission

May, 30th 2022

June, 13th 2022

Paper Submission

June, 6th 2022

June, 13th 2022

Authors Notification

June, 25th 2022

July, 2nd 2022

Camera Ready

July, 3rd 2022

July, 10th 2022

Submission

All submissions should describe, in English, original work that has not been published or submitted for publication elsewhere.
Papers will be evaluated based on originality, contribution to the field, technical and presentation quality, and relevance to the workshop.

PDF versions of the submissions should be submitted electronically via EasyChair.
Please note that the review process is double-blind, so papers submitted for consideration should not include the names of the authors and their affiliations.
EDCC 2022 workshops will be published in Springer Communications in Computer and Information Science (CCIS), abstracted and indexed in, among others, SCOPUS and DBLP.
Authors should consult Springer's authors' guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers.

Corresponding authors of accepted papers, acting on behalf of all of the authors of that paper, should expect that they will have to complete and sign a Consent-to-Publish form.

Program

09:00 - 09:10 Workshop Presentation

09:10 - 10:30 Keynote

T.B.A.

10:30 - 11:00 Break

11:00 - 11:30

Blockchain-based Audit Trail for Sharing Data in a Distributed Environment
Hugo Lloreda Sanchez, Sophie Tysebaert, Annanda Rath, Etienne Rivière

11:30 - 12:00

Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering
Megha Quamara, Gabriel Pedroza, Brahim Hamid

12:00 - 12:30 Discussion and closing

Committees

Icon

General Chairs

    - Patrizio Pelliccione, Gran Sasso Science Institute, Italy
    - Zoltán Micskei – BME, Hungary

Icon

Organising Committee

    - Martina De Sanctis, Gran Sasso Science Institute, Italy
    - Kocsis Imre, Budapest University of Technology and Economics, Hungary

Icon

Program Committee

    - Marco Autili, University of L’Aquila, Italy
    - Georgios Bouloukakis, Telecom, Sud Paris, France
    - Radu Calinescu, University of York, United Kingdom
    - Andrea Ceccarelli, University of Florence, Italy
    - Felicita Di Giandomenico, CNR-ISTI, Italy
    - Carlos Gavidia-Calderon, The Open University, United Kingdom
    - Nikolaos Georgantas, Inria, France
    - Simos Gerasimou, University of York, United Kingdom
    - Jérémie Guiochet, Université de Toulouse3 LAAS-CNRS, France
    - Linas Laibinis, Vilnius University, Lithuania
    - Istvan Majzik, Budapest University of Technology and Economics (BME), Hungary
    - Paolo Masci, National Institute of Aerospace, Langley Research Center, USA
    - Henry Muccini, University of L’Aquila, Italy
    - András Pataricza, Budapest University of Technology and Economics (BME), Hungary
    - Cristina Seceleanu, Malardalen University, Sweden
    - Alin Stefanescu, University of Bucharest, Romania
    - Elena Troubitsyna, KTH Royal Institute of Technology, Sweden
    - Karthik Vaidhyanathan, University of L’Aquila, Italy
    - Marco Vieira, University of Coimbra, Portugal
    - Apostolos Zarras, University of Ioannina, Greece
    - Riccardo Pinciroli, Gran Sasso Science Institute, Italy

Icon

Web Chair

    - Amleto Di Salle, University of L’Aquila, Italy