Testing of safety-critical software embedded in an artificial heart

Sungdeok Cha; Sehun Jeong; Junbeom Yoo; Young Gab Kim

doi:10.1007/978-0-85729-133-2_9

Testing of safety-critical software embedded in an artificial heart

Sungdeok Cha, Sehun Jeong, Junbeom Yoo, Young Gab Kim

Department of Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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
Publisher	Kluwer Academic Publishers
Pages	144-153
Number of pages	10
ISBN (Print)	9780857291325
DOIs	https://doi.org/10.1007/978-0-85729-133-2_9
Publication status	Published - 2011

Publication series

Name	Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011

ASJC Scopus subject areas

Control and Systems Engineering
Safety, Risk, Reliability and Quality

Access to Document

10.1007/978-0-85729-133-2_9

Fingerprint Dive into the research topics of 'Testing of safety-critical software embedded in an artificial heart'. Together they form a unique fingerprint.

Cite this

Cha, S., Jeong, S., Yoo, J., & Kim, Y. G. (2011). Testing of safety-critical software embedded in an artificial heart. In Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011 (pp. 144-153). (Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011). Kluwer Academic Publishers. https://doi.org/10.1007/978-0-85729-133-2_9

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. Kluwer Academic Publishers, 2011. p. 144-153 (Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Cha, S, Jeong, S, Yoo, J & Kim, YG 2011, Testing of safety-critical software embedded in an artificial heart. in Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011. Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011, Kluwer Academic Publishers, pp. 144-153. https://doi.org/10.1007/978-0-85729-133-2_9

Cha S, Jeong S, Yoo J, Kim YG. Testing of safety-critical software embedded in an artificial heart. In Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011. Kluwer Academic Publishers. 2011. p. 144-153. (Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011). https://doi.org/10.1007/978-0-85729-133-2_9

Cha, Sungdeok ; Jeong, Sehun ; Yoo, Junbeom ; Kim, Young Gab. / Testing of safety-critical software embedded in an artificial heart. Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011. Kluwer Academic Publishers, 2011. pp. 144-153 (Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011).

@inproceedings{26877408102a43c7a00f1e616f0c301e,

title = "Testing of safety-critical software embedded in an artificial heart",

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

author = "Sungdeok Cha and Sehun Jeong and Junbeom Yoo and Kim, {Young Gab}",

year = "2011",

doi = "10.1007/978-0-85729-133-2_9",

language = "English",

isbn = "9780857291325",

series = "Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011",

publisher = "Kluwer Academic Publishers",

pages = "144--153",

booktitle = "Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011",

address = "Netherlands",

}

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

Y1 - 2011

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

T3 - Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011

SP - 144

EP - 153

BT - Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011

PB - Kluwer Academic Publishers

ER -

Testing of safety-critical software embedded in an artificial heart

Abstract

Publication series

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this