Shekhar H. Kirani

Learn More
Regulatory agencies are requiring companies to systematically demonstrate software safety in their implantable devices, even those already developed. The authors devised a rigorous software safety analysis technique and applied it to a nearly-completed cardiac rhythm management device. They were able to identify safety faults, modify the software to(More)
&pert systems ure being developed commercially to solve nontraditional problems in such areas as auditing, fault diagnosis, and computer configuration. As expert systems move outji-om research laboratories to commercial production environments, establishing reliabili~ and robustness have taken on increasing importance [l, 5, 9, 20, 211. In this article, we(More)
  • 1