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...

全面介绍

书目详细资料
主要作者: Koo, Sheng Kiat
其他作者: School of Computer Engineering
格式: Final Year Project (FYP)
语言:English
出版: 2014
主题:
在线阅读:http://hdl.handle.net/10356/59202
实物特征
总结: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. Traditional testing methodology fails to identify all possible chances of bugs as such over the last 2 decades research into model checking has been gaining momentum. In 2007, Software Quality Research Laboratory introduced the “Pacemaker Formal Methods Challenge” which is to produce and verify pacemaker models using formal methods.