A Calculus for Software Engineering of Mobile and Autonomous Robots

Project: Research project (funded) › Research

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

RoboSim: software models for sound simulation
Cavalcanti, A. L. C., Filho, M. C., De Oliveira Salazar Ribeiro, P. F. & Sampaio, A., 11 Oct 2022, (Unpublished).
Research output: Contribution to conference › Poster

File
Safety Assurance of an Industrial Robotic Control System Using Hardware/Software Co-Verification
Murray, Y., De Oliveira Salazar Ribeiro, P. F., Anisi, D. A., Sirevåg, M. & Mossige, M., 11 Oct 2022, (Unpublished).
Research output: Contribution to conference › Poster

File
Unifying Theories of Reactive Design Contracts
Foster, S. D., Cavalcanti, A. L. C., Canham, S. J., Woodcock, JAMES. C. P. & Zeyda, F., 8 Jan 2020, In: Theoretical Computer Science. 802, p. 105-140
Research output: Contribution to journal › Article › peer-review

Open Access
File

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

File
Keith Lines
Jim Woodcock (Host), Leonardo Freitas (Host) & Bill Scott (Host)
31 May 2019
Activity: Hosting a visitor › Academic

Project Details