Workshop Program

From $1

    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" - 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?" - 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" - slides
    1230-1330 / (MAL 415) Lunch
    1330-1700 / (MAL 153) Aad van Moorsel, University of Newcastle, UK
    "Tools to Make Objective Information Security Decisions" - slides
    Evening Seminar
    1715-1745
    (tea)
    (MAL B04)

     

    1745-1900
    (seminar)
    (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 - slides
    Neil Harrison, Paris Avgeriou and Uwe Zdun. On the Impact of Fault Tolerance Tactics on Architecture Patterns - slides
    Ilya Lopatkin, Alexei Iliasov and Alexander Romanovsky. On Fault Tolerance Reuse during Refinement - 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 - slides
    Ricardo J. Rodríguez Fernández, José Merseguer and Simona Bernardi. Modelling and Analysing Resilience as a Security Issue within UML - 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 - slides
    Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis. Augmenting Formal Development of Control Systems with Quantitative Reliability Assessment - 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
    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 - 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 - 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 - slides
    Jinfu Wang, Peng Jiang, John Bigham, Bob Chew, Ilesh Dattani and Milan Novkovic. Adding resilience to Message Oriented Middleware - slides
    1300 / (MAL 415) 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.

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

    Tags: (Edit tags)
    • No tags
    FileSizeDateAttached by 
     1.1.Slatten.pdf
    No description
    1576.33 kB16:12, 19 Jul 2011shahed.parnianActions
     1.2.Avgeriou.pdf
    No description
    218.37 kB16:12, 19 Jul 2011shahed.parnianActions
     1.3.Lopatkin.pdf
    No description
    1481.63 kB16:12, 19 Jul 2011shahed.parnianActions
     2.1.Guiochet.pdf
    No description
    3.31 MB16:12, 19 Jul 2011shahed.parnianActions
     2.2.Fernandez.pdf
    No description
    1533.45 kB16:12, 19 Jul 2011shahed.parnianActions
     3.1.Kaaniche.pdf
    No description
    3.18 MB16:12, 19 Jul 2011shahed.parnianActions
     3.2.Tarasyuk.pdf
    No description
    229.8 kB16:12, 19 Jul 2011shahed.parnianActions
     4.1.Grasso.pdf
    No description
    763.17 kB16:12, 19 Jul 2011shahed.parnianActions
     4.2.Broenink.pdf
    No description
    1212.56 kB16:12, 19 Jul 2011shahed.parnianActions
     4.3.masci.pdf
    No description
    967.84 kB16:12, 19 Jul 2011shahed.parnianActions
     4.4.Wang.pdf
    No description
    1566.05 kB16:12, 19 Jul 2011shahed.parnianActions
     InvitedWinfield.pdf
    No description
    5.99 MB16:12, 19 Jul 2011shahed.parnianActions
     school_10_serene_aad.ppt
    No description
    7.23 MB16:12, 19 Jul 2011shahed.parnianActions
     school_2010-SERENE-print.ppt
    No description
    7.34 MB16:12, 19 Jul 2011shahed.parnianActions
     school_serene-april-2010.pdf
    No description
    2.67 MB16:12, 19 Jul 2011shahed.parnianActions
     school_serene-talk-inverardi.ppt
    No description
    3 MB16:12, 19 Jul 2011shahed.parnianActions
    Comments (0)
    You must login to post a comment.

     
    Powered by MindTouch