Thursday, September 27th (CNR Pisa, Aula 28)
|
9:00-9:15 |
Opening Session. Paris Avgeriou, Felicita Di Giandomenico |
|
9:15-10:30 |
Invited Talk. Nuno Ferreira Neves. Building Intrusion Tolerance: Challenges and Solutions |
|
10:30-11:00 |
Coffee |
|
11:00-12:15 |
Fault tolerance and exception handling
Session chair: Patrizio Pelliccione
Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming, Yannis Lilis and Anthony Savidis
A Case Study in Formal Development of a Fault Tolerant Multi-Robotic System, Inna Pereverzeva, Elena Troubitsyna, and Linas Laibinis Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach, Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque and Yannick Deleris |
|
12:30-14:00 |
Lunch |
|
14:00-15:00 |
Safety modeling Session chair: Antonia Bertolino
Linking Modelling in Event-B with Safety Cases, Yuliya Prokhorova and Elena Troubitsyna
Safety Lifecycle Development Process Modeling for Embedded Systems – Example of Railway Domain, Brahim Hamid, Jacob Geisel, Adel Ziani and David Gonzalez
|
|
15:00-16:00 |
Supporting Evolution
Session chair: Elena Troubitsyna
Language Enrichment for Resilient MDE, Yasir Imtiaz Khan and Matteo Risoldi Assume-Guarantee Testing of Evolving Software Product Line Architectures, Maurice H. ter Beek, Henry Muccini, and Patrizio Pelliccione |
|
16:00-16:30 |
Coffee |
|
16:30-17:30 |
Discussion Panel (Future research in Resilience) Chair: Paris Avgeriou |
20:30 Conference Dinner
Friday, September 28th (CNR Pisa, Aula 28)
|
9:00-10:15 |
Invited Talk. Andrea Zisman. Discovering and Adapting Services Session chair: Paris Avgeriou |
|
10:15-10:45 |
Coffee |
|
10:45-12:15 |
Resilience in Service-Oriented Computing Session chair: Henry Muccini
FAS: Introducing a Service for Avoiding Faults in Composite Services, Koray Gulcu, Hasan Sozer, and Baris Aktemur Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling,Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko, Olga Tarasyuk Monitoring Service Choreographies from Multiple Sources, Amira Ben Hamida, Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis, Nelson Lago, and Julien Lesbegueries |
|
12:30-14:00 |
Lunch |
|
14:00-15:00 |
Assessment and Verification in case studies Session chair: Jean-Charles Fabre
Supporting field investigators with PVS: a case study in the healthcare domain, Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, and Ann Blandford Model-based Evaluation of the Availability of a CBTC System, Alessio Ferrari, Massimiliano L. Itria, Silvano Chiaradonna, and Giorgio O. Spagnolo |
|
15:00-15:15 |
Wrap-up |