Case Study on Real-time Verification of Servo Motor Control Software Embedded in Artificial Heart Device

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.