A Feasibility Test for Real-Time Systems Software

A. O. Sokolov, Postgraduate Student, Design Engineer, e-mail: wedmeed@mail.ru, Saratov State Technical University of Gagarin Yu. A., "KB Electropribor", Saratov

The paper presents a feasibility test for real-time tasks set. Unlike existing tests it use an advanced software model. This model includes regular tasks, firm real-time tasks and tasks with equal priorities.

Allowing defined features reduces pessimism of the test results. An important advantage is the set feasibility when a utilization factor is greater than 1. This is possible because firm real-time tasks benefits are introduced. Also in this paper several other optimizations are proposed. They improve applicability of the test.

Owing to the universality of the model used proposed test is compatible with older models. Sets of tasks created earlier can be checked without any changes.

Simulations with a large number of tasks sets with random parameters confirm results of this work. In all experiments pessimism of the proposed test is lower than pessimism of the base test.

Keywords: feasibility test, software, tasks, scheduling, real-time, utilization factor, response time

pp. 23–29