RoboCalc: A calculus for software engineering of mobile and autonomous robots
This project involves developing a framework for integrated modelling, simulation, and programming of mobile and autonomous robots covering the full life cycle of development.
Funded by: 
The project adopts similar notations to those already in widespread use, but enriched with facilities to specify the environment and timed and probabilistic behaviours. For simulation, a language that captures facilities of major tools will be identified.
The framework ensures that models and simulations are consistent and properties established by analysis and simulation are preserved in the robotic platform. The purpose is not to change current practice but to enrich it with sound validation and verification techniques. Challenges will be the sound combination of notations and techniques, automation, and scalability.
Researchers
Featured researcher
Ana Cavalcanti
Professor Cavalcanti's research interests focus on software engineering for safety critical systems, formal methods, real-time, concurrency, object-orientation, tools, semantics and refinement.