Design and verification of a trustable medical system

Xijiao Xiong; Jing Liu; Zuohua Ding

doi:10.1016/j.entcs.2010.08.050

Design and verification of a trustable medical system

Xijiao Xiong
, Jing Liu^*
, Zuohua Ding

^*Corresponding author for this work

Software Engineering Institute

Research output: Contribution to journal › Article › peer-review

8 Scopus citations

Abstract

Developing an advanced medical informatics system is a grand challenge in the 21st century. In this paper, we construct and analyze a trustable medical system by Refinement Calculus of Object Systems (rCOS) in a model-driven development process. Our method greatly improves the dependability and efficiency of the complicate system. This implies that the formal techniques developed in rCOS can be integrated into a model-driven development process. For the verification, a tool, called UPPAAL, is used to ensure the safety and correctness of the medical system. Our result suggests a way to corporate design and verification in system development process.

Original language	English
Pages (from-to)	77-92
Number of pages	16
Journal	Electronic Notes in Theoretical Computer Science
Volume	266
Issue number	C
DOIs	https://doi.org/10.1016/j.entcs.2010.08.050
State	Published - 12 Oct 2010

Keywords

UPPAAL
formal method
rCOS
telemedicine

Access to Document

10.1016/j.entcs.2010.08.050

Cite this

@article{f6fa884d8e6f414aafbbf6cfb413fdc0,

title = "Design and verification of a trustable medical system",

abstract = "Developing an advanced medical informatics system is a grand challenge in the 21st century. In this paper, we construct and analyze a trustable medical system by Refinement Calculus of Object Systems (rCOS) in a model-driven development process. Our method greatly improves the dependability and efficiency of the complicate system. This implies that the formal techniques developed in rCOS can be integrated into a model-driven development process. For the verification, a tool, called UPPAAL, is used to ensure the safety and correctness of the medical system. Our result suggests a way to corporate design and verification in system development process.",

keywords = "UPPAAL, formal method, rCOS, telemedicine",

author = "Xijiao Xiong and Jing Liu and Zuohua Ding",

year = "2010",

month = oct,

day = "12",

doi = "10.1016/j.entcs.2010.08.050",

language = "英语",

volume = "266",

pages = "77--92",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "C",

}

TY - JOUR

T1 - Design and verification of a trustable medical system

AU - Xiong, Xijiao

AU - Liu, Jing

AU - Ding, Zuohua

PY - 2010/10/12

Y1 - 2010/10/12

N2 - Developing an advanced medical informatics system is a grand challenge in the 21st century. In this paper, we construct and analyze a trustable medical system by Refinement Calculus of Object Systems (rCOS) in a model-driven development process. Our method greatly improves the dependability and efficiency of the complicate system. This implies that the formal techniques developed in rCOS can be integrated into a model-driven development process. For the verification, a tool, called UPPAAL, is used to ensure the safety and correctness of the medical system. Our result suggests a way to corporate design and verification in system development process.

AB - Developing an advanced medical informatics system is a grand challenge in the 21st century. In this paper, we construct and analyze a trustable medical system by Refinement Calculus of Object Systems (rCOS) in a model-driven development process. Our method greatly improves the dependability and efficiency of the complicate system. This implies that the formal techniques developed in rCOS can be integrated into a model-driven development process. For the verification, a tool, called UPPAAL, is used to ensure the safety and correctness of the medical system. Our result suggests a way to corporate design and verification in system development process.

KW - UPPAAL

KW - formal method

KW - rCOS

KW - telemedicine

UR - https://www.scopus.com/pages/publications/77957266975

U2 - 10.1016/j.entcs.2010.08.050

DO - 10.1016/j.entcs.2010.08.050

M3 - 文章

AN - SCOPUS:77957266975

SN - 1571-0661

VL - 266

SP - 77

EP - 92

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - C

ER -

Design and verification of a trustable medical system

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this