# Episode Thirty: Ana Cavalcanti

- Show: [Robot Talk](https://hardwarepodcasts.com/podcast/robot-talk)
- Published: 2022-12-16
- Length: 24m
- Episode: 30
- Page: https://hardwarepodcasts.com/podcast/robot-talk/2022-12-16-episode-thirty-ana-cavalcanti
- Listen: https://ukrobotics.libsyn.com/episode-thirty-ana-cavalcanti

## Summary

Professor Ana Cavalcanti from the University of York and the RoboStar Centre of Excellence discusses the challenges of verifying software for autonomous mobile robots. She critiques the industry's reliance on code-centric development and simulation, arguing for model-based engineering to ensure safety and trustworthiness in service robots. Cavalcanti explains how her team uses mathematical foundations to verify system properties before coding begins, addressing the multidisciplinary nature of robotics.

## Chapters

- [0:07](https://hardwarepodcasts.com/podcast/robot-talk/2022-12-16-episode-thirty-ana-cavalcanti#t=7) Introduction and the Code-Centric Problem
- [4:34](https://hardwarepodcasts.com/podcast/robot-talk/2022-12-16-episode-thirty-ana-cavalcanti#t=274) Challenges of Testing Autonomous Robots
- [8:38](https://hardwarepodcasts.com/podcast/robot-talk/2022-12-16-episode-thirty-ana-cavalcanti#t=518) RoboStar and Model-Based Engineering
- [11:15](https://hardwarepodcasts.com/podcast/robot-talk/2022-12-16-episode-thirty-ana-cavalcanti#t=675) Types of Models in Robotics
- [14:13](https://hardwarepodcasts.com/podcast/robot-talk/2022-12-16-episode-thirty-ana-cavalcanti#t=853) The Verifiability Node and System Composition
- [18:18](https://hardwarepodcasts.com/podcast/robot-talk/2022-12-16-episode-thirty-ana-cavalcanti#t=1098) Regulation and Industry Contexts
- [22:42](https://hardwarepodcasts.com/podcast/robot-talk/2022-12-16-episode-thirty-ana-cavalcanti#t=1362) Future of Robotics Software

## Topics

- [Embedded firmware](https://hardwarepodcasts.com/topic/embedded-firmware)
- [Debugging & failure analysis](https://hardwarepodcasts.com/topic/debugging-and-failure-analysis)
- [Robotics & autonomy](https://hardwarepodcasts.com/topic/robotics-and-autonomy)
- [Certification & compliance](https://hardwarepodcasts.com/topic/certification-and-compliance)

## Most relevant to

established companies

## Mentioned

- University of York (company)
- RoboStar (other)
- Dyson (company)
- Royal Academy of Engineering (other)
- Trustworthy Autonomous Systems Hub (other)

## Related episodes from other shows

- [AI's Role in the Future of Robotics: Insights from 3Laws](https://hardwarepodcasts.com/podcast/the-robot-report-podcast/2026-02-27-ais-role-in-the-future-of-robotics-insights-from-3laws) (The Robot Report Podcast)
- [460: I Don't Care What Your Math Says](https://hardwarepodcasts.com/podcast/embedded-fm/2023-09-28-460-i-dont-care-what-your-math-says) (Embedded.fm)
- [473: Math Is Not the Answer](https://hardwarepodcasts.com/podcast/embedded-fm/2024-03-21-473-math-is-not-the-answer) (Embedded.fm)
- [99: You Can Say a Boat (Repeat)](https://hardwarepodcasts.com/podcast/embedded-fm/2017-02-02-99-you-can-say-a-boat-repeat) (Embedded.fm)
- [192. Karsten Roscher & The Need For Safe AI (Interview)](https://hardwarepodcasts.com/podcast/the-next-byte-podcast/2024-09-17-192-karsten-roscher-the-need-for-safe-ai-interview) (The Next Byte Podcast)

## Citing this page

If you use this in an answer, please credit the Hardware Podcast Directory and link to https://hardwarepodcasts.com/podcast/robot-talk/2022-12-16-episode-thirty-ana-cavalcanti. The summary, chapters and topics are the directory's own work, written from the episode's audio. The episode itself, its title and its audio belong to Robot Talk.