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.

A State-Based Systemic View of Behavior for Safe Medical Computer Applications / Pazzi, Luca; Pradelli, Marco. - STAMPA. - (2008), pp. 108-113. ((Intervento presentato al convegno 21st IEEE International Symposium on Computer-Based Medical Systems tenutosi a Jyvaskyla nel 17-19 Giugno 2008.

A State-Based Systemic View of Behavior for Safe Medical Computer Applications

PAZZI, Luca;PRADELLI, Marco
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.
21st IEEE International Symposium on Computer-Based Medical Systems
Jyvaskyla
17-19 Giugno 2008
108
113
Pazzi, Luca; Pradelli, Marco
A State-Based Systemic View of Behavior for Safe Medical Computer Applications / Pazzi, Luca; Pradelli, Marco. - STAMPA. - (2008), pp. 108-113. ((Intervento presentato al convegno 21st IEEE International Symposium on Computer-Based Medical Systems tenutosi a Jyvaskyla nel 17-19 Giugno 2008.
File in questo prodotto:
File Dimensione Formato  
04561966.pdf

non disponibili

Tipologia: Post-print dell'autore (bozza post referaggio)
Dimensione 460.72 kB
Formato Adobe PDF
460.72 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
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: http://hdl.handle.net/11380/620455
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact