Testing a safety-critical application

The system operates by manipulating a small permanent magnet (known as a “seed”) within the brain using an externally applied magnetic field. By varying the magnitude and gradient of the external magnetic field, the seed can be moved along a non-linear path and positioned at a site requiring therapy, e.g., a tumor. The magnetic field required for movement through brain tissue is extremely high, and is generated by a set of six superconducting magnets located in a housing surrounding the patient’s head.

[1]  Paul Ammann,et al.  The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing , 1992, IEEE Trans. Software Eng..

[2]  John C. Knight,et al.  A Safety Kernel Architecture , 1994 .

[3]  Elaine J. Weyuker,et al.  On Testing Non-Testable Programs , 1982, Comput. J..

[4]  G. B. Finelli,et al.  The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software , 1993, IEEE Trans. Software Eng..

[5]  Paul Ammann,et al.  On the performance of software testing using multiple versions , 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.