SERENE 2011 - SERENE 2011 : 3rd International Workshop on Software Engineering for Resilient Systems

Unprecedented level of complexity of modern software makes it
difficult to ensure its resilience - an ability of the system
persistently deliver its services in the trustworthy way even when
facing changes. Yet we are observing the increasingly pervasive use of
software in such critical infrastructures as transportations, health
care, energy production etc. Such a trend could lead to devastating
accidents unless the research community develops powerful methods for
assuring resilience of software-intensive systems. The SERENE 2011
workshop provides a forum for researchers and practitioners to
exchange reports on advances in all areas relevant to this challenge,
including, but not limited to:

- Modelling of resilience properties: formal & semi-formal techniques
- Requirements, software engineering & re-engineering for resilience
- Verification and validation of resilient systems
- Resilience prediction and experimental measurement
- Error, fault and exception handling in the software life-cycle
- Frameworks, patterns and software architectures for resilience
- Resilience at run-time: metadata, mechanisms, reasoning and adaptation
- Engineering of self-healing autonomic systems
- Quantitative approaches to ensuring resilience
- CASE tools for developing resilient systems
We welcome relevant contributions in the following forms:
Technical papers describing original theoretical or practical work;
advanced "work in progress" papers may also be considered.
Experience/Industry papers describing practitioner experience or case
studies, addressing the application domain and lessons learned.
PhD Forum papers describing objectives, methodology, and results at an
early stage in research. Special sessions will provide an opportunity
to discuss PhD work and obtain constructive advice from experienced
advisors.

Project papers: Short papers describing goals and results of ongoing
projects related to SERENE topics are welcome.
Tool papers: Papers presenting new tools or new versions of the
existing tools that support the development of resilient systems.
Pending : SERENE 2011 proceeding will be published as a volume of
Lecture Notes in Computer Science.

Important dates:
Submission due: April 18th, 2011
Notification: May 31st, 2011
Camera ready: June 30th, 2011
Workshop: September 29-30, 2011