Sunday 17th of December 2017

Surgical Robots: Behaviors Specification and reasoning

Ammar Mohammed

A Surgical robotic system is a computer assisted electro-mechanical device in a surgical context which helps the surgeon by performing interventions. This system is a safety critical system where occurring of errors might lead to the endangerment of human life, or substantial economic loss. Therefore, methods that guarantee the correctness of the system adherence to crucial safety properties are needed. A quite new way that can be used to specify the dynamics behaviors of surgical robots is to use hybrid automata. The semantics of hybrid automata allows us to reason about and to simulate the behavior of robots. This paper shows how to use hybrid automata to model a case study on the coordination between surgical robots working in a shareable area.Additionally the paper shows some formal analysis of particular requirements on both simulation and model checking level to reason about the behavior of the robots.

Keywords: surgical robots, formal specification, automata, simulation

Download Full-Text


Ammar Mohammed
Department of Computer Science, ISSR, Cairo University, Egypt Department of Computer Science, Arab East Colleges, Riyadh, KSA

IJCSI Published Papers Indexed By:





IJCSI is a refereed open access international journal for scientific papers dealing in all areas of computer science research...

Learn more »
Join Us

Read the most frequently asked questions about IJCSI.

Frequently Asked Questions (FAQs) »
Get in touch

Phone: +230 911 5482

More contact details »