| back to Model Checking of Automated Needle Steering |

Architecture of the system software
  1. The force server regularly reads force data and sends the data to the MTEC computer.
  2. The MTEC computer serves as an interface between the experimental hardware and the needle control by the STS computer. It regularly reads image data, calculates the three-dimensional positions of the needle tip by image processing, and sends the position data and force data to the STS computer. Furthermore, it executes the needle movement instructions of the online strategy workflow.
  3. With the goal to reach a certain position within the phantom, the STS computer calculates the needle instructions by online (or offline) strategy synthesis.
  • Our experimental setup adaptions:
    • We replaced the plastic needle tip with a sharper steel tip.
    • We introduced a tube from the motor until the gelatin phantom guiding the flexible needle to prevent distraction before needle insertion.
       
  • Changing parameters during the experiments:
    • Gelatin phantom model: different gelatin to water concentrations (7%, 10%, 15%), obstacles (glass, cling film, metal? pipe)
    • Velocity: we only used 0.7 mm/sec
    • Force tenor averaging (over 0, 50, 100 data points)
    • Max allowed position deviation from computed needle trace (between 0 mm - 10 mm), minimum number of deviated points to detect deviation
    • Max allowed force delta (between 0.1 and 0.2, depends on the gelatin), minimum number of deviated points to detect deviation
    • Position and size of the one target region
    • Positions and sizes of the unsafe regions (multiple regions possible)
       
  • Two hollow shaft steppers motor with digital oscilloscopes (Saleae, Logic Analyzer)

  • Flexible needle design with a 45◦ beveled needle tip with a steel ball located at the needle tip center

  • Gelatin (here 10%)

  • Two Basler acA1300-200uc cameras

Experimental setup - 1
Experimental setup - 2