TY - JOUR ID - 71105 TI - Safety Verification of Real Time Systems Serving Periodic Devices JO - International Journal of Engineering JA - IJE LA - en SN - 1025-2495 AU - Naghibzadeh, M. AD - Computer Engineering, Ferdowsi University of Mashhad Y1 - 1994 PY - 1994 VL - 7 IS - 3 SP - 133 EP - 142 KW - real KW - Time Systems KW - scheduling KW - rate KW - Monotonic KW - Safety Verification DO - N2 - 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. UR - https://www.ije.ir/article_71105.html L1 - https://www.ije.ir/article_71105_2286c98bb3817ef5e2138cd93cf86709.pdf ER -