Visible to the public SERENE 2017Conflict Detection Enabled

Submitted by Anonymous on Mon, 03/06/2017 - 4:29pm
Sep 04, 2017 7:00 am - Sep 05, 2017 6:00 pm CEST

SERENE 2017 - 9th International Workshop on Software Engineering for Resilient Systems

Co-located with EDCC, European Dependable Computing Conference.

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.

The 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. This year SERENE will be held before the main programme of EDCC 2017 (http://edcc2017.unige.ch/index.html).
The SERENE 2017 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.

Program Chairs:

  • Alexander Romanovsky, Newcastle University, UK
  • Elena Troubitsyna, Abo Akademi University, Finland

Program Committee

  • Rami Bahsoon, Birmingham University, UK
  • Michael Butler, Southampton University, UK
  • Nelio Cacho, UFRN, Brazil
  • Andrea Ceccarelli, U. Firenze, Italy
  • Vincenzo De Florio, VITO, Belgium
  • Nikolaos Georgantas, INRIA, France
  • Anatoliy Gorbenko, Leeds Beckett University, UK
  • Felicita Di Giandomenico, CNR-ISTI, Italy
  • Lars Grunske, Humbort University Berlin, Germany
  • Jeremie Guiochet, LAAS, France
  • Dubravka Ilic, Space Systems Finland, Finland
  • Rolf Johansson, SP, Sweden
  • Mohamed Kaaniche, LAAS-CNRS, France
  • Linas Laibinis, Vilnius University, Lithuania
  • Istvan Majzik, BUTE, Hungary
  • Miroslaw Malek, U. Lugano, Switzerland
  • Henry Muccini, U. L'Aquila, Italy
  • Andras Pataricza, BUTE, Hungary
  • Patrizio Pelliccione, Chalmers University of Technology, Sweden
  • Andreas Roth, SAP, Germany
  • Juan Carlos Ruiz, Technical U. of Valencia, Spain
  • Juri Vain, Tallinn University of Technology, Estonia
  • Marco Vieira, U. Coimbra, Portugal
  • Wilhelm Hasselbring, Kiel University, Germany

Information:

Event Details
Location: 
Geneva, Switzerland
URL: 
http://serene.disim.univaq.it/2017/home