Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | Son, Sang Hyuk | - |
| dc.contributor.advisor | Park, Tae Joon | - |
| dc.contributor.author | Hwang, Hyeon I | - |
| dc.date.accessioned | 2017-05-10T08:50:48Z | - |
| dc.date.available | 2016-05-18T00:00:00Z | - |
| dc.date.issued | 2014 | - |
| dc.identifier.uri | http://dgist.dcollection.net/jsp/common/DcLoOrgPer.jsp?sItemId=000002262562 | en_US |
| dc.identifier.uri | http://hdl.handle.net/20.500.11750/1369 | - |
| dc.description.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 | - |
| dc.description.tableofcontents | Ⅰ. 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 |
- |
| dc.format.extent | 48 | - |
| dc.language | eng | - |
| dc.publisher | DGIST | - |
| dc.subject | model-based development | - |
| dc.subject | safety-assured software | - |
| dc.subject | medical devices | - |
| dc.subject | infusion pump | - |
| dc.subject | timing semantics mismatch | - |
| dc.title | Timing Testing in Model-Based Development of Safety-Assured Software for Medical Devices | - |
| dc.title.alternative | 모델 기반 개발에서의 시간 요구사항 만족 여부 검증 테스트 | - |
| dc.type | Thesis | - |
| dc.identifier.doi | 10.22677/thesis.2262562 | - |
| dc.description.alternativeAbstract | 의료 장비는 높은 안전성이 요구되는 시스템임에도 불구하고 소프트웨어의 결함으로 인해 사고가 일어난다. 안전성이 보장되는 소프트웨어의 개발을 위해서 모델 기반 개발법을 이용하는 추세이다. 모델링 툴을 이용해 시스템 모델을 요구사항에 맞게 모델링을 한 뒤, 모델 단계에서 요구사항 만족 여부에 대한 검증을 한다. 검증을 마친 후에는 툴의 기능을 이용해 모델로부터 자동적으로 소스 코드를 생성할 수 있다. 그러나 모델과 구현된 시스템 간의 timing semantics mismatch가 존재하기 때문에 최종적으로 구현된 시스템에서도 시간 요구사항을 역시 만족시키는지에 대한 검증이 필요하다. 왜냐하면 비록 시간 요구사항이 모델에서는 만족되었을지라도 구현된 시스템에서는 만족되지 않을 수 있기 때문이다. 시스템의 시간 요구사항 검증을 위해 이 논문에서는 R-testing과 M-testing이라는 이중 레이어로 된 테스트를 제안하였다. 모델과 구현된 시스템 간의 시간 차이를 측정하기 위해서 four-variables 모델이 이용되었다. R-testing은 구현된 시스템에서 시간 요구사항의 만족 여부에 대한 확인을 위해서 수행된다. 만약에 R-testing의 결과가 시간 요구사항이 위반되었다고 나온다면 M-testing을 추가적으로 수행한다. M-testing을 통해 모델과 구현된 시스템 간의 시간 차이와 그 원인들을 세부적으로 측정하게 되고, 측정값들을 통해 시스템을 더욱 최적화시킬 수 있다. 사례 연구로 약물 주입 펌프 의료기기에 제안한 R-M testing을 직접 적용함으로써 그 적용가능성과 중요성을 확인할 수 있었다. ⓒ 2014 DGIST | - |
| dc.description.degree | Master | - |
| dc.contributor.department | Information and Communication Engineering | - |
| dc.contributor.coadvisor | Kang, Joon Goo | - |
| dc.date.awarded | 2014. 2 | - |
| dc.publisher.location | Daegu | - |
| dc.description.database | dCollection | - |
| dc.date.accepted | 2016-05-18 | - |
| dc.contributor.alternativeDepartment | 대학원 정보통신융합공학전공 | - |
| dc.contributor.affiliatedAuthor | Hwang, Hyeon I | - |
| dc.contributor.affiliatedAuthor | Son, Sang Hyuk | - |
| dc.contributor.affiliatedAuthor | Park, Tae Joon | - |
| dc.contributor.affiliatedAuthor | Kang, Joon Goo | - |
| dc.contributor.alternativeName | 황현이 | - |
| dc.contributor.alternativeName | 손상혁 | - |
| dc.contributor.alternativeName | 박태준 | - |
| dc.contributor.alternativeName | 강준구 | - |
- Files in This Item:
-
기타 데이터 / 2.19 MB / Adobe PDF
download
- Appears in Collections:
- Department of Electrical Engineering and Computer Science Theses Master
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.