عنوان فارسی مقاله : زمان بندی سیستم های زمان واقعی با کارهای دوره ای با استفاده از یک روش بررسی مدل عنوان انگلیسی مقاله: 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 ...
عنوان فارسی مقاله : بهینه سازی و کاربرد زمان واقعی رویکرد زمان بندی ARM لینوکس نهفته عنوان انگلیسی مقاله: Real-Time Optimization and Application of the Embedded ARM-Linux Scheduling Policy 978-0-7695-4522-6/11 $26.00 © 2011 IEEE چکیده انگلیسی مقاله: Abstract—Real-time is key feature in signal acquisition terminal of intelligent transportation. Furthermore, Linux on the terminal influence performance of signal acquisition directly. So it is necessary to improve real-time of Linux operating system. In this paper, by analyzing real-time scheduling policy and clock mechanism on Linux2.6.12 kernel, a new optimization for embedded ARM-S3C2440 framework is introduced into kernel scheduling module. On the basis of O(1) algorithm, LSF scheduling algorithm is proposed to improve scheduling policy. At additional, four aspects: process scheduling mechanism, kernel preempt, clock mechanism, virtual memory mechanism are made simple modifications. At final, new kerne ...
عنوان فارسی مقاله : مقایسه الگوریتم های زمان واقعی RTLinux و VxWorks عنوان انگلیسی مقاله: Comparison between scheduling algorithms in RTLinux and VxWorks چکیده انگلیسی مقاله: The scheduler decides wich one of the available tasks that will be next to be processed by the CPU. To make this decision the scheduler checks the priority levels of the scheduled tasks and apply a predefined schedule algorithm. This report will compare the scheduling algorithms in the real-time operating systems RTLinux and VxWorks and comes to the conclusion that the two compared systems are roughly equivalent in most uses in regards to this. ترجمه چکیده مقاله به فارسی: زمان بند تصمیم می گیرد که کدام یک از کارهای موجود ابتدا پردازش شوند. برای این تصمیم گیری، زمان بند اولویت کارهای زمان بندی شده را بررسی کرده و یگ الگوریتم زمان بندی از پیش تعیین شده را به کار می گیرد. این گزارش الگوریتم های زمان بندی واقعی را در سیستم عامل های زمان واقعی RTLinux و VxWorks را با هم مقایسه کرده و به ...
عنوان فارسی مقاله : زمان بندی لینوکس در یک سیستم نهفته عنوان انگلیسی مقاله: Process Scheduling of Linux in Embedded System 978-1-4244-7237-6/$26.00 C 2010 IEEE چکیده انگلیسی مقاله: Abstract—Linux is a multi-user multi-tasking operating system. Process scheduling is the hardcore of this multi-tasking operating system. The characteristics of process scheduling of embedded Linux are analyzed. The real-time scheduling algorithm of embedded Linux is especially discussed and an instance of priority-driven scheduling algorithm is illustrated in detail. In this example, the problem of priority inversion in process scheduling is solved perfectly. ترجمه چکیده مقاله به فارسی: لینوکس یک سیستم عامل چند کاربره و چندکاره است. زمان بندی فرایند سنگ بنای این سیستم عامل است. مشخصه های زمان بندی فرایند در این سیستم عامل مورد تحلیل قرار می گیرند. الگوریتم زمان بندی زمان واقعی لینوکس نهفته به طور خاص مورد بحث قرار می گیرد و یک مثال از الگوریتم زمان بندی بر اساس اولویت به طور د ...
عنوان فارسی مقاله : مقایسه الگوریتم های زمان واقعی با استفاده از کارهای نمایشی و ارزیابی گسترش زمان واقعی لینوکس عنوان انگلیسی مقاله: MS project proposal: A comparison of real-time scheduling algorithms using visualization of tasks and evaluation of real-time extensions to Linux چکیده انگلیسی مقاله: Real-time Systems are computer systems that require responses within specified time limits or constraints. Many real-time systems are digital control systems comprised entirely of binary logic or a microprocessor dedicated to one software application that is its own operating system. In recent years, the reliability of general-purpose real-time operating systems (RTOS) consisting of a scheduler and system resource management has improved. In this project, I will write a real-time simulator (RTS), write a workload generator, write analysis tools, and run and interpret the results. The main analysis tool I propose to develop will be a measurement system that analyzes real-time schedulin ...
عنوان فارسی مقاله : بهینه سازی و کاربرد زمان واقعی رویکرد زمان بندی ARM لینوکس نهفته عنوان انگلیسی مقاله: Real-Time Optimization and Application of the Embedded ARM-Linux Scheduling Policy 978-0-7695-4522-6/11 $26.00 © 2011 IEEE چکیده انگلیسی مقاله: Abstract—Real-time is key feature in signal acquisition terminal of intelligent transportation. Furthermore, Linux on the terminal influence performance of signal acquisition directly. So it is necessary to improve real-time of Linux operating system. In this paper, by analyzing real-time scheduling policy and clock mechanism on Linux2.6.12 kernel, a new optimization for embedded ARM-S3C2440 framework is introduced into kernel scheduling module. On the basis of O(1) algorithm, LSF scheduling algorithm is proposed to improve scheduling policy. At additional, four aspects: process scheduling mechanism, kernel preempt, clock mechanism, virtual memory mechanism are made simple modifications. At final, new kerne ...
عنوان فارسی مقاله : زمان بندی سیستم های زمان واقعی با کارهای دوره ای با استفاده از یک روش بررسی مدل عنوان انگلیسی مقاله: 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 ...
عنوان فارسی مقاله : مقایسه الگوریتم های زمان واقعی RTLinux و VxWorks عنوان انگلیسی مقاله: Comparison between scheduling algorithms in RTLinux and VxWorks چکیده انگلیسی مقاله: The scheduler decides wich one of the available tasks that will be next to be processed by the CPU. To make this decision the scheduler checks the priority levels of the scheduled tasks and apply a predefined schedule algorithm. This report will compare the scheduling algorithms in the real-time operating systems RTLinux and VxWorks and comes to the conclusion that the two compared systems are roughly equivalent in most uses in regards to this. ترجمه چکیده مقاله به فارسی: زمان بند تصمیم می گیرد که کدام یک از کارهای موجود ابتدا پردازش شوند. برای این تصمیم گیری، زمان بند اولویت کارهای زمان بندی شده را بررسی کرده و یگ الگوریتم زمان بندی از پیش تعیین شده را به کار می گیرد. این گزارش الگوریتم های زمان بندی واقعی را در سیستم عامل های زمان واقعی RTLinux و VxWorks را با هم مقایسه کرده و به ...
عنوان فارسی مقاله : زمان بندی لینوکس در یک سیستم نهفته عنوان انگلیسی مقاله: Process Scheduling of Linux in Embedded System 978-1-4244-7237-6/$26.00 C 2010 IEEE چکیده انگلیسی مقاله: Abstract—Linux is a multi-user multi-tasking operating system. Process scheduling is the hardcore of this multi-tasking operating system. The characteristics of process scheduling of embedded Linux are analyzed. The real-time scheduling algorithm of embedded Linux is especially discussed and an instance of priority-driven scheduling algorithm is illustrated in detail. In this example, the problem of priority inversion in process scheduling is solved perfectly. ترجمه چکیده مقاله به فارسی: لینوکس یک سیستم عامل چند کاربره و چندکاره است. زمان بندی فرایند سنگ بنای این سیستم عامل است. مشخصه های زمان بندی فرایند در این سیستم عامل مورد تحلیل قرار می گیرند. الگوریتم زمان بندی زمان واقعی لینوکس نهفته به طور خاص مورد بحث قرار می گیرد و یک مثال از الگوریتم زمان بندی بر اساس اولویت به طور د ...
عنوان فارسی مقاله : مقایسه الگوریتم های زمان واقعی با استفاده از کارهای نمایشی و ارزیابی گسترش زمان واقعی لینوکس عنوان انگلیسی مقاله: MS project proposal: A comparison of real-time scheduling algorithms using visualization of tasks and evaluation of real-time extensions to Linux چکیده انگلیسی مقاله: Real-time Systems are computer systems that require responses within specified time limits or constraints. Many real-time systems are digital control systems comprised entirely of binary logic or a microprocessor dedicated to one software application that is its own operating system. In recent years, the reliability of general-purpose real-time operating systems (RTOS) consisting of a scheduler and system resource management has improved. In this project, I will write a real-time simulator (RTS), write a workload generator, write analysis tools, and run and interpret the results. The main analysis tool I propose to develop will be a measurement system that analyzes real-time schedulin ...