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