Cited 0 time in webofscience Cited 0 time in scopus

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

Title
Timing Testing in Model-Based Development of Safety-Assured Software for Medical Devices
Translated Title
모델 기반 개발에서의 시간 요구사항 만족 여부 검증 테스트
Authors
Hwang, Hyeon I
DGIST Authors
Hwang, Hyeon I; Son, Sang Hyuk; Park, Tae Joon; Kang, Joon Goo
Advisor(s)
Son, Sang Hyuk; Park, Tae Joon
Co-Advisor(s)
Kang, Joon Goo
Issue Date
2014
Available Date
2016-05-18
Degree Date
2014. 2
Type
Thesis
Keywords
model-based developmentsafety-assured softwaremedical devicesinfusion pumptiming 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
URI
http://dgist.dcollection.net/jsp/common/DcLoOrgPer.jsp?sItemId=000002262562
http://hdl.handle.net/20.500.11750/1369
DOI
10.22677/thesis.2262562
Degree
Master
Department
Information and Communication Engineering
University
DGIST
Files:
Collection:
Information and Communication EngineeringThesesMaster


qrcode mendeley

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

BROWSE