The paper addresses safety issues involved in making ad hoc interconnections among medical devices in order to assemble more complex medical systems. The main problem is that the systemic view may be easily concealed by nowadays behavioral modeling tools. Missing such a systemic view does not allow to have a precise view of what is being modeled: we propose instead to adopt novel methodological guidelines in developing assembled medical systems, basically by showing how a a clear and unambiguous semantics may be given for any state of the system being modeled, from specification to test phases. Such a state semantics may then be checked against safety axioms by simply visiting the state diagram without the need of resorting to model checking techniques. © 2008 IEEE.

A state-based systemic view of behaviour for safe medical computer applications / Pazzi, L.; Pradelli, M.. - (2008), pp. 108-113. ((Intervento presentato al convegno 21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008 tenutosi a Jyvaskyla, fin nel 2008 [10.1109/CBMS.2008.94].

A state-based systemic view of behaviour for safe medical computer applications

Pazzi L.
Supervision
;
Pradelli M.
Membro del Collaboration Group
2008

Abstract

The paper addresses safety issues involved in making ad hoc interconnections among medical devices in order to assemble more complex medical systems. The main problem is that the systemic view may be easily concealed by nowadays behavioral modeling tools. Missing such a systemic view does not allow to have a precise view of what is being modeled: we propose instead to adopt novel methodological guidelines in developing assembled medical systems, basically by showing how a a clear and unambiguous semantics may be given for any state of the system being modeled, from specification to test phases. Such a state semantics may then be checked against safety axioms by simply visiting the state diagram without the need of resorting to model checking techniques. © 2008 IEEE.
21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008
Jyvaskyla, fin
2008
108
113
Pazzi, L.; Pradelli, M.
A state-based systemic view of behaviour for safe medical computer applications / Pazzi, L.; Pradelli, M.. - (2008), pp. 108-113. ((Intervento presentato al convegno 21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008 tenutosi a Jyvaskyla, fin nel 2008 [10.1109/CBMS.2008.94].
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1240030
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 2
social impact