350 rub
Journal Information-measuring and Control Systems №9 for 2011 г.
Article in number:
Structured models for analysis of multitasking software systems
Authors:
V. V. Nikiforov, V. А. Pavlov
Abstract:
The paper considers structural features of multitasking software systems which have an influence on values of the blocking factor and estimations of the waiting time of shared resources for active application tasks. Conditions are pointed out under which it is necessary to take into account an internal structure of application task codes to make a correct estimation of the waiting time. A method is developed to check possibilities for an appearance of reciprocal waiting loops in multitasking software applications with shared access to system resources for application tasks. The method is based on construction and analysis of the graph which number of nodes grows linearly with the growth of number of tasks in software application
Pages: 19-29
References
- Никифоров В. В., Павлов В. А. Операционные системы реального времени для встроенных программных комплексов // Программные продукты и системы. 1999. № 4. С. 24-30.
- Давиденко К.Я. Технология программирования АСУТП. Проектирование систем реального времени, параллельных и распределенных приложений. М.: Энергоатомиздат. 1985.
- Никифоров В.В. Разработка программных средств для встроенных систем. СПб.: СПбГЭТУ. 2000.
- Никифоров В.В., Павлов В.А. Оценка продолжительности ожидания ресурсов в многозадачных системах реального времени. // Труды Междунар. науч.-технич. конференции «Средства робототехники для обеспечения безопасности. Планетоходы, космическая робототехника и наземные роверы». СПб: Политехнка-сервис. 2010. С. 182-185.
- Гома Х.UML. Проектирование систем реального времени, параллельных и распределенных приложений. М.: ДМК Пресс. 2002.
- Liu J.W.S. Real-Time Systems. NJ: Prentice Hall. 2000.
- Данилов М.В. Методы планирования выполнения задач в системах реального времени // Программные продукты и системы. 2001. № 4. С. 28-35.
- Никифоров В.В., Павлов В.А. Динамическое разделение ресурсов задачами с состояниями ожидания // Материалы всерос. конференции «Теория и практика системной динамики». Апатиты. 2004. С. 129-138.
- Никифоров В.В., Шкиртиль В.И. Спецификация средствами языка XML системы интерфейсов в приложениях реального времени // Труды СПИИРАН. СПб.: Наука. 2009. Вып 11. С. 159-175.
- Никифоров В.В. Представление структуры сигнальных связей алгоритмических процессов в гибких производственных системах // Интегрированные производственные комплексы / под ред. В.М. Пономарева. Л.: Машиностроение. 1987. С. 42-46.
- Питерсон Дж. Теория сетей Петри и моделирование систем. М.: Мир. 1984.