Surgical robotic systems have to deliver a high quality of safety, since they deal with human lives. Their safety specifications must ensure the absence of risks for the patient and the operating room staff. To respect the modular nature of a surgical system, we propose a contract based verification approach for safety. We introduce a case study based on a typical surgical robotic operation scenario and model its components by using hybrid automata. We exploit the theory of parallel composition of contracts to verify properties on each component and prove that the property of the overall system can be obtained by composition.
Titolo: | Application of contract-based verification techniques for hybrid automata to surgical robotic systems | |
Autore/i: | Luzie Schreiter; BRESOLIN, DAVIDE; CAPILUPPI, MARTA; Joerg Raczkowsky; Paolo Fiorini; Heinz Woern | |
Autore/i Unibo: | ||
Anno: | 2014 | |
Titolo del libro: | 2014 European Control Conference (ECC) | |
Pagina iniziale: | 2310 | |
Pagina finale: | 2315 | |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1109/ECC.2014.6862231 | |
Abstract: | Surgical robotic systems have to deliver a high quality of safety, since they deal with human lives. Their safety specifications must ensure the absence of risks for the patient and the operating room staff. To respect the modular nature of a surgical system, we propose a contract based verification approach for safety. We introduce a case study based on a typical surgical robotic operation scenario and model its components by using hybrid automata. We exploit the theory of parallel composition of contracts to verify properties on each component and prove that the property of the overall system can be obtained by composition. | |
Data prodotto definitivo in UGOV: | 18-dic-2014 | |
Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |