1st Int. workshop on Software Engineering for Resilient Systems - SERENE 2008
November 17-19, 2008
Newcastle upon Tyne, UK
http://serene2008.uni.lu/
CALL FOR PARTICIPATION
SERENE 2008 is organized by the ERCIM working group SERENE and
is being held in cooperation with ACM SIGSOFT. The SERENE 2008
workshop is an international forum for researchers and practitioners
interested in the advances in Software Engineering for Resilient Systems.
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.
For further information, please visit the SERENE website at:
http://serene2008.uni.lu/
The program at a glance:
- two invited talks (Brian Randell, Newcastle University, UK and
Ralf Reussner, Universität Karlsruhe, Germany)
- three Technical Papers sessions
- two PhD Forum sessions
- a Project session
- an Experience/Industry session
-----------------------------------------------------------------------
Preliminary Program
NOVEMBER 17
13:30 Welcome
13:45 Invited talk: Brian Randell. System
Complexity, Dependability and Failures
15:00 Break
Technical session: Architectures and modelling
15:30 Simone Cirani, Natalya Fedotova, Luca Veltri. A Resilient Architecture
for DHT-based Distributed Collaborative Environments
16:00 Neil Harrison, Paris Avgeriou. Incorporating Fault Tolerance Tactics
in Software Architecture Patterns
16:30 Sadaf Mustafiz, Jörg Kienzle, Andrey Berlizev. Addressing Degraded
Outcomes and Degraded Modes in Behavioural Models
17:00 Discussion
17:30 Day-1 Close
NOVEMBER 18
9:00 The SERENE ERCIM working group Report
9:15 Invited talk: Ralf Reussner. Challenges and Results in Component
Quality Certification
10:30 Break
Technical session: Mobility
11:00 Máté Kovács, Paolo Lollini, István
Majzik, Andrea Bondavalli. An Integrated
Framework for the Dependability
Evaluation of Distributed Mobile Applications
11:30 Linas Laibinis, Elena Troubitsyna, Alexei
Iliasov, Alexander Romanovsky.
Formal development of cooperative
exception handling for mobile agent systems
12:00 Discussion
12:30 Lunch
Experience/Industry session
14:00 Anatoliy Gorbenko, Vyacheslav
Kharchenko, Olga Tarasyuk, Yuhui Chen,
Alexander Romanovsky. The Threat
of Uncertainty in Service-Oriented Architecture
14:30 Gabriel Zenarosa, Soumya Simanta. Experiences in Engineering Active
Replication into a Traditional
Three-tiered Client-server System
15:00 Massimo Felici, Valentino Meduri, Alessandra Tedeschi, Carlo Riccucci.
Supporting Resilience in Air Traffic Management
15:30 Break
PhD Forum papers: session 1
16:00 Anirban Bhattacharyya, John Fitzgerald. Development of a Formalism for
Modelling and Analysis of Dynamic
Reconfiguration of Dependable Real-Time
Systems: A Technical Diary
16:30 Richard Payne. RPL: A Policy Language For Dynamic Reconfiguration
17:00 Discussion
17:30 Day-2 Close
NOVEMBER 19
Technical session: Construction of and reasoning about resilient systems
9:00 Fernando Barros. An Evolving Hierarchical & Modular Approach to
Resilient Software
9:30 Ian Hayes. Towards Reasoning about Teleo-Reactive Programs for Robust
Real-Time Systems
10:00 Discussion
10:30 Break
PhD Forum papers: session 2
11:00 James Hawthorne, Richard Anthony. A Reconfigurable Component
Model Using Reflection
11:30 Ilya Lopatkin. Resilience through Dynamic
Reconfiguration in Agent Systems
12:00 Thorsten van Ellen, Wilhelm Hasselbring. Extended Exceptions for
Contingencies and their
Implications for the Software Life-Cycle
Project papers
12:30 Alexander Romanovsky. DEPLOY: Industrial Deployment of Advanced System
Engineering Methods for High Productivity and Dependability
12:50 Henrique Moniz, Paolo Masci, Alessandra Tedeschi. Services for Fault-
Tolerant Conflict Resolution in Air Traffic Management
13:10 Discussion
13:30 Day-3 Close
-----------------------------------------------------------------------
The SERENE organizing committee:
Nicolas Guelfi, Univ. of Luxembourg, Luxembourg
Henry Muccini, Univ. of LAquila, Italy
Patrizio Pelliccione, Univ. of LAquila, Italy
Alexander Romanovsky, Newcastle Univ., UK
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
