Difference between revisions of "SERENE 2008"
| Line 17: | Line 17: | ||
}} | }} | ||
| − | |||
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. | 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. | ||
| Line 23: | Line 22: | ||
| − | LOCATION | + | ==LOCATION== |
SERENE 2008 will be held in Newcastle upon Tyne (UK) http://www.newcastle.gov.uk/ | SERENE 2008 will be held in Newcastle upon Tyne (UK) http://www.newcastle.gov.uk/ | ||
| − | SCOPE | + | ==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: | 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 | + | ==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. | 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. | ||
| Line 71: | Line 70: | ||
| − | PROGRAM CHAIRS | + | ==PROGRAM CHAIRS== |
Nicolas Guelfi (University of Luxembourg, LUXEMBOURG) | Nicolas Guelfi (University of Luxembourg, LUXEMBOURG) | ||
| Line 79: | Line 78: | ||
| − | PROGRAM COMMITTEE | + | ==PROGRAM COMMITTEE== |
| − | Arve Aagesen Finn, NTNU, Norway | + | * [[has PC member::Arve Aagesen Finn]], NTNU, Norway |
| − | Avgeriou Paris, University of Groningen, The Netherlands | + | * [[has PC member::Avgeriou Paris]], University of Groningen, The Netherlands |
| − | Bertolino Antonia, CNR-ISTI, Italy | + | * [[has PC member::Bertolino Antonia]], CNR-ISTI, Italy |
| − | Bondavalli Andrea, University of Florence, Italy | + | * [[has PC member::Bondavalli Andrea]], University of Florence, Italy |
| − | Born Marc, Fraunhofer FOKUS, Germany | + | * [[has PC member::Born Marc]], Fraunhofer FOKUS, Germany |
| − | Buchs Didier, SARIT - University of Geneva, Switzerland | + | * [[has PC member::Buchs Didier]], SARIT - University of Geneva, Switzerland |
| − | Chillarege Ram, Chillarege Inc., USA | + | * [[has PC member::Chillarege Ram]], Chillarege Inc., USA |
| − | Di Giandomenico Felicita, CNR-ISTI, Italy | + | * [[has PC member::Di Giandomenico Felicita]], CNR-ISTI, Italy |
| − | Di Marzo Serugendo Giovanna, Birkbeck College, UK | + | * [[has PC member::Di Marzo Serugendo Giovanna]], Birkbeck College, UK |
| − | Fitzgerald John, Newcastle University, UK | + | * [[has PC member::Fitzgerald John]], Newcastle University, UK |
| − | Garlan David, Carnegie Mellon University, USA | + | * [[has PC member::Garlan David]], Carnegie Mellon University, USA |
| − | Gnesi Stefania, CNR-ISTI, Italy | + | * [[has PC member::Gnesi Stefania]], CNR-ISTI, Italy |
| − | Grandry Eric, FNR - CRP Henri Tudor, Luxembourg | + | * [[has PC member::Grandry Eric]], FNR - CRP Henri Tudor, Luxembourg |
| − | Grassi Vincenzo, University Roma Tor Vergata, Italy | + | * [[has PC member::Grassi Vincenzo]], University Roma Tor Vergata, Italy |
| − | Haajanen Jyrki, VTT, Finland | + | * [[has PC member::Haajanen Jyrki]], VTT, Finland |
| − | Heimdahl Mats, University of Minnesota, USA | + | * [[has PC member::Heimdahl Mats]], University of Minnesota, USA |
| − | Hiltunen Matti, AT&T Labs - Research, USA | + | * [[has PC member::Hiltunen Matti]], AT&T Labs - Research, USA |
| − | Inverardi Paola, University of L'Aquila, Italy | + | * [[has PC member::Inverardi Paola]], University of L'Aquila, Italy |
| − | Issarny Valerie, INRIA, France | + | * [[has PC member::Issarny Valerie]], INRIA, France |
| − | Kaaniche Mohamed, LAAS-CNRS, France | + | * [[has PC member::Kaaniche Mohamed]], LAAS-CNRS, France |
| − | Kienzle Jorg, McGill? University , Canada | + | * [[has PC member::Kienzle Jorg]], McGill? University , Canada |
| − | Klint Paul, CWI, The Netherlands | + | * [[has PC member::Klint Paul]], CWI, The Netherlands |
| − | Maibaum Tom, McMaster? University, Canada | + | * [[has PC member::Maibaum Tom]], McMaster? University, Canada |
| − | Mirandola Raffaela, Politecnico di Milano, Italy | + | * [[has PC member::Mirandola Raffaela]], Politecnico di Milano, Italy |
| − | Mistrik Ivan, Independent Consultant, Germany | + | * [[has PC member::Mistrik Ivan]], Independent Consultant, Germany |
| − | Moeller Eckhard, Fraunhofer FOKUS, Germany | + | * [[has PC member::Moeller Eckhard]], Fraunhofer FOKUS, Germany |
| − | Monostori Laszlo, SZTAKI, Hungary | + | * [[has PC member::Monostori Laszlo]], SZTAKI, Hungary |
| − | Nawrocki Jerzy, Poznan University of Technology, Poland | + | * [[has PC member::Nawrocki Jerzy]], Poznan University of Technology, Poland |
| − | Niemi Joni, VTT, Finland | + | * [[has PC member::Niemi Joni]], VTT, Finland |
| − | Pataricza Andras, BUTE, Hungary | + | * [[has PC member::Pataricza Andras]], BUTE, Hungary |
| − | Pimentel Ernesto, SpaRCIM, Spain | + | * [[has PC member::Pimentel Ernesto]], SpaRCIM, Spain |
| − | Rubira Cecilia, State University of Campinas, Brazil | + | * [[has PC member::Rubira Cecilia]], State University of Campinas, Brazil |
| − | Savidis Anthony, FORTH, Greece | + | * [[has PC member::Savidis Anthony]], FORTH, Greece |
| − | Schieferdecker Ina, Fraunhofer FOKUS, Germany | + | * [[has PC member::Schieferdecker Ina]], Fraunhofer FOKUS, Germany |
| − | Tam Francis, Nokia Research, Finland | + | * [[has PC member::Tam Francis]], Nokia Research, Finland |
| − | Trivedi Kishor S., Duke University, USA | + | * [[has PC member::Trivedi Kishor S.]], Duke University, USA |
| − | Troubitsyna Elena, Aabo Akademi, Finland | + | * [[has PC member::Troubitsyna Elena]], Aabo Akademi, Finland |
| − | Zarras Apostolos, University of Ioannina, Greece | + | * [[has PC member::Zarras Apostolos]], University of Ioannina, Greece |
| − | + | ==PROCEEDINGS== | |
| − | 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). | 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 | + | ==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. | 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. | ||
| Line 135: | Line 133: | ||
| − | IMPORTANT DATES | + | ==IMPORTANT DATES== |
| + | |||
| + | * Submissions due June 30, 2008 (extended) | ||
| + | * Notification of acceptance July 28, 2008 | ||
| + | * Camera ready due by September 15, 2008 | ||
| − | |||
| − | |||
| − | |||
| + | ==SPONSORS== | ||
| − | + | * ERCIM - The European Research Consortium for Informatics and Mathematics (http://www.ercim.org) | |
| + | * FNR - Luxembourg National Research Fund (http://www.fnr.lu) | ||
| + | * FP7 DEPLOY IP on Industrial deployment of system engineering methods providing high dependability and productivity - http://deploy-project.eu/) | ||
| + | * LASSY - Laboratory for Advanced Software Systems, University of Luxembourg (http://lassy.uni.lu) | ||
| + | * School of Computing Science, Newcastle University, UK (http://www.cs.ncl.ac.uk/) | ||
| + | * ReSIST - Resilience for Survivability in IST. A European Network of Excellence (http://www.resist-noe.org) | ||
| − | + | This CfP was obtained from [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=3241&copyownerid=2 WikiCFP] | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
Latest revision as of 18:14, 8 November 2008
| SERENE 2008 | |
|---|---|
RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms
| |
| Dates | Nov 17, 2008 (iCal) - Nov 17, 2008 |
| Homepage: | serene2008.uni.lu |
| Location | |
| Location: | Newcastle, UK |
Loading map... | |
| Important dates | |
| Submissions: | Jun 30, 2008 |
| Notification: | Jul 28, 2008 |
| Table of Contents | |
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.
LOCATION
SERENE 2008 will be held in Newcastle upon Tyne (UK) http://www.newcastle.gov.uk/
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/).
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
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).
IMPORTANT DATES
- Submissions due June 30, 2008 (extended)
- Notification of acceptance July 28, 2008
- Camera ready due by September 15, 2008
SPONSORS
- ERCIM - The European Research Consortium for Informatics and Mathematics (http://www.ercim.org)
- FNR - Luxembourg National Research Fund (http://www.fnr.lu)
- FP7 DEPLOY IP on Industrial deployment of system engineering methods providing high dependability and productivity - http://deploy-project.eu/)
- LASSY - Laboratory for Advanced Software Systems, University of Luxembourg (http://lassy.uni.lu)
- School of Computing Science, Newcastle University, UK (http://www.cs.ncl.ac.uk/)
- ReSIST - Resilience for Survivability in IST. A European Network of Excellence (http://www.resist-noe.org)
This CfP was obtained from WikiCFP
