Abstract
Software is being used more frequently to control medical devices such as artificial heart or robotic surgery system. While much of software safety issues in such systems are similar to other safety-critical systems (e.g., nuclear power plants), domain-specific properties may warrant development of customized techniques to demonstrate fitness of the system on patients. In this paper, we report results of a preliminary analysis done on software controlling a Hybrid Ventricular Assist Device (H-VAD) developed by Korea Artificial Organ Centre (KAOC). It is a state-of-the-art artificial heart which completed animal testing phase. We performed software testing in in-vitro experiments and animal experiments. An abnormal behaviour, never detected during extensive in-vitro analysis and animal testing, was found.
| Original language | English |
|---|---|
| Title of host publication | Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011 |
| Pages | 144-153 |
| Number of pages | 10 |
| DOIs | |
| Publication status | Published - 2011 Dec 1 |
Fingerprint
ASJC Scopus subject areas
- Control and Systems Engineering
- Safety, Risk, Reliability and Quality
Cite this
Testing of safety-critical software embedded in an artificial heart. / Cha, Sungdeok; Jeong, Sehun; Yoo, Junbeom; Kim, Young Gab.
Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011. 2011. p. 144-153.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Testing of safety-critical software embedded in an artificial heart
AU - Cha, Sungdeok
AU - Jeong, Sehun
AU - Yoo, Junbeom
AU - Kim, Young Gab
PY - 2011/12/1
Y1 - 2011/12/1
N2 - Software is being used more frequently to control medical devices such as artificial heart or robotic surgery system. While much of software safety issues in such systems are similar to other safety-critical systems (e.g., nuclear power plants), domain-specific properties may warrant development of customized techniques to demonstrate fitness of the system on patients. In this paper, we report results of a preliminary analysis done on software controlling a Hybrid Ventricular Assist Device (H-VAD) developed by Korea Artificial Organ Centre (KAOC). It is a state-of-the-art artificial heart which completed animal testing phase. We performed software testing in in-vitro experiments and animal experiments. An abnormal behaviour, never detected during extensive in-vitro analysis and animal testing, was found.
AB - Software is being used more frequently to control medical devices such as artificial heart or robotic surgery system. While much of software safety issues in such systems are similar to other safety-critical systems (e.g., nuclear power plants), domain-specific properties may warrant development of customized techniques to demonstrate fitness of the system on patients. In this paper, we report results of a preliminary analysis done on software controlling a Hybrid Ventricular Assist Device (H-VAD) developed by Korea Artificial Organ Centre (KAOC). It is a state-of-the-art artificial heart which completed animal testing phase. We performed software testing in in-vitro experiments and animal experiments. An abnormal behaviour, never detected during extensive in-vitro analysis and animal testing, was found.
UR - http://www.scopus.com/inward/record.url?scp=84881153399&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84881153399&partnerID=8YFLogxK
U2 - 10.1007/978-0-85729-133-2-9
DO - 10.1007/978-0-85729-133-2-9
M3 - Conference contribution
AN - SCOPUS:84881153399
SN - 9780857291325
SP - 144
EP - 153
BT - Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011
ER -