The paper describes a design specification process for the development of novel and intelligent surgical robots. Nowadays, surgical robots are usually controlled by the sur- geons manually by using teleoperation. The possibility to carry out simple surgical actions automatically has been the subject of academical research, but very few real-world applications exist. The main objective of this research is to address realistic case studies and develop systems and methods to provide surgeons with autonomous robotic assistants, performing basic surgical actions by combining sensing, dexterity and cognitive capabilities. This goal can only be achieved by means of a formal and rigorous assesment of surgical requirements, so that they can be analysed and translated into behavioral specifications for an autonomous robotic system. Therefore, the paper describes the application of Requirements Engineering to surgical knowledge formalization and propose a methodology for the transformation of requirements into formal models of robotic tasks.
Towards Automated Surgical Robotics: a Requirements Engineering Approach / M., Bonfé; F., Boriero; R., Dodi; P., Fiorini; A., Morandi; R., Muradore; L., Pasquale; A., Sanna; Secchi, Cristian. - ELETTRONICO. - (2012), pp. 56-61. (Intervento presentato al convegno 2012 4th IEEE RAS and EMBS International Conference on Biomedical Robotics and Biomechatronics, BioRob 2012 tenutosi a Rome, ita nel 24-27/06/2012) [10.1109/BioRob.2012.6290700].
Towards Automated Surgical Robotics: a Requirements Engineering Approach
SECCHI, Cristian
2012
Abstract
The paper describes a design specification process for the development of novel and intelligent surgical robots. Nowadays, surgical robots are usually controlled by the sur- geons manually by using teleoperation. The possibility to carry out simple surgical actions automatically has been the subject of academical research, but very few real-world applications exist. The main objective of this research is to address realistic case studies and develop systems and methods to provide surgeons with autonomous robotic assistants, performing basic surgical actions by combining sensing, dexterity and cognitive capabilities. This goal can only be achieved by means of a formal and rigorous assesment of surgical requirements, so that they can be analysed and translated into behavioral specifications for an autonomous robotic system. Therefore, the paper describes the application of Requirements Engineering to surgical knowledge formalization and propose a methodology for the transformation of requirements into formal models of robotic tasks.
Pubblicazioni consigliate
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris
