Day 1 – September 5th, 2016
- 9:00 – 9:15 Opening, Elena Troubitsyna, Ivica Crnkovic
- 9:15 – 10:30 Invited talk, Traffic safety – a boundary condition for autonomous driving? – Dr. Anna Nilsson-Ehle (SAFER – Vehicle and Traffic Safety Centre at Chalmers University of Technology, Sweden)
- 10:30 – 11:00 Coffee
- 11:00 – 12:30 Session 1: Mission-critical systems
- A Framework for Assessing Safety Argumentation Confidence – Rui Wang, Jeremie Guiochet and Gilles Motet (LAAS-CNRS, Universite de Toulouse, CNRS, INSA, UPS, Toulouse, France)
- Configurable Fault Trees – Christine Jakobs, Peter Tröger and Matthias Werner (Operating Systems Group, TU Chemnitz, Germany)
- A Formal Approach in Designing Reliable Advisory Systems – Luke Martin and Alexander Romanovsky (Centre for Software Reliability, School of Computing Science, Newcastle University, Newcastle-upon-Tyne, UK)
- 12:30 – 14:00 Lunch
- 14:00 – 15:00 Session 2: Verification
- Verifying Multi-core Schedulability with Data Decision Diagrams – Dimitri Racordon and Didier Buchs (Centre Universitaire d’Informatique, University of Geneva, Switzerland)
- Formal verification of the on-the-fly vehicle platooning protocol – Piergiuseppe Mallozzi, Massimo Sciancalepore and Patrizio Pelliccione (Chalmers University of Technology and University of Gothenburg, Sweden)
- 15:00 – 15:30 Coffee
- 15:30 – 17:00 Panel – Do the autonomous systems jeopardize the safety?
Panelists- Devdatt Dubhashi, professor at Chalmers University of Technology
- Estevam R. Hruschka Jr., professor at Carnegie Mellon University, USA, and Federal University of Sao Carlos (UFSCar), Brazil
- Anna Nilsson-Ehle, Director of SAFER research center
- Hans Hansson, professor in real-time system at Mälardalen University
- 17:45 – 18:45 Visit to ReVeRe – Vehicle and Traffic Safety Centre
- 19:00 – 21:00 Reception at Lindholmen Science Park
Day 2 – September 6th, 2016
- 9:15 – 10:30 Invited talk, Challenges in functional safety for future cooperative and autonomous – Prof. Hans Hansson (Mälardalen University, Sweden)
- 10:30 – 11:00 Coffee
- 11:00 – 12:30 Session 3: Engineering resilient systems
- WRAD : Tool Support for Workflow Resiliency Analysis and Design – John Mace, Charles Morisset and Aad Van Moorsel (School of Computing Science, Newcastle University, Newcastle upon Tyne, UK)
- Designing a Resilient Deployment and Reconguration Infrastructure for Remotely Managed Cyber-Physical Systems – Subhav Pradhan, Abhishek Dubey and Aniruddha Gokhale (Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA)
- cloud-ATAM: Method for Analysing Resilient Attributes of Cloud-Based Architectures – David Ebo Adjepon-Yamoah (Centre for Software Reliability, School of Computing Science, Newcastle University, UK)
- 12:30 – 14:00 Lunch
- 14:00 – 15:00 Session 4: Testing
- Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned – Stefan Klikovits, David P.Y. Lawrence, Manuel Gonzalez-Berges and Didier Buchs (Université de Genève, Centre Universitaire d’Informatique, Carouge, Switzerland and CERN, European Organization for Nuclear Research, Geneva, Switzerland)
- A/B Testing in E-commerce Sales Processes – Konstantinos Koukouvis, Roberto Alcañiz Cumero and Patrizio Pelliccione (Chalmers University of Technology and University of Gothenburg, Sweden)
- 15:00 – 15:30 Closing