ChIR : Surgery, Computer Science and Robotics
R E A L - T I M E   &   S A F E   I N T E G R A T I O N
jobs & internships
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.