A Calculus for Software Engineering of Mobile and Autonomous Robots

Cavalcanti, Ana Lucia Caneca (Principal investigator)
Timmis, Jon (Co-investigator)
Woodcock, Jim (Co-investigator)
Foster, Simon David (Researcher)
Li, Wei (Researcher)
Miyazawa, Alvaro (Researcher)
Ribeiro, Pedro (Researcher)

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	1/09/15 → 30/06/21

Funding

EPSRC: £1,766,824.00

7 Conference contribution
7 Article
2 Poster
1 Software

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

3 Invited talk
2 Seminar/workshop/course
2 Public engagement and outreach (general)
1 Academic
More

Workshop on Requirements Modelling for Cyber-Physical Systems
Woodcock, J. (Advisor)
22 Jul 2019 → 24 Jul 2019
Activity: Participating in or organising an event › Seminar/workshop/course
RoboChart and RoboSim Verified Simulation for Robotics
Woodcock, J. (Invited speaker)
13 Jun 2019
Activity: Talk or presentation › Invited talk

File
Keith Lines
Woodcock, J. (Host), Freitas, L. (Host) & Scott, B. (Host)
31 May 2019
Activity: Hosting a visitor › Academic