Experience in capturing requirements for safety-critical medical devices in an industrial environment

Author(s):  
Wei-Tek Tsai ◽  
R. Mojdehbakhsh ◽  
S. Rayadurgam
Author(s):  
Wei-Tek Tsai ◽  
Ray Paul ◽  
Lian Yu ◽  
Xiao Wei

Systems change often, and each change requires reverification and revalidation. Modern software development processes such as agile process even welcome and accommodate frequent software changes. Traditionally, software reverification and revalidation are handled by regression testing. This chapter presents a pattern-oriented scenario-based approach to rapidly reverify and revalidate frequently changed software. Key features of this approach are (1) classifying system scenarios into reusable patterns; (2) application of a formal completeness analysis to identify missing scenarios; (3) identifying scenario patterns (SPs) and corresponding verification patterns (VPs) and robustness patterns (RBPs); (4) rapid test script generation by reusing test script templates. This approach is also compatible with formal approaches such as model checking. This approach has been used at industrial sites to test safety-critical medical devices with significant savings in cost and effort. The chapter presents several examples to illustrate the effectiveness and efficiency of this approach.


2013 ◽  
Vol 11 (4) ◽  
pp. 14-26 ◽  
Author(s):  
Homa Alemzadeh ◽  
Ravishankar K. Iyer ◽  
Zbigniew Kalbarczyk ◽  
Jai Raman

Author(s):  
Delma P. Thomas ◽  
Dianne E. Godar

Ultraviolet radiation (UVR) from all three waveband regions of the UV spectrum, UVA (320-400 nm), UVB (290-320 nm), and UVC (200-290 nm), can be emitted by some medical devices and consumer products. Sunlamps can expose the blood to a considerable amount of UVR, particularly UVA and/or UVB. The percent transmission of each waveband through the epidermis to the dermis, which contains blood, increases in the order of increasing wavelength: UVC (10%) < UVB (20%) < UVA (30%). To investigate the effects of UVR on white blood cells, we chose transmission electron microscopy to examine the ultrastructure changes in L5178Y-R murine lymphoma cells.


Author(s):  
B.D. Tall ◽  
K.S. George ◽  
R. T. Gray ◽  
H.N. Williams

Studies of bacterial behavior in many environments have shown that most organisms attach to surfaces, forming communities of microcolonies called biofilms. In contaminated medical devices, biofilms may serve both as reservoirs and as inocula for the initiation of infections. Recently, there has been much concern about the potential of dental units to transmit infections. Because the mechanisms of biofilm formation are ill-defined, we investigated the behavior and formation of a biofilm associated with tubing leading to the water syringe of a dental unit over a period of 1 month.


Author(s):  
Jean-David Cohen ◽  
Cyril Crozet ◽  
Jean-François d’Ivernois ◽  
Rémi Gagnayre

Very old studies and clinical experiences of physicians already signal the ability of some patients to feel subclinical signs. These patients are called sentinel patients because they can anticipate crisis very early and therefore intervene quickly to prevent them. Studies have shown that these patients develop these skills from their own experience, in steps which are similar to quasi-experimental research. They test and adjust their competence all the more easily as they have an objective external measure available. This faculty of patients suggests the possibility of using medical devices as a means of learning for patients to tutor themselves in support of this singular skill.


Sign in / Sign up

Export Citation Format

Share Document