Department of Computer Science

CyPhyAssure Spring School

Call for Participation

Department of Computer Science, University of York, 19th-22nd March, 2019

Join us in March 2019 to attend the first CyPhyAssure Spring School on computer-assisted assurance, targetted at early stage researchers.

  • Hear from world-leading academics speaking on assurance, robotics, and formal methods
  • Build your knowledge of a variety of computer-assisted assurance techniques
  • Develop new collaborations with industry and other academic institutions

Simon Foster and Mario Gleirscher (co-organisers)

Background

“How can we use integrated formal methods to the maximum advantage for computer-assisted assurance of autonomous robots?”

Robots and autonomous systems (RAS) are no longer isolated from humans by walls and safety cages. They increasingly inhabit the spaces in which we live and work. Consequently, they must be engineered so that they are able to perform their jobs without impacting the safety of the humans around them. There is a need to assure us that these systems have been developed using rigorous techniques that ensure safe and predictable behaviour. As the Assuring Autonomy International Programme at York makes clear, this is a major challenge with many critical barriers that must be overcome.

We believe that formal methods have a great deal to offer in supporting assurance activities through the use of model-based development and verification tools. Such tools offer both a high degree of automation, and also mathematically principled results that can be used to substantiate safety claims. Nevertheless, in order for formal methods research to be exploited in RAS assurance, it is important to appreciate the greater context of safety certification, the specific challenges of RAS, and also the problems industry is facing.

Who should attend?

Our primary audience is early stage researchers who have a focus on computer-assisted assurance for autonomous robots. Academics and industrial practitioners who are interested in this area are also welcome.

Lectures

  • Formal Methods for Certification of Control Software and Potential for their Successful Application in Autonomous Robot Control. Prof. Alan Wassyng, McMaster University.
  • Gaining Confidence in the Correctness of Robotic and Autonomous Systems. Prof. Kerstin Eder, Bristol University.
  • Assurance of Cyber-Physical Systems using Interactive Theorem Proving. Prof. Burkhart Wolff, University Paris-Saclay.
  • Robotics – Autonomy, Verification, and Responsibility. Prof. Michael Fisher, University of Liverpool.
  • Critical Barriers to Assuring Autonomous Robots. Prof. John McDermid, University of York.
  • Assurance challenges for robotics and AI in nuclear fusion. Robert Skilton, Lead Technologist at RACE.
  • Second Generation Model-based Testing – Provably Strong Testing Methods for the Certification of Autonomous Systems. Prof. Jan Peleska, University of Bremen.
  • RoboChart and RoboSim: Verified Simulation for Robotics. Prof. Ana Cavalcanti, University of York.
  • Challenges of Modelling, Verifying, and Assuring a Home Care Assistant Robot. Prof. Clare Dixon, University of Liverpool.
  • Dynamic Assurance of Safety. Dr. Ibrahim Habli, University of York.
  • Model-based hazard analysis of human-robot interactions with HAZOP-UML. Prof. Jérémie Guiochet, LAAS-CNRS, University of Toulouse III.

Teaching will be conducted by both mandatory lectures and also optional “breakout” sessions that will occur at intervals during the school. The breakouts will allow more in-depth and hands-on learning for topics of interest which can be selected by the participants. Industrial practioners are also invited to give short 10-15 talks on the assurance challenge they are facing, and to pose research questions. Early stage researchers will also have the opportunity to deliver short talks on their work and interests to the audience. Finally, we will also have question and answer panel sessions to faciliate discussion.

Isabelle/UTP Tutorial

In concert with the school, we are also planning an optional one-day tutorial on Friday 22nd of March, focusing on the use of the Isabelle/UTP verification framework. This tool is being further developed at York as part of the CyPhyAssure project, and can be used for both formation of heterogeneous semantic models and their application to verification. More details on this to follow soon.

Apply to Attend

Places are limited, and preference will be given to early stage researchers applying. Please apply as soon as possible using this form and before 15th February 2019.

Registration is free and includes lunch. We are also able to provide a limited number of small grants (up to £250) to cover expenses for travel and accommodation for any Masters and PhD students wishing to attend. Please select the option on the form if you would like to apply for this. We will be in contact to confirm whether your application is successful.

Travel to York

Please see this page for information on travelling to the school venue.

Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500 | Fax: 01904 325599