Workshop Program


Tuesday, 13 April


Spring School on Resilience and Self-* Systems
0830-0900 / (MAL 153) Registration and Refreshments
0900-1230 / (MAL 153) Jeff Magee, Imperial College London, UK
“Engineering Self-Managed Software Systems” – (Download Slide: SLIDES)
1230-1330 / (MAL 415) Lunch
1330-1700 / (MAL 153) Paola Inverardi, University of L’Aquila, Italy
“Assessing dependability for mobile and ubiquitous systems: Is there a role for Software Architectures?” – (Download Slide: SLIDES)
1930 Spring School Dinner at Truckles



Wednesday, 14 April


Spring School on Resilience and Self-* Systems
0830-0900 / (MAL 153) Registration and Refreshments
0900-1230 / (MAL 153) Mauro Pezzè, University of Lugano, Switzerland, and University of Milano Bicocca, Italy
“Software Self-Healing” – (Download Slide: SLIDES)
1230-1330 / (MAL 415) Lunch
1330-1700 / (MAL 153) Aad van Moorsel, University of Newcastle, UK
“Tools to Make Objective Information Security Decisions” – (Download Slide: SLIDES)
Evening Seminar
(MAL B04)1745-1900
(MAL B36)
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.
The talk will draw on a study on interdependencies for the TSB, CPNI and EPSRC in which we consulted a wide a range of Critical National Infrastructure stakeholders and reviewed research specific to modelling, analyzing and understanding dependencies. The study identified the state-of-the-art and the government and industry requirements for tools and services. It concluded with a strategy aiming to bridge the gaps between the capabilities and requirements, where this was identified as currently feasible.
CSR was also a partner in the EU IRRIIS project and we have been building and experimenting with a range of models based on deterministic service models and stochastic activity nets. I will summarise some of the lessons from developing a model of central Rome’s power and telecommunications infrastructures and, in the light of the policy and strategy context, discuss the importance of intangible ‘soft’ infrastructures and the potential contribution from the safety and computer science communities in the interdisciplinary challenges
Registration: There is no charge for attending this meeting, but please indicate your attendance by ticking the appropriate box on the registration form.



Thursday, 15 April


SERENE 2010 Workshop
0830-0930 / (MAL 153) Registration and Refreshments
0930-1030 / (MAL 153) Welcome & Invited Lecture
Chair: Giovanna di Marzo Serugendo
Andreas Roth, SAP Research Darmstadt, Germany
“Making Formal Methods attractive – Experiences from business application development”

There are different reasons which make the application of Formal Methods attractive in different industrial sectors. We will look at the use of Formal Methods specifically in the Business Application domain and the special requirements which Formal Methods need to meet there. We will illustrate these requirements through concrete experiences gathered in the DEPLOY project. These include the deep integration of Formal Methods in the current working environment of developers, as for instance in domain specific languages. We highlight selected research challenges which arise from this approach and which still need to be solved.
1030-1100 / (MAL 153) Refreshments
1100-1300 / (MAL 153) 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 – (Download Slide: SLIDES)
Neil Harrison, Paris Avgeriou and Uwe Zdun. On the Impact of Fault Tolerance Tactics on Architecture Patterns – (Download Slide: SLIDES)
Ilya Lopatkin, Alexei Iliasov and Alexander Romanovsky. On Fault Tolerance Reuse during Refinement – (Download Slide: SLIDES)
1230-1300 Discussion
1300-1400 / (MAL 415) Lunch
1400-1520 / (MAL 153) 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 – (Download Slide: SLIDES)
Ricardo J. Rodríguez Fernández, José Merseguer and Simona Bernardi. Modelling and Analysing Resilience as a Security Issue within UML – (Download Slide: SLIDES)
1500-1520 Discussion
1520-1540 /(MAL 153) Refreshments
1540-1700 / (MAL 153) 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 – (Download Slide: SLIDES)
Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis. Augmenting Formal Development of Control Systems with Quantitative Reliability Assessment – (Download Slide: SLIDES)
1640-1700 Discussion
1700-1900 / (MAL 153) SERENE WG Closed Meeting
1930 Workshop Dinner at the British Museum



Friday, 16 April


SERENE 2010 Workshop
0830-0930 / (MAL 153) Registration and Refreshments
0930-1030 / (MAL 153) Invited Lecture
Chair: John Fitzgerald
Alan F T Winfield, Bristol Robotics Lab
Swarm Engineering: a bio-inspired approach to resilient multi-robot systems
(Download Slide: SLIDES)
Swarm robotics is a new approach to multi-robot systems in which control is completely decentralised and distributed. Inspired by the self-organising collective behaviours of social insects each robot has a simple set of behaviours with local sensing and communications. The overall desired system behaviours emerge from the local interactions between robots, and between robots and their environment. The promise of swarm robotics is that it offers the potential of highly adaptable, scalable and resilient systems, able to tolerate the failure of many individual robots without loss of overall system (i.e. swarm) functionality. Significant engineering challenges, however, are firstly how to design the emergent, self-organising properties of the swarm, and secondly how to assure safe and dependable operation.
This talk will introduce swarm robotics, illustrating the state-of-the-art with respect to current research, both within the Bristol Robotics Lab and elsewhere. We will discuss the remarkable potential of robot swarms to a very wide range of applications, and the challenges that will need to be overcome before real-world robot swarms become a reality.
1030-1100 / (MAL 153) Refreshments
1100-1300 / (MAL 153) Session 4: New Challenges (Experience and Project Reports)
Chair: Nicolas Guelfi
Alessio Ferrari, Alessandro Fantechi, Mario Papini and Daniele Grasso. An industrial application of formal model based development: the Metro Rio ATP case – (Download Slide: SLIDES)
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 – (Download Slide: SLIDES)
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 – (Download Slide: SLIDES)
Jinfu Wang, Peng Jiang, John Bigham, Bob Chew, Ilesh Dattani and Milan Novkovic. Adding resilience to Message Oriented Middleware – (Download Slide: SLIDES)
1300 / (MAL 415) Closing and Report back from SERENE WG
Nicolas Guelfi, Co-Chairman, SERENE WG
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.

he organisers reserve the right to modify the programme if required.