********************************************
SERENE 08 - RISE/EFTS Joint International Workshop
on Software Engineering for REsilieNt systEms
November 17-19, 2008
Newcastle upon Tyne (UK)
http://serene2008.uni.lu
Call for papers
The SERENE 2008 workshop is an international forum for researchers
and practitioners interested in the advances in Software Engineering
for Resilient Systems. SERENE 2008 views resilient systems as open
distributed systems that have capabilities to dynamically adapt,
in a predictable way, to unexpected and harmful events, including faults
and errors. Engineering such systems is a challenging issue which needs
urgent attention from and combined efforts by people working in various
domains. Achieving this objective is a very complex task, since it
implies reasoning explicitly and in a consistent way about systems
functional and non-functional characteristics.
SERENE advocates the idea that resilience should be explicitly included
into traditional software engineering theories and practices and should
become an integral part of all steps of software development. As current
software engineering practices tend to either capture only normal behaviour,
or to deal with all abnormal situations only at the late development
phases, new software engineering methods and tools need to be developed
to support explicit handling of abnormal situations through the whole
software life cycle. Moreover, every phase of the software development
process needs to be enriched with the phase-specific resilience means.
SCOPE:
The following constitutes a list of the key software engineering domains
that the SERENE workshop will focus on. This list should not, however,
be considered as closed or technically restrictive:
- Formal and semi-formal modelling of resilience properties
- Re-engineering for resilience
- Software development processes for resilience
- Requirement engineering processes for resilience
- Model Driven Engineering of resilient systems
- Verification and validation of resilient systems
- Error and fault handling in the software life-cycle
- Resilience through exception handling in the software life-cycle
- Frameworks and design patterns for resilience
- Software architectures for resilience
- Component-based development and resilience
- System structuring for resilience
- Atomic actions
- Dynamic resilience mechanisms
- Resilience prediction
- Resilience metadata
- Reasoning and adaptation services for improving and ensuring resilience
- Intelligent and adaptive approaches to engineering resilient systems
- Engineering of self-healing autonomic systems
- Dynamic reconfiguration for resilience
- Run-time management of resilience requirements
- CASE tools for developing resilient systems
TYPES OF CONTRIBUTION:
Technical papers: Original work addressing the topics targeted by the workshop
can be submitted as technical papers. It may be theoretical or conceptual
papers. Advanced "work in progress" paper might be considered for
submission too.
Experience/Industry papers: Contributions of in-depth description of
practitioner experience reports or case studies within the scope of SERENE
are invited. Submissions should include sufficient information regarding
the application domain and the lessons learnt.
PhD Forum papers: We encourage Ph.D. students to submit paper that present
their objectives, methodology, and results mainly at an early stage in their
research. The PhD forum session should provide a critical but supportive
and constructive environment in which discussions about the subject are
encouraged. It aims to provide useful guidance for the dissertation research.
Project papers: Short papers describing ongoing projects related to SERENE
topics are welcome. Such papers shall highlight the main goals of the project
and the achieved results.
Tool papers: Papers presenting new tools or new versions of the existing
tools that support the development of resilient systems can be submitted
to this session. Commercial as well as open source tools are to be
considered.
Two dedicated sessions on formal methods for resilience and on resilience-
explicit development are planned. We specifically encourage submissions to
these sessions from the partners of two major EC ICT projects:
ReSIST (http://www.resist-noe.org/) and DEPLOY (http://deploy-project.eu/).
IMPORTANT DATES:
Submissions due by: June 23, 2008 (all papers)
Notification of acceptance: July 28, 2008
Camera ready due by: September 15, 2008
PROCEEDINGS:
The workshop has requested the cooperation status of ACM SIGSOFT,
which will result in the workshop papers being published on the ACM
digital library (pending approval).
SUBMISSION GUIDELINES:
All submissions are to be submitted electronically via the SERENE 2008
web site at http://serene2008.uni.lu. Each submission should identify
the type of contribution on the title page.
Papers should be formatted according to the ACM Proceedings Guidelines
(http://www.acm.org/sigs/pubs/proceed/template.html). All papers will be
peer-reviewed by at least three members of the international programme
committee, to be assessed in terms of their relevance to the workshop topics,
scientific and presentation quality, technical soundness and innovation.
The page limit for technical papers is ten (10) pages. For
Experience/Industry papers,
Project papers, Tool papers, PhD Forum papers the page limit is six (6) pages.
All submissions must be received electronically. One of the authors of
each accepted paper is to present the paper at the workshop. The authors
will need to sign the relevant ACM copyright transfer agreement
(pending approval).
SPONSORS:
- The European Research Consortium for Informatics and Mathematics
- FNR - Luxembourg National Research Fund
- FP7 DEPLOY IP on Industrial deployment of system engineering methods
providing high dependability and productivity
- LASSY - Laboratory for Advanced Software Systems, University of Luxembourg
- School of Computing Science, Newcastle University, UK
PROGRAM CHAIRS:
Nicolas Guelfi (University of Luxembourg, Luxembourg)
Henry Muccini (University of L'Aquila, Italy)
Patrizio Pelliccione (University of L'Aquila, Italy)
Alexander Romanovsky (Newcastle University, UK)
PROGRAM COMMITTEE:
Arve Aagesen Finn, NTNU, Norway
Avgeriou Paris, University of Groningen, The Netherlands
Bertolino Antonia, CNR-ISTI, Italy
Bondavalli Andrea, University of Florence, Italy
Born Marc, Fraunhofer FOKUS, Germany
Buchs Didier, SARIT - University of Geneva, Switzerland
Chillarege Ram, Chillarege Inc., USA
Di Giandomenico Felicita, CNR-ISTI, Italy
Di Marzo Serugendo Giovanna, Birkbeck College, UK
Fitzgerald John, Newcastle University, UK
Garlan David, Carnegie Mellon University, USA
Gnesi Stefania, CNR-ISTI, Italy
Grandry Eric, FNR - CRP Henri Tudor, Luxembourg
Grassi Vincenzo, University Roma Tor Vergata, Italy
Haajanen Jyrki, VTT, Finland
Heimdahl Mats, University of Minnesota, USA
Hiltunen Matti, AT&T Labs - Research, USA
Inverardi Paola, University of L'Aquila, Italy
Issarny Valerie, INRIA, France
Kaaniche Mohamed, LAAS-CNRS, France
Kienzle Jorg, McGill University , Canada
Klint Paul, CWI, The Netherlands
Maibaum Tom, McMaster University, Canada
Mirandola Raffaela, Politecnico di Milano, Italy
Mistrik Ivan, Independent Consultant, Germany
Moeller Eckhard, Fraunhofer FOKUS, Germany
Monostori Laszlo, SZTAKI, Hungary
Nawrocki Jerzy, Poznan University of Technology, Poland
Niemi Joni, VTT, Finland
Pataricza Andras, BUTE, Hungary
Pimentel Ernesto, SpaRCIM, Spain
Rubira Cecilia, State University of Campinas, Brazil
Savidis Anthony, FORTH, Greece
Schieferdecker Ina, Fraunhofer FOKUS, Germany
Tam Francis, Nokia Research, Finland
Trivedi Kishor S., Duke University, USA
Troubitsyna Elena, Aabo Akademi, Finland
Zarras Apostolos, University of Ioannina, Greece
CONTACT DETAILS
For more information, or to be placed on our mailing list, please use
the contact details below, referring explicitly to SERENE 2008:
SERENE 2008 Secretariat
School of Computing Science
Newcastle University (UK)
Fax: +44-191-222-8788
E-mail: [log in to unmask]
Web Site: http://serene2008.uni.lu
|