Programme

Jeff Magee, Imperial College London, UK

"Engineering Self-Managed Software Systems"

Lunch

Paola Inverardi, University of L’Aquila, Italy

"Assessing dependability for mobile and ubiquitous systems: Is there a role for Software Architectures?"

Mauro Pezzè, University of Lugano, Switzerland, and University of Milano Bicocca, Italy

"Software Self-Healing"

Lunch

Aad van Moorsel, University of Newcastle, UK

"Tools to Make Objective Information Security Decisions"

A special seminar in collaboration with BCS-FACS and the UK Safety-Critical Systems Club.

Robin Bloomfield, City University, London, and Adelard

"Interdependencies and Resilient Infrastructure"

Interdependencies are central to delivering resilience and also a potential source of vulnerability and risk. This talk will examine the challenges posed by the need to understand and evaluate the resilience of infrastructures, including intangible ‘soft’ infrastructures, and will discuss the potential contribution from the safety and computer science communities.

Registration: There is no charge for attending this meeting, but please indicate your attendance by ticking the appropriate box on the registration form.

Registration and Refreshments

Welcome & Invited Lecture

Chair: Giovanna di Marzo Serugendo

Refreshments

Session 1: Fault Tolerance and Patterns
Chair: Henry Muccini

Vidar Slåtten, Frank Alexander Kraemer and Peter Herrmann. Towards a Model-Driven Method for Reliable Applications: From Ideal To Realistic Transmission Semantics

Neil Harrison, Paris Avgeriou and Uwe Zdun. On the Impact of Fault Tolerance Tactics on Architecture Patterns

Ilya Lopatkin, Alexei Iliasov and Alexander Romanovsky. On Fault Tolerance Reuse during Refinement

1230-1300 Discussion

Lunch

Session 2: Resilience and the UML

Chair: Patrizio Pelliccione

Damien Martin-Guillerez, Jérémie Guiochet, David Powell and Zanon Christophe. A UML-based method for risk analysis of human-robot interactions

Ricardo J. Rodríguez Fernández, José Merseguer and Simona Bernardi. Modelling and Analysing Security Aspects within UML

1500-1520 Discussion
 

Refreshments

Session 3: Stochastic and Quantitative Approaches

Chair: Alexander Romanovsky

Ossama Hamouda, Mohamed Kaaniche and Karama Kanoun. Availability Modelling of a Virtual Black Box for Automotive Systems

Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis. Augmenting Formal Development of Control Systems with Quantitative Reliability Assessment

1640-1700 Discussion

SERENE WG Closed Meeting

Workshop Dinner at the British Museum

Invited Lecture

Chair: John Fitzgerald

Alan F T Winfield, Bristol Robotics Lab
Swarm Engineering: a bio-inspired approach to resilient multi-robot systems

Refreshments

Session 4: New Challenges (Experience and Project Reports)

Chair: Nicolas Guelfi

Alessio Ferrari, Alessandro Fantechi and Mario Papini. An industrial application of formal model based development: the Metro Rio ATP case

Jan Broenink, Peter Gorm Larsen, Marcel Verhoef, Christian Kleijn, Drusko Jovanovic, Frederik Wouters and Ken Pierce. Design Support and Tooling for Dependable Embedded Control Software

Antonia Bertolino, Felicita Di Giandomenico, Antinisca Di Marco, Valérie Issarny, Fabio Martinelli, Paolo Manuel Masci, Ilaria Matteucci, Rachid Saadi and Antonino Sabetta. Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach

Jinfu Wang, Peng Jiang, John Bigham, Bob Chew, Ilesh Dattani and Milan Novkovic. Adding resilience to Message Oriented Middleware

Closing and Report back from SERENE WG
Nicolas Guelfi, Co-Chairman, SERENE WG

Lunch

The meeting room facilities are available, with mid-afternoon refreshments until 1700 for those participants wishing to hold project or break-out meetings after the formal workshop closing on Friday afternoon.