Distributed hard real-time scheduling for a software prototyping environment
Menezes Cordeiro, Mauricio de.
MetadataShow full item record
Scheduling analysis is one of the most important activities in hard real-time systems development since the correctness of hard real-time systems depends not only on the logical results of computation, but also on the time at which the results are produced. This dissertation aimed at the development of both fundamental theory and software tools to support efficiently and reliably the scheduling of distributed hard real-time systems. The major work of this dissertation focuses on non-preemptive hard real-time scheduling, for periodic and sporadic task sets, although some of the results are also applicable to the Preemptive case. Several theorems for checking the schedulability of non-preemptive task sets are developed. Previous results on necessary and sufficient conditions for scheduling non-preemptive task sets are extended to cover the case when the task deadlines can be smaller or equal to their periods. The concept of transient and cyclic schedules is introduced to overcome the weakness of the traditional methods, which restrict the construction of a cyclic schedule to a fixed interval of length equal to the least common multiple of the periods.
Showing items related by title, author, creator and subject.
George, Robert; Kanayama, Yutaka (1996-04);Most existing real-time control systems use ad hoc static priority scheduling methods, in spite of the fact that the rate monotonic scheduling algorithm was proved to be the optimal static priority scheduling algorithm ...
Korkut, Omer (Monterey, California. Naval Postgraduate School, 1998-09-01);When a real time system has a mixed set of time critical tasks, including tasks with hard headlines and tasks with soft deadlines, managing a mixed set of tasks in a timely manner becomes harder and requires a multi-level ...
Kasimoglu, Fatih (Monterey, California. Naval Postgraduate School, 2004-06);This thesis develops an integer linear program called MSAMT (Model to Schedule Army Maneuver Training) to schedule an Army installation's maneuver training. We demonstrate MSAMT using a data set containing 261 platoon-level, ...