Loading [a11y]/accessibility-menu.js
Modeling and verification of a robotic surgical system using Hybrid Input/Output Automata | IEEE Conference Publication | IEEE Xplore

Modeling and verification of a robotic surgical system using Hybrid Input/Output Automata


Abstract:

The area of robotic surgical systems has to deal with several important safety aspects to ensure that the patient and the Operating Room staff are safe. A robotic surgica...Show More

Abstract:

The area of robotic surgical systems has to deal with several important safety aspects to ensure that the patient and the Operating Room staff are safe. A robotic surgical system has to fulfill specific safety requirements and to ensure that the system reacts like its specification. To this end, a verification process is necessary. In this paper an architecture for robotic surgery is modeled using the framework of Hybrid Input/Output Automata (HIOAs). A case study based on a surgical robotic operation scenario is presented and modeled using HIOAs. Exploiting the modularity and compositionality theory of HIOAs, the verification of the system is performed.
Date of Conference: 17-19 July 2013
Date Added to IEEE Xplore: 02 December 2013
Electronic ISBN:978-3-033-03962-9
Conference Location: Zurich, Switzerland

References

References is not available for this document.