RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots

Cavalcanti, Ana Lucia Caneca (Principal investigator)
Timmis, Jon (Co-investigator)
Woodcock, Jim (Co-investigator)

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	1/04/18 → 31/08/24

Funding

EPSRC: £1,166,941.02

6 Article
2 Conference contribution
2 Poster

Diagrammatic physical robot models
Miyazawa, A., Ahmadi, S., Cavalcanti, A. L. C., Baxter, J., Post, M. A., Ribeiro, P., Timmis, J. & Wright, T. D., 12 Mar 2025, (E-pub ahead of print) In: Software and Systems Modeling. 45 p.
Research output: Contribution to journal › Article › peer-review
Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool
Li, W., Ribeiro, P., Miyazawa, A., Redpath, R., Cavalcanti, A. L. C., Alden, K. J., Woodcock, J. & Timmis, J., 5 Jul 2024, In: Autonomous Robots. 48, 22 p., 14.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Formally verified animation for RoboChart using interaction trees
Ye, K., Woodcock, J. & Foster, S. D., 1 Feb 2024, In: Journal of Logical and Algebraic Methods in Programming. 137, 36 p., 100940.
Research output: Contribution to journal › Article › peer-review

Open Access
File

2 Collaboration
2 Invited talk
1 Exhibition
1 Academic
More
- 1 Public engagement and outreach (general)
- 1 Workshop

Co-verification for robotics: from simulation to verification of hybrid systems
De Oliveira Salazar Ribeiro, P. F. (Speaker)
4 Sept 2023
Activity: Talk or presentation › Workshop
Co-verification for robotics: simulation and verification by proof
De Oliveira Salazar Ribeiro, P. F. (Invited speaker)
5 Jun 2023
Activity: Talk or presentation › Invited talk
Chris Thompson
Woodcock, J. (Host) & Cavalcanti, A. L. C. (Host)
12 Nov 2022
Activity: Hosting a visitor › Academic