Satish Subramanian

Learn More
This paper discusses the testing of a safety-critical medical device in an industrial environment. The authors have worked on the development and testing of a cardiac rhythm management system at Guidant Corporation, which is involved in the development of a family of related medical devices. The testing process of these systems is expensive because of the(More)
In safety-critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the instant of invocation of the operation. Further, for a specific version in a family of related systems, its intended application and the individual user profiles may play a role in(More)