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

Website | Edit Freely

Category SERENE 2011

Deadline: April 18, 2011 | Date: September 29, 2011-September 30, 2011

Venue/Country: Geneva, Switzerland

Updated: 2011-01-29 11:57:13 (GMT+9)

Call For Papers - CFP

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