Date
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 surgeons 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.
Supervisor
Description
peer-reviewed
Publisher
IEEE Computer Society
Citation
Proceedings of the 4th International Conference on Biomedical Robotics and Biomechatronics;pp. 56-61
Collections
Lero - The Science Foundation Ireland Research Centre for Software
Show all metadata
Files
Thumbnail Image
Bonfe%2CM.pdf
Adobe PDF, 242.55 KB
Keywords
control engineering computing, formal verification, medical computing, medical robotics
ULRR Identifiers
https://hdl.handle.net/10344/2584
 https://doi.org/10.34961/808
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
Type
Meetings and Proceedings
Rights
https://creativecommons.org/licenses/by-nc-sa/1.0/
License