Safety Verification of Real Time Systems Serving Periodic Devices


Computer Engineering, Ferdowsi University of Mashhad


In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under the rate monotonic preemptive (RM) scheduling strategy is considered in this paper. A safety verification procedure that is an improvement over previously developed procedures is presented.