Program

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
Session chair: Felicita Di Giandomenico

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