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.
Modeling and Verification of a Robotic Surgical System using Hybrid Input/Output Automata
CAPILUPPI, Marta;FIORINI, Paolo;
2013-01-01
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.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
