Safety Verification of Real Time Systems Serving Periodic Devices
Publish place: International Journal of Engineering (IJE)، Vol: 7، Issue: 3
Publish Year: 1373
نوع سند: مقاله ژورنالی
زبان: English
View: 131
This Paper With 9 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_IJE-7-3_002
تاریخ نمایه سازی: 19 اسفند 1400
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:
Authors
M. Naghibzadeh
Computer Engineering, Ferdowsi University of Mashhad