Modeling and verification of safety critical systems : a case study on pacemaker

Modeling and verification of safety critical systems : a case study on pacemaker

Medical devices such as cardiac pacemaker must be correctly programmed to save lives. History has shown us that software glitch not only result in monetary lost but also a possible lost in life. Safety critical systems such as the cardiac pacemaker must be verified free from software glitches. Tradi...

Full description

Bibliographic Details
Main Author: Koo, Sheng Kiat
Other Authors: School of Computer Engineering
Format: Final Year Project (FYP)
Language:English
Published: 2014
Subjects:
DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages
Online Access:http://hdl.handle.net/10356/59202

Internet

http://hdl.handle.net/10356/59202

Similar Items