Workshop on Methods,
Models and Tools for Fault Tolerance
Program
9.00 Welcome
Session 1. Fault tolerance: Modelling in B (chair:
Alexander Romanovsky)
9.05 Elisabeth Ball, Michael Butler. Event-B Patterns for Specifying
Fault-Tolerance in Multi-Agent Interaction
9.30
Alexei Iliasov, Victor Khomenko, Maciej Koutny, Apostolos Niaouris,
Alexander Romanovsky. Mobile B Systems (Short presentation)
9.40
Linas Laibinis, Elena Troubitsyna, Sari Leppanen. Formal Reasoning about
Fault Tolerance and Parallelism in Communicating Systems
10.05 Divakar Yadav, Michael Butler. Formal development of
Fault Tolerant Transactions for Replicated Database using Ordered Broadcasts
10.30
Demo: RODIN platform
10.50 Coffee
Session 2. Fault tolerance: requirements, modeling and
verification (chair: Michael Butler)
11.15 Pablo F.Castro, Tom S.E. Maibaum. Reasoning about
System-Degradation and Fault-Recovery with Deontic Logic
11.40
Andrey Berlizev, Nicolas Guelfi. Engineering Fault-tolerance
Requirements using Deviations and the FIDJI Methodology (Short presentation)
11.50
Qaisar A. Malik, Johan Lilius, Linas Laibinis. Model-based Testing Using Scenarios
and Event-B Refinements (Short presentation)
12.00 Dubravka Ilic, Elena Troubitsyna,
Linas Laibinis, Colin Snook. Formalizing UML-based Development of Fault Tolerant Control
Systems
12.25 Demo: UMLB plug-in
12.45 Lunch
Session
3. Fault tolerant applications, formal verification (chair: Elena Troubitsyna)
13.45 Ansgar Fehnker, Matthias
Fruth, Annabelle McIver. Graphical modelling for simulation and
formal analysis of wireless network protocols
14.10 Michael Fisher, Boris Konev, Alexei Lisitsa. Temporal Verification of
Fault-Tolerant Protocols
14.35 Nathan Weston, Francois Taiani, Awais
Rashid.
Interaction Analysis for Fault Tolerance in Aspect-Oriented Programming (Short
presentation)
14:45 Budi Arief, Alexei Iliasov, Alexander
Romanovsky. Rigorous Development of Ambient Campus Applications that can Recover
from Errors (Short presentation)
14.55 Demo: Mobility plug-in
15.15 Tea
Session 4. Processes and architectures (chair:
Linas
Laibinis)
15.45
Ayda Saidane. SERENITY: A Generic framework for Dependability Construction. A
Patterns Oriented Approach
16.10 Marta Plaska, Marina WaldŽn, Colin
Snook.
Documenting the Progress of the System Development. (Short presentation)
16.20
Zheng Chen, Luc Moreau. Recording Accurate Process Documentation in the Presence of
Failures (Short presentation)
16.30 Anatoliy Gorbenko,
Vyacheslav Kharchenko, Alexander Romanovsky. Vertical and
Horizontal Composition in Service-Oriented Architecture
16.55
Vladimir Sklyar, Vyacheslav Kharchenko. A Method of Multiversion
Technologies Choice on Development of Fault Tolerant Software Systems (Short
presentation)
17.05 Discussion