SERENE 2015 - 7th International Workshop on Software Engineering for Resilient Systems
Topics/Call fo Papers
The way software is developed is changing. It must take into account multifaceted constraints like unpredictable markets, evolving customer requirements, pressures of shorter time-to-market, etc. At the same time, software is controlling critical functionalities in several domains like transportation, health care, manufacturing, and IT infrastructures. As a result, modern software systems require on one side adding frequently (daily or weakly) new features, functionalities, or new versions of software artifacts according to changing contexts, business opportunities, or customer’s feedbacks, on the other side ensuring their resilience ? an ability of the system to persistently deliver its services in a dependable way even when facing changes, unforeseen failures and intrusions.
The SERENE 2015 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).
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;
Resilient cyber-physical systems and infrastructures;
Global aspects of resilience engineering: education, training and cooperation.
The SERENE 2015 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).
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;
Resilient cyber-physical systems and infrastructures;
Global aspects of resilience engineering: education, training and cooperation.
Other CFPs
- 5th IEEE International Conference on Big Data and Cloud Computing (BDCloud 2015)
- 9th International Conference on Frontier of Computer Science and Technology (FCST 2015)
- 2015 International Conference on Intelligent Information and Data Science (IIDS 2015)
- 2nd International Conference on Education, Law and Humanities
- 6th International Conference on Management, Economics and Social Sciences
Last modified: 2015-01-20 23:21:21