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.

Luzie Schreiter, Davide Bresolin, Marta Capiluppi, Joerg Raczkowsky, Paolo Fiorini, Heinz Woern (2014). Application of contract-based verification techniques for hybrid automata to surgical robotic systems. IEEE [10.1109/ECC.2014.6862231].

Application of contract-based verification techniques for hybrid automata to surgical robotic systems

BRESOLIN, DAVIDE;CAPILUPPI, MARTA;
2014

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.
2014
2014 European Control Conference (ECC)
2310
2315
Luzie Schreiter, Davide Bresolin, Marta Capiluppi, Joerg Raczkowsky, Paolo Fiorini, Heinz Woern (2014). Application of contract-based verification techniques for hybrid automata to surgical robotic systems. IEEE [10.1109/ECC.2014.6862231].
Luzie Schreiter; Davide Bresolin; Marta Capiluppi; Joerg Raczkowsky; Paolo Fiorini; Heinz Woern
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/403159
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 3
social impact