4th International Workshop on Software Engineering for Resilient Systems 27-28 September 2012 - Pisa, Italy http://serene.uni.lu/Workshops/SERENE_2012
Unprecedented level of complexity of modern software makes it difficult to ensure its resilience – an ability of the system to persistently deliver its services in a 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. This trend urges the research community to develop powerful methods for assuring resilience of software-intensive systems. The SERENE 2012 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 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 • Empirical studies in the domain of resilient systems • Relations between resilience and other system Quality Attributes • 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 field 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.
Abstracts and papers are submitted via Easychair: https://www.easychair.org/conferences/?conf=serene2012 Your paper must: • be formatted according to the Springer LNCS Guidelines (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0); • respect page limits: 15 pages for technical papers and experience/industry papers; 8 pages for all others; • be submitted as PDF.
Submitted papers must be novel work and not published elsewhere. All papers will be peer-reviewed by at least three independent reviewers, assessed for relevance to the workshop topics, technical soundness, innovation, scientific and presentation quality. Accepted papers must be presented by one co-author.
Submission due: May 11th, 2012 Notification: June 8th, 2012 Camera ready: June 29th, 2012 Autumn School: September 25-26 2012 Workshop: September 27-28 2012
Program chair: Paris Avgeriou, University of Groningen, the Netherlands General chair: Felicita Di Giandomenico, ISTI-CNR, Italy