Resilience is an ability of a system to persistently deliver trustworthy services despite changes. Modern software systems continuously change in response to evolving requirements, customer feedback, new business needs, platform upgrades etc. Despite frequent changes software is expected to function correctly and reliably especially while providing services that are critical to society, e.g., in such areas as transportation, healthcare, energy production etc. Since modern software should be developed to efficiently cope with changes, unforeseen failures and intrusions, design for resilience is becoming an increasingly important area of software engineering.
SERENE workshop has a long tradition of bringing together researchers and industry practitioners to discuss advances in engineering resilient systems. Since 2015 SERENE has become a part of a major European dependability forum – EDCC, the European Dependable Computing Conference.
The SERENE 2016 workshop provides 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
- Incremental development 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.
We welcome relevant contributions in the following forms:
- Technical papers describing original theoretical or practical work;
- Experience/Industry papers describing practitioner experience or field study, addressing an application domain and the lessons learned;
- PhD Forum papers describing objectives, methodology, and results at an early stage in research;
- Project papers describing goals and results of ongoing projects;
- Tool papers presenting new tools or new versions of existing tools that support the development of resilient systems.
- Submission due:
June 3rd, 2016June 19th, 2016
- Authors notification:
July 1th, 2016July 13th, 2016
- Camera ready papers:
July 15th, 2016July 20th, 2016
- Workshop: September 5-6, 2016
Papers can be submitted via EasyChair:
Each paper must be submitted in PDF and be formatted according to the Springer LNCS Guidelines: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 be no longer than 15 pages for technical and experience/industry papers, and 8 pages for all others.
Submitted papers must describe novel work and not be published elsewhere. All papers will be peer-reviewed and assessed for relevance to the workshop topics, technical soundness, innovation, scientific and presentation quality. Accepted papers must be presented by (one of) the author(s).
The Proceedings of SERENE 2016 will be published as a volume in Springer Lecture Notes in Computer Science (LNCS).
The Proceedings are available at: http://link.springer.com/openurl.asp?genre=issue&issn=0302-9743&volume=9823 (permanent link)
SERENE website: htttp://serene.disim.univaq.it