Scheduling Analysis for Real-Time Computing
For the formal concept of Real-Time, see Real-Time Computing.
The term Scheduling Analysis in Real-Time Computing includes the scheduler system and the algorithms used in Real-Time applications. In Computer Science , Real-Time Scheduling Analysis is the evaluation, testing and verification of the scheduling system and the algorithms used in Real-Time operations. For critical operations, a Real-Time system must be tested and verified for performance. In computer science, testing and verification is also known as Model Checking.
A Real Time Scheduling System is composed of the scheduler, clock and the processing hardware elements. In a Real-Time system, a process or task has schedulability; tasks are accepted by a real-time system and completed as specified by the task deadline depending on the characteristic of the scheduling algorithm . Modeling and evaluation of a Real-Time Scheduling system concern is on the analysis of the algorithm capability to meet a process deadline. A deadline is defined as the time required for a task to be processed.
For example, in a Real-Time scheduling algorithm a deadline could be set to five nano-seconds. In a critical operation the task must be processed in the time specified by the deadline (i.e five nano-seconds). A task in a Real-Time system must be completed “neither too early nor too late;..” . A system is said to be unschedulable when tasks can not met the specified deadlines . A task can be classified as either a periodic or aperiodic process .
Marketing Analytics is another application for Real-Time technology . For example the use of real-time analytics can be implemented by an online retailer interested in displaying ads to consumers at specific intervals. In Real-Time, large volumes of consumer data can be analyzed to improve the marketing strategy.
The criteria of a Real-Time can be classified as hard, firm or soft. The scheduler set the algorithms for executing tasks according to a specified order . There are multiple mathematical models to represent a scheduling System, most implementations of Real-Time scheduling algorithm are modeled for the implementation of uniprocessors or multiprocessors configurations. The more challenging scheduling algorithm is found in multiprocessors, it is not always feasible to implement a uniprocessor scheduling algorithm in a multiprocessor . The algorithms used in scheduling analysis “can be classified as pre-emptive or non-pre-emptive".
A scheduling algorithm defines how tasks are processed by the scheduling system. In general terms, in the algorithm for a real-time scheduling system, each task is assigned a description, deadline and an identifier. The scheduler traces an accepted task according to a scheduling algorithm.
A Real-Time scheduling algorithm can also be classified as static or dynamic . Tasks are accepted by the hardware elements in a real-time scheduling system from the computing environment and processed in real-time. An output signal indicates the processing status . A task deadline indicates the time set to complete for each task. A task deadline for a static scheduler is predetermined offline. A different alternative is to schedule a task when the system is running; this process is known as Dynamic scheduling . It is not always possible to meet the required deadline; hence further verification of the scheduling algorithm must be conducted. Two different models can be implemented using a dynamic scheduling algorithm; a task deadline can be assigned according to the task priority (earliest deadline) or a completion time for each task is assigned by subtracting the processing time from the deadline (least laxity) . Deadlines and the required task execution time must be understood in advance to ensure the effective use of the processing elements execution times.
Testing and Verification
The performance verification and execution of a Real-Time scheduling algorithm is performed by the analysis of the algorithm execution times. Verification for the performance of a Real-Time Scheduler will require testing the scheduling algorithm under different test scenarios including the worst-case execution time. These testing scenarios include worst case and unfavorable cases to assess the algorithm performance. The time calculations required for the analysis of scheduling systems requires evaluating the algorithm at the code level .
Different methods can be applied to testing a Scheduling System in a Real-Time system. Some methods include: input/output verifications and code analysis. One method is by testing each input condition and performing observations of the outputs. Depending on the number of inputs this approach could result in a lot of effort. Another faster and more economical method is a risk based approach where representative critical inputs are selected for testing. This method is more economical but could result in less than optimal conclusions over the validity of the system if the incorrect approach is used. Retesting requirements after changes to the Scheduling System are considered in a case by case basis. Testing and verification of Real-Time systems should not be limited to input/output and codes verifications but are performed also in running applications using intrusive or non-intrusive methods.
 Office of Aviation Research and Development Washington, D.C. 20591. Real-Time Scheduling Analysis. November 2005 National Technical Information Service (NTIS), Virginia 22161. Retrieved April 2, 2012 from: http://www.tc.faa.gov/its/worldpac/techrpt/ar05-27.pdf
 Harris D. (2011). Big Data in real time is not fantasy. Retrieved April 2, 2012 from: http://gigaom.com/cloud/big-data-in-real-time-is-no-fantasy/
 Liu Z. Verification, Refinement and Scheduling of Real-time Programs. Accessed on April 30, 2012 from the website: citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.2896
 Manolache S. Schedulability Analysis of Real-Time Systems with Stochastic Task Execution Times. Accessed on May 2, 2012 from the website: http://www.ida.liu.se/~sorma/publications/sorma_lic.pdf
 N. Audsley & A. Burns. Real-Time System Scheduling. Department of Computer Science, University of York, UK. Accessed on April 29, 2012 from the website: citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.1939
 R. Castanet. Testing real-Time Systems. Accessed on April 30, 2012 from the website:
 Yodaiken V. & Ramamritham K. Chapter 3, Mathematical Models of Real-Time Scheduling from the book: Foundations of Real-Time Computing. Formal Specifications and methods edited by Van A., TilborgV. & Koob G.
IEEE Technical Committee on Real-Time Systems. http://tcrts.org/