실시간성 만족 여부 검증은 의료 장비 제어 소프트웨어와 같은 실시간 안전 필수 소프트웨어를 개발할 때 필수적으로 거쳐야 할 개발 과정이다. 실시간성 만족 여부를 판별할 수 있는 다양한 검증 방법 중 Worst-Case Response Time Analysis(WCRTA)는 태스크의 우선순위가 고정되어 있는 시스템 분석에 적용할 수 있고, 기존 분석 방법의 한계를(e.g., Rate-Monotonic Analysis의 태스크주기가 임계시간과 일치해야 하는 제약) 상당 부분 해결하여 좀 더 실제 시스템의 특성을 잘 반영한 분석을 수행할 수 있다. 본 연구에서는 동물실험을 통해 임상 실험을 마친 인공심장에 내장되는 펌프 전동기 제어 소프트웨어의 실시간성 검증을 위해 WCRTA를 적용하는 과정과 결과를 다룬다.
Assuring a timeliness of real-time systems is a critical issue for developing safety-critical hard real-time systems. Worst-Case Response Time Analysis (WCRTA) is a proven-effective tool for verifying timeliness of real-time systems that employ fixed-priority task scheduler. WCRTA have been considered as a best-of-bunch since it covers more practical characteristics of real-time systems in fields, such as user-defined task priories and arbitrary deadlines, than previous techniques. In this paper we show a case-study that analyzes timeliness of real-time software embedded in artificial heart system with WCRTA.
