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,972.80

5 Article
2 Conference contribution
2 Poster

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
Laws of Timed State Machines
Cavalcanti, A. L. C., Filho, M. C., De Oliveira Salazar Ribeiro, P. F. & Sampaio, A., 22 Dec 2023, In: The Computer Journal. 42 p., bxad124.
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
Pedro Fernando De Oliveira Salazar Ribeiro (Speaker)
4 Sept 2023
Activity: Talk or presentation › Workshop
Co-verification for robotics: simulation and verification by proof
Pedro Fernando De Oliveira Salazar Ribeiro (Invited speaker)
5 Jun 2023
Activity: Talk or presentation › Invited talk
Chris Thompson
Jim Woodcock (Host) & Ana Lucia Caneca Cavalcanti (Host)
12 Nov 2022
Activity: Hosting a visitor › Academic