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.

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.. - STAMPA. - (2008), pp. 108-113. (Intervento presentato al convegno 21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008 tenutosi a Jyvaskyla, FINLAND nel 17-19 Giugno 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.
2008
21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008
Jyvaskyla, FINLAND
17-19 Giugno 2008
108
113
Pazzi, L.; Pradelli, M.
A state-based systemic view of behaviour for safe medical computer applications / Pazzi, L.; Pradelli, M.. - STAMPA. - (2008), pp. 108-113. (Intervento presentato al convegno 21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008 tenutosi a Jyvaskyla, FINLAND nel 17-19 Giugno 2008) [10.1109/CBMS.2008.94].
File in questo prodotto:
File Dimensione Formato  
04561966.pdf

Accesso riservato

Tipologia: Versione dell'autore revisionata e accettata per la pubblicazione
Dimensione 460.72 kB
Formato Adobe PDF
460.72 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
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