مقاله زمان بندی سیستم های Real time با کارهای دوره ای با استفاده از روش Model checking - مقاله انگلیسی با ترجمه فارسی

عنوان فارسی مقاله : زمان بندی سیستم های زمان واقعی با کارهای دوره ای با استفاده از یک روش بررسی مدل   عنوان انگلیسی مقاله: Scheduling Real-Time Systems with Periodic Tasks using a Model-checking Approach 978-1-4799-4905-2/14/$31.00 ©2014 IEEE   چکیده انگلیسی مقاله: Abstract—Scheduling theory presents analytical solutions for different scheduling schemes, most of which based on necessary or sufficient conditions only. Available methods based on graphs use quantitative temporal reasoning to answer about decidability and to find feasible schedules. In this paper we present an alternative technique based on model-checking approach that uses only qualitative temporal reasoning with periodic tasks only. That technique gives a necessary and sufficient condition for decidability and assists the design of feasible static or quasistatic offline schedulers. Prospective results are illustrated by an example where a feasible solution can be reached dealing with aceptab ...