The 2019 CyPhyAssure School has now finished. Thank you everyone for attending and supporting this event!
Join us in March 2019 to attend the first CyPhyAssure Spring School on computer-assisted assurance, targetted at early stage researchers.
“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.
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.
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.
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.
In the week following the CyPhyAssure school, the Safety Case Development and Review (SCDR) course will also take place at the University of York, taught by Prof. Tim Kelly. You can find out more and book your place here. If you are travelling to York for the CyPhyAssure school, and could stay for an extra week, then this would be a very useful companion course to take.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500 | Fax: 01904 325599