 |
 |
(Apologies if you receive multiple copies of this announcement) BCS FACS - Can robots ever be safe? http://www.bcs.org/content/ConWebDoc/56123 *Date/Time: *Thursday 29 September 2016, 5.15pm coffee/tea for 6.00pm start of talk. *Venue:* BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA | Maps <http://www.bcs.org/maps> *Speaker: * Ana Cavalcanti <https://www-users.cs.york.ac.uk/~alcc/>, University of York *Book Online* <https://events.bcs.org/book/2117/> *Details:* There are many challenging aspects involved in ensuring safety of mobile and autonomous robots. Perhaps surprisingly, the engineering of their software needs attention; current practice suffers from costly iterations of trial and error, with hardware and environment in the loop. The modern outlook of the applications is not matched by the outdated practices on validation and verification. In this seminar, we propose a model-based approach for early analysis and sound generation of (co-)simulations. Simulation is the favoured technique for analysis in this domain, and co-simulation enables the orchestrated use of a variety of simulation tools. Our approach is based on RoboChart, a domain-specific modelling notation with a formal semantics, and on analysis based on model checking and theorem proving to complement simulation. RoboChart is a UML-like notation that includes timed and probabilistic primitives for modelling of controllers. For modelling of the robotic platform and the environment, we adopt Simulink. Model composition is described using a SysML profile. A CSP-based semantics, used as a front-end for a Unifying Theories of Programming model, formalises RoboChart, Simulink, the SysML profile, and co-simulation based on an industry standard: the Functional Mockup Interface (FMI). Prof. Jonathan Bowen Emeritus Professor, London South Bank University Chairman, Museophile Limited http://www.jpbowen.com See EU petition (signed by over 4 million people) response by the UK government: https://petition.parliament.uk/petitions/131215