October 3-4, 2013
Kiev, Ukraine (download SERENE’2013 CfP Flyer: doc, pdf, txt)
Unprecedented level of complexity of modern software, software-based systems and IT infrastructures makes it difficult to ensure their resilience – an ability of the system to persistently deliver its services in a trustworthy way even when facing changes, unforeseen failures and intrusions. Yet we are observing the increasingly pervasive use of software in such critical infrastructures as transportations, health care, energy production etc. which are evolvable systems functioning in dynamical and partially uncertain environment. This trend urges the research community to develop powerful methods for assuring resilience of software-intensive systems. The SERENE 2013 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:
Methodology:
• Relations between resilience, dependability and quality attributes;
• Requirements engineering & re-engineering for resilience;
• Trustworthy and intrusion-safe systems;
• Error, fault and exception handling in the software life-cycle;
Models & methods:
• Resilience prediction and experimental measurement;
• Modelling of resilience properties: formal & semi-formal techniques;
• Verification and validation of resilient systems;
• Diversity and multi-version technologies for resilience.
Tools & technologies:
• Frameworks, patterns and software architectures for resilience;
• Resilience at run-time: metadata, mechanisms, reasoning and adaptation;
• CASE tools for developing resilient systems.
Case-studies & applications:
• Empirical studies in the domain of resilient systems;
• Cloud computing and resilient service provisioning;
• Resilience of software-hardware co-engineering;
• Engineering of self-healing autonomic systems;
• Resilience of cyber physical systems and infrastructures;
• Global aspects of resilience engineering: education, training, cooperation.
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.
Submission
Abstracts and papers are submitted via Easychair:
https://www.easychair.org/conferences/?conf=serene2013
Your paper must:
• be formatted according to the Springer LNCS Guidelines
(Springer LNCS);
• 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.
Important dates:
Submission due: June 5, June 12, 2013
Notification: July 9, 2013
Camera ready:July 22, 2013
Autumn School: 1-2, 2013
Workshop: October 3-4, 2013