Refinement Design Method of Real-Time Software Based on Timed Weak Simulation Relation and Worst Case Response Time

摘要

Real-time software runs over real-time operating systems, and guaranteeing qualities is difficult. In this paper, we propose a refinement design method of real-time software based on timed weak simulation relation and worst case response time. In this paper, we apply our proposed method to general real-time software scheduled by fixed-priority preemptive policy.