• Next Event


How can we define operational

requirements in robotics?

9 May 2022
18:30 - 20:00

Free event. Everyone welcome.
In association with London Central Branch

Register for BCS NLB event

Developments in control engineering and artificial intelligence are opening the way to a wide range of exciting robotic applications of great benefit to our society. A robot, however, typically relies on a large amount of software that determines its behaviour, which affects and is affected by its environment.

We will present an approach to the design and verification of robotic software that takes into account the assumptions that can be made about that environment. We will explain our approach, and demonstrate the use of two tools for capturing assumptions and proving properties of interest.

Presenters include:
+ Ana Cavalcanti - Professor at University of York & leader of the RoboStar centre of excellence on Software Engineering for Robotics
Ana Cavalcanti is a Royal Academy of Engineering Chair in Emerging Technologies. She is the leader of the RoboStar centre of excellence on Software Engineering for Robotics. The RoboStar approach to model-based Software Engineering complements current practice of design and verification of robotic systems, covering simulation, testing, and proof. The RoboStar approach is practical, supported by tools, and yet mathematically rigorous so that it can provide reliable evidence of expected behaviour.

+ James Baxter - Researcher at University of York
His research interests are in the area of software engineering, particularly formal methods. For the past four years, he has been working on the RoboTest project, developing a verified model-based testing strategy for robotic systems.

+ Gustavo Carvalho - Lecturer at Centro de Informatica of the Universidade Federal de Pernambuco (UFPE), Brazil
His main research interest is on Software Engineering, with emphasis on tests and formal methods. He has authored about 30 peer-reviewed publications, besides reviewing papers for international conferences (FM, SEFM, ICTAC, TASE) and journals (SCP, SoSyM, IST, IEEE TSE). In 2021, he served as the chair of the Formal Methods Special Group at the Brazilian Computer Society.

BCS North London Branch