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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Final Year Project (FYP) |
| Language: | English |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10356/59202 |
| _version_ | 1811687759611428864 |
|---|---|
| author | Koo, Sheng Kiat |
| author2 | School of Computer Engineering |
| author_facet | School of Computer Engineering Koo, Sheng Kiat |
| author_sort | Koo, Sheng Kiat |
| collection | NTU |
| description | 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. |
| first_indexed | 2024-10-01T05:21:25Z |
| format | Final Year Project (FYP) |
| id | ntu-10356/59202 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T05:21:25Z |
| publishDate | 2014 |
| record_format | dspace |
| spelling | ntu-10356/592022023-03-03T20:57:33Z Modeling and verification of safety critical systems : a case study on pacemaker Koo, Sheng Kiat School of Computer Engineering Parallel and Distributed Computing Centre Liu Yang DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages 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. Bachelor of Engineering (Computer Science) 2014-04-25T04:57:54Z 2014-04-25T04:57:54Z 2014 2014 Final Year Project (FYP) http://hdl.handle.net/10356/59202 en Nanyang Technological University 88 p. application/pdf |
| spellingShingle | DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages Koo, Sheng Kiat Modeling and verification of safety critical systems : a case study on pacemaker |
| title | Modeling and verification of safety critical systems : a case study on pacemaker |
| title_full | Modeling and verification of safety critical systems : a case study on pacemaker |
| title_fullStr | Modeling and verification of safety critical systems : a case study on pacemaker |
| title_full_unstemmed | Modeling and verification of safety critical systems : a case study on pacemaker |
| title_short | Modeling and verification of safety critical systems : a case study on pacemaker |
| title_sort | modeling and verification of safety critical systems a case study on pacemaker |
| topic | DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages |
| url | http://hdl.handle.net/10356/59202 |
| work_keys_str_mv | AT kooshengkiat modelingandverificationofsafetycriticalsystemsacasestudyonpacemaker |