Executable specifications of (surgical) robotics procedures

• design of a programming methodology

• hybrid specification: synchrone/asynchrone, continus/discrete

"Domain Specific Tools": MaestRo, Orccad, Esterel...

Example: a tutorial on how to program a robotics application with Orccad & MaestRo.

Example: a tutorial for the integration of a real-time application in vision.

Collision avoidance

Registration