home page

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


Real-Time Integration - Architecture

  • 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.

Software Safety

  • Collision avoidance

  • Registration