[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CfPart: Workshop on SE for Resilient Systems - SERENE 2010



SERENE 2010
2nd International Workshop on
Software Engineering for Resilient Systems
15-16 April 2010
Birkbeck College, London, UK
serene2010.uni.lu

Call for Participation 

Workshop Programme

Thursday, 15 April

0830-0930 Registration and Refreshments
0930-1030 Welcome & Invited Lecture
Chair: Giovanna di Marzo Serugendo
Andreas Roth, SAP
Title TBD
 
1030-1100 Refreshments
 
1100-1300 Session 1: Fault Tolerance and Patterns
Chair: Henry Muccini
Vidar Slatten, 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
 
1300-1400 Lunch
 
1400-1520  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
 
1520-1540 Refreshments
 
1540-1700  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
 
1700-1900 SERENE WG Closed Meeting
 
1930 Workshop Dinner at the British Museum
 
 
Friday, 16 April
 
0930-1030 Invited Lecture
Chair: John Fitzgerald
Alan F T Winfield, Bristol Robotics Lab
Swarm Engineering: a bio-inspired approach to resilient multi-robot systems
 
1030-1100 Refreshments
1100-1300  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

1300 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.
 
The organisers reserve the right to modify the programme if required.


SERENE Spring School on April 13-14 - see http://serene2010.uni.lu/0_Spring_School



For more informations please email
jodi.hossbach@ncl.ac.uk, referring explicitly to SERENE 2010.

Serene 2010 is supported by
- LASSY, the Laboratory for Advanced Software Systems, University
  of Luxembourg (lassy.uni.lu)
- DEPLOY, the EU FP7 Integrated Project on industrial deployment of
 system engineering methods providing high dependability and
 productivity (
www.deploy-project.eu)