Cited time in webofscience Cited 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
Alternative Title
모델 기반 개발에서의 시간 요구사항 만족 여부 검증 테스트
Author(s)
Hwang, Hyeon I
DGIST Authors
Hwang, Hyeon ISon, Sang HyukPark, Tae JoonKang, Joon Goo
Advisor
Son, Sang HyukPark, Tae Joon
Co-Advisor(s)
Kang, Joon Goo
Issued Date
2014
Awarded Date
2014. 2
Type
Thesis
Subject
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
Publisher
DGIST
Related Researcher
  • 손상혁 Son, Sang Hyuk
  • Research Interests Real-time system; Wireless sensor network; Cyber-physical system; Data and event service; Information security; 실시간 임베디드 시스템
Files in This Item:
000002262562.pdf

000002262562.pdf

기타 데이터 / 2.19 MB / Adobe PDF download
Appears in Collections:
Department of Electrical Engineering and Computer Science Theses Master

qrcode

  • twitter
  • facebook
  • mendeley

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

BROWSE