loading...
A State-Based Systemic View of Behavior for Safe Medical Computer Applications
June 17-June 19
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CBMS.2008.942008 21st IEEE International Symposiu ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.
Index Terms:
embedded systems, safety, state-based design, Part-Whole Statecharts, medical devices, dependable systems, formal verification, formal specification, model checking
Citation:
Luca Pazzi, Marco Pradelli, "A State-Based Systemic View of Behavior for Safe Medical Computer Applications," cbms, pp.108-113, 2008 21st IEEE International Symposium on Computer-Based Medical Systems, 2008
Usage of this product signifies your acceptance of the Terms of Use.