[ecoop-info] CFP: SERENE 08 - RISE/EFTS Joint International Workshop

Tue Feb 19 04:23:32 CET 2008

Dear colleagues,

we am really pleased to inform you that the final version of the SERENE 08
CFP 
has been released.

SERENE is the RISE/EFTS Joint International workshop on “Software
Engineering for REsilieNt systems”, advocating 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.

Different kinds of contributions are welcome: Technical papers,
Experience/Industry papers, PhD Forum papers, and Tool papers. Two dedicated
sessions on formal methods for resilience and on resilience-explicit
development are also planned.

For any question you might have, you can refer to the SERENE 08 web page (
<http://serene2008.uni.lu> http://serene2008.uni.lu) or you can contact us.

Best Regards

Alexander (Sascha), Henry, Nicolas, and Patrizio

****************************************************************************

     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: Alexander.Romanovsky at newcastle.ac.uk

Web Site: http://serene2008.uni.lu

____________________________________________________________________________
______
Upcoming Events:

"Software Engineering of Fault Tolerant Systems", P. Pelliccione, H.
Muccini, N. Guelfi, A. Romanowsky (Eds.) 

Series on Software Engineering & Knowledge Engineering (Hardcover), World
Scientific Publishing.

http://www.worldscibooks.com/compsci/6362.html

WADS 08> DSN Workshop on Architecting Dependable Systems
[http://www.cs.kent.ac.uk/wads]

ICST 08> 1st Int. Conference on Software Testing, Verification and
Validation [http://www.cs.colostate.edu/icst2008/]
ASE 08> 23rd IEEE/ACM International Conference on
Automated Software Engineering [http://www.di.univaq.it/ase2008/]

DR HENRY MUCCINI
PhD in Computer Science
Dipartimento di Informatica, Università dell’Aquila, Italy
phone: +39 0862 433721
office:  A1/10, Coppito II
e-mail: muccini at di.univaq.it
Web:    <blocked::blocked::http://www.henrymuccini.com/>
http://www.HenryMuccini.com

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.aito.org/pipermail/ecoop-info/attachments/20080219/1ee7402a/attachment-0001.htm 