DGIST Scholar: Timing Testing in Model-Based Development of Safety-Assured Software for Medical Devices

Detail View

Department of Electrical Engineering and Computer Science Theses Master

Citations

WEB OF SCIENCE

Citations

SCOPUS

Metadata Downloads

XML

Title: Timing Testing in Model-Based Development of Safety-Assured Software for Medical Devices

DGIST Authors: Hwang, Hyeon I ; Son, Sang Hyuk ; Park, Tae Joon ; Kang, Joon Goo

Citation: Hwang, Hyeon I. (2014). Timing Testing in Model-Based Development of Safety-Assured Software for Medical Devices. doi: 10.22677/thesis.2262562

Subject: model-based development ; safety-assured software ; medical devices ; infusion pump ; timing semantics mismatch

Abstract: Medical devices are safety-critical systems that have been gradually becoming more complicated and software issues are increasingly on the rise. To solve this problem, the quality of the software for the medical devices should be thoroughly guaranteed through verification. Every possible state and path should be verified. ⓒ 2014 DGIST
더보기

Table Of Contents: Ⅰ. INTRODUCTION 1
--
Ⅱ. BACKGROUND 3
--
1. Model-Based Development 3
--
2. Patient Controlled Analgesic (PCA) Infusion Pump 4
--
III. TIMING SEMANTICS MISMATCHES IN THE MODEL-BASED DEVELOPMENT 5
--
IV. THE LAYERED APPROACH FOR THE TIMING TESTING 12
--
1. Mapping the four-variables to the implemented system 12
--
2. Testing Objectives and Testing Ports 13
--
3. R-testing and M-testing 15
--
V. CASE STUDY: TIMING TESTING FOR INFUSION PUMP SYSTEMS 25
--
1. Scenario1 32
--
2. Scenario2 33
--
VI. RELATED WORK 37
--
VII. CONCLUSIONS AND FUTURE WORK 38
--
REFERENCES 40