SERENE 2019

11th International Workshop on Software Engineering for Resilient Systems
September 17, 2019, Naples (Italy)

Co-located with the 15th European Dependable Computing Conference (EDCC)

Resilient systems withstand, recover from, and adapt to disruptive changes with acceptable degradation in their provided services. Resilience is particularly important 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, 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 efficiently cope with changes, unforeseen failures and malicious cyber attacks, 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 2019 conference (http://edcc.dependability.org).

The SERENE 2019 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-healing autonomic 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 adaption and resilience);
• Resilient cyber-physical systems and infrastructures;
• Global aspects of resilience engineering: education, training and cooperation.

The SERENE-2019 proceedings will be published by Springer in the LNCS series, and all submissions should conform to the Springer LNCS style specified at http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
and should describe, in English, original work that has not been published or submitted for publication elsewhere. PDF versions of papers should be submitted electronically via EasyChair https://easychair.org/conferences/?conf=serene2019
We welcome relevant contributions in the following forms:

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

Journal Special Issue
The authors of the best submissions will be invited to submit extended, revised versions of their papers to the forthcoming Special Issue on ‘Resilient Software and Software-Controlled Systems’ of Springer’s Computing journal.

Important Dates

Program Chairs:

• Radu Calinescu, University of York, UK
• Felicita Di Giandomenico, ISTI-CNR, Italy

Information

SERENE website: htttp://serene.disim.univaq.it

LinkedIn group: https://www.linkedin.com/groups/4365850

Slideshare: www.slideshare.net/SERENEWorkshop/

Web chair: Mirco Franzago, University of L’Aquila, Italy