List

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 an increasingly important area of software engineering.

In 2018, the SERENE workshop celebrates its 10th anniversary of supporting resilient systems research (through more than 100 papers, 20 invited talks, 250 contributing authors, and 25,000 article downloads in Springer Link, over the years). Since 2015 SERENE has become a part of a major European dependability forum – EDCC. This year SERENE will be held before the main programme of EDCC 2018 (http://edcc2018.info.uaic.ro).

The SERENE 2018 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.

http://ipsiammonopoli.it/


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.
  • Position papers discussing challenges and emerging trends in resilience.

SERENE 2018 WebSite: URL

SERENE WebSite: URL

  Posts

1 2
August 27th, 2018

SERENE 2018 – 10th International Workshop on Software Engineering for Resilient Systems

Resilience is an ability of a system to persistently deliver trustworthy services despite changes. Modern software systems continuously change in […]

August 27th, 2018

I-CiTies 2018 – 4th Italian Conference on ICT for Smart Cities And Communities

A smart city is a vision where key infrastructure components and services – e.g., environmental, emergency response, transport/mobility/energy management – […]

April 30th, 2017

Panel on ICT for the Culturale Heritage – L’Aquila, 04-05 May 2017

L’evento “ICT per i Beni Culturali”, che si terra’ a L’Aquila nei giorni 04 e 05 Maggio 2017, si pone […]

April 30th, 2017

CINI Smart Cities University Challenge

Il CINI Smart City University Challenge e’ una competizione universitaria organizzata dall’Universita’ degli Studi dell’Aquila e dal Laboratorio CINI su […]

October 4th, 2016

Presenting @ iCities 2016 CINI event

I have been presenting two ongoing projects at iCities 2016, the CINI 2nd Annual Conference on ICT for Smart Cities […]

October 4th, 2016

Running the Educators Symposium @MODELS2016

The Educators Symposium @MODELS2016, event run in Saint-Malo on October 03rd, is being including the following presentations: 9:00-9:15 Opening 9:15-10:30 […]

October 4th, 2016

Running the COMMitMDE wokshop @MODELS 2016

COMMitMDE 2016 brings together experts in model driven software engineering and collaborative software engineering in order to give evidence on […]

July 24th, 2016

25 Years of Software Architecture: impact on the Software discipline

Sign in to this post to get news about this ongoing research. Preliminary results have been presented in my keynote […]

July 22nd, 2016

COMMitMDE workshop @ MODELS 2016

COMMitMDE 2016 is the 1st International Workshop on Collaborative Modelling in MDE. It will run co-located with MODELS 2016 in Saint […]

April 20th, 2016

EUROWEB+ meeting in L’Aquila

http://www.slideshare.net/henry.muccini/euroweb-meeting-at-the-university-of-laquila-italy купить кресло мешок в украине Крымские новости