<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><!--StartFragment-->
<h3><font class="Apple-style-span" face="Courier" size="3"><span class="Apple-style-span" style="font-size: 12px; font-weight: normal;">
<!--StartFragment--><font class="Apple-style-span" face="Helvetica">SERENE 2010<br>2nd International Workshop on<br>Software Engineering for Resilient Systems<br>15-16 April 2010<br>Birkbeck College, London, UK<br>serene2010.uni.lu<br></font><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"><br></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Workshop Programme</font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"><br></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Thursday, 15
April</font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"><br></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">0830-0930 Registration and Refreshments</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">0930-1030 Welcome & Invited Lecture. </font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Chair: Giovanna di Marzo Serugendo</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Andreas Roth, SAP</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Title TBD</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><o:p><font class="Apple-style-span" face="Helvetica"> </font></o:p></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">1030-1100 Refreshments</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><o:p><font class="Apple-style-span" face="Helvetica"> </font></o:p></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">1100-1300 Session 1: Fault Tolerance and Patterns<br>
Chair: Henry Muccini</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Vidar Slatten, Frank Alexander Kraemer and Peter
Herrmann. Towards a Model-Driven </font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"> Method for Reliable Applications: From Ideal
To Realistic Transmission Semantics</font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Neil Harrison, Paris Avgeriou and Uwe Zdun. On the
Impact of Fault Tolerance Tactics </font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"> on Architecture Patterns</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Ilya Lopatkin, Alexei Iliasov and Alexander
Romanovsky. On Fault Tolerance Reuse</font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"> during Refinement</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">1230-1300 Discussion</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><o:p><font class="Apple-style-span" face="Helvetica"> </font></o:p></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">1300-1400 Lunch</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><o:p><font class="Apple-style-span" face="Helvetica"> </font></o:p></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">1400-1520 Session 2: Resilience and the UML</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Chair: Patrizio Pelliccione</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Damien Martin-Guillerez, Jérémie Guiochet, David
Powell and Zanon Christophe. </font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"> A UML-based method for risk analysis of
human-robot interactions</font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Ricardo J. Rodríguez Fernández, José Merseguer and
Simona Bernardi. Modelling and </font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"> Analysing Security Aspects within UML</font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">1500-1520 Discussion</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><o:p><font class="Apple-style-span" face="Helvetica"> </font></o:p></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">1520-1540 Refreshments</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><o:p><font class="Apple-style-span" face="Helvetica"> </font></o:p></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">1540-1700 Session 3: Stochastic and Quantitative Approaches</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Chair: Alexander Romanovsky</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Ossama Hamouda, Mohamed Kaaniche and Karama Kanoun. Availability
Modelling </font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"> of a Virtual Black Box for Automotive Systems</font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis. Augmenting
Formal Development </font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"> of Control Systems with Quantitative Reliability Assessment</font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">1640-1700 Discussion</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><o:p><font class="Apple-style-span" face="Helvetica"> </font></o:p></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">1700-1900 SERENE WG Closed Meeting</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><o:p><font class="Apple-style-span" face="Helvetica"> </font></o:p></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">1930 Workshop Dinner at the British Museum</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><o:p><font class="Apple-style-span" face="Helvetica"> </font></o:p></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"> </font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Friday, 16 April</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><o:p><font class="Apple-style-span" face="Helvetica"> </font></o:p></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">0930-1030 Invited Lecture</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Chair: John Fitzgerald</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Alan F T Winfield, Bristol Robotics Lab<br>
Swarm Engineering: a bio-inspired approach to resilient multi-robot systems</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><o:p><font class="Apple-style-span" face="Helvetica"> </font></o:p></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">1030-1100 Refreshments</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">1100-1300 Session 4: New Challenges (Experience and Project Reports)</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Chair: Nicolas Guelfi</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Alessio Ferrari, Alessandro Fantechi and Mario Papini.
An industrial application of </font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"> formal model based development: the Metro Rio ATP
case</font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Jan Broenink, Peter Gorm Larsen, Marcel Verhoef,
Christian Kleijn, Drusko Jovanovic, </font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"> Frederik Wouters and Ken Pierce. Design
Support and Tooling for Dependable </font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"> Embedded Control Software </font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Antonia Bertolino, Felicita Di Giandomenico, Antinisca
Di Marco, Valérie Issarny, Fabio Martinelli, </font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"> Paolo Manuel Masci, Ilaria
Matteucci, Rachid Saadi and Antonino Sabetta. Dependability in </font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"> dynamic,
evolving and heterogeneous systems: the CONNECT approach </font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Jinfu Wang, Peng Jiang, John Bigham, Bob Chew, Ilesh
Dattani and Milan Novkovic. </font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"> Adding resilience to Message Oriented Middleware</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"><br></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">1300 Closing and Report back from SERENE WG <br>
Nicolas Guelfi, Co-Chairman, SERENE WG</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"><br></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Lunch</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><o:p><font class="Apple-style-span" face="Helvetica"> </font></o:p></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">The meeting room facilities are available, with
mid-afternoon refreshments until </font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">1700 for those participants wishing to hold
project or break-out meetings after </font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">the formal workshop closing on Friday
afternoon.</font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><o:p><font class="Apple-style-span" face="Helvetica"> </font></o:p></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">The organisers reserve the right to modify the
programme if required.</font><font class="Apple-style-span" face="Helvetica"><o:p></o:p></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"><br></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">SERENE Spring School on April 13-14 - see <a href="http://serene2010.uni.lu/0_Spring_School">http://serene2010.uni.lu/0_Spring_School</a></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"><br></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Registration: <a href="http://serene2010.uni.lu/06_Registration">http://serene2010.uni.lu/06_Registration</a></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">Registration deadline: April 10, 2010</font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica"><br></font></div><div style="margin-top: 0.1pt; margin-right: 0cm; margin-bottom: 0.1pt; margin-left: 0cm; "><font class="Apple-style-span" face="Helvetica">For more informations please email<br></font><a href="mailto:jodi.hossbach@ncl.ac.uk"><font class="Apple-style-span" face="Helvetica">jodi.hossbach@ncl.ac.uk</font></a><font class="Apple-style-span" face="Helvetica">, referring explicitly to SERENE 2010.<br><br>Serene 2010 is supported by<br>- LASSY, the Laboratory for Advanced Software Systems, University<br> of Luxembourg (lassy.uni.lu)<br>- DEPLOY, the EU FP7 Integrated Project on industrial deployment of<br> system engineering methods providing high dependability and<br> productivity (</font><a href="http://www.deploy-project.eu/"><font class="Apple-style-span" face="Helvetica">www.deploy-project.eu</font></a><font class="Apple-style-span" face="Helvetica">)<br></font></div><p class="MsoNormal"><span lang="EN-US"><o:p><font class="Apple-style-span" face="Helvetica"> </font></o:p></span></p><div><br></div>
<!--EndFragment-->
</span></font></h3>
<!--EndFragment-->
</body></html>