@article { author = {Naghibzadeh, M.}, title = {Safety Verification of Real Time Systems Serving Periodic Devices}, journal = {International Journal of Engineering}, volume = {7}, number = {3}, pages = {133-142}, year = {1994}, publisher = {Materials and Energy Research Center}, issn = {1025-2495}, eissn = {1735-9244}, doi = {}, abstract = {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.}, keywords = {real,Time Systems,scheduling,rate,Monotonic,Safety Verification}, url = {https://www.ije.ir/article_71105.html}, eprint = {https://www.ije.ir/article_71105_2286c98bb3817ef5e2138cd93cf86709.pdf} }