Workshop Program

Day 1September 5th, 2016

  • 9:009: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:3011:00 Coffee
  • 11:0012: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:3014:00 Lunch
  • 14:0015: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:0015:30 Coffee  
  • 15:3017: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 2September 6th, 2016

  • 9:1510:30 Invited talk, Challenges in functional safety for future cooperative and autonomous – Prof. Hans Hansson (Mälardalen University, Sweden)
  • 10:3011:00 Coffee
  • 11:0012: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:3014:00 Lunch
  • 14:0015: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:0015:30 Closing