|
|
Program
From $1
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 |
| Images 0 |
|---|
| No images to display in the gallery. |
|
You are not logged in. Log in 