ОРГАНИЗАЦИЯ ПОДСИСТЕМЫ КОНТРОЛЯ В ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ РЕАЛЬНОГО ВРЕМЕНИ
- Авторы: Фуругян М.Г.1
-
Учреждения:
- Федеральный исследовательский центр “Информатика и управление” РАН
- Выпуск: № 1 (2023)
- Страницы: 72-81
- Раздел: СИСТЕМНЫЙ АНАЛИЗ И ИССЛЕДОВАНИЕ ОПЕРАЦИЙ
- URL: https://journals.rcsi.science/0002-3388/article/view/136853
- DOI: https://doi.org/10.31857/S000233882301002X
- EDN: https://elibrary.ru/IZTYEW
- ID: 136853
Цитировать
Аннотация
Рассматривается задача оптимального расположения модулей контроля в вычислительной системе реального времени. Данная задача формулируется в виде минимаксной. Исследуются различные структуры графа частичного порядка выполнения прикладных модулей: последовательная цепочка, несколько независимых последовательных цепочек, дерево, ориентированное от корня к листьям, дерево, ориентированное от листьев к корню, произвольный граф без циклов. Разработаны алгоритмы построения оптимальной расстановки модулей контроля.
Об авторах
М. Г. Фуругян
Федеральный исследовательский центр “Информатика и управление” РАН
Автор, ответственный за переписку.
Email: rtsccas@yandex.ru
Россия, Москва
Список литературы
- Танаев В.С., Гордон В.С., Шафранский Я.М. Теория расписаний. Одностадийные системы. М.: Наука, 1984.
- Brucker P. Scheduling Algorithms. Heidelberg: Springer, 2007.
- Лазарев А.А. Теория расписаний. Оценка абсолютной погрешности и схема приближенного решения задач теории расписаний. М.: МФТИ, 2008.
- Мищенко А.В., Кошелев П.С. Оптимизация управления работами логистического проекта в условиях неопределенности // Изв. РАН. ТиСУ. 2021. № 4. С. 86–101.
- Глонина А.Б., Балашов В.В. О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов // Моделирование и анализ информационных систем. 2018. Т. 25. № 2. С. 174–192.
- Глонина А.Б. Обобщенная модель функционирования модульных вычислительных систем реального времени для проверки допустимости конфигураций таких систем // Вестн. ЮУрГУ. Сер. Вычисл. математика и информатика. 2017. Т. 6. № 4. С. 43–59.
- Глонина А.Б. Инструментальная система проверки выполнения ограничений реального времени для конфигураций модульных вычислительных систем // Вестн. МГУ. Сер. 15. Вычисл. математика и кибернетика. 2020. № 3. С. 16–29.
- Алифанов Д.В., Лебедев В.Н., Цурков В.И. Оптимизация расписаний с логическими условиями предшествования // Изв. РАН. ТиСУ. 2009. № 6. С. 88–93.
- Миронов А.А., Цурков В.И. Минимакс в моделях транспортного типа с интегральными ограничениями // Изв. РАН. ТиСУ. 2003. № 4. С. 69–81.
- Миронов А.А., Цурков В.И. Минимакс при нелинейных транспортных ограничениях // ДАН. 2001. Т. 381. № 3. С. 305–308.
- Grassi V., Donatiello L., Tucci S. On the Optimal Checkpointing of Critical Tasks and Transaction-Oriented Systems // IEEE Trans. Software Eng. 1992. V. 18. № 1. P. 72–77.
- Coffman E., Gilbert E. Optimal Strategies for Scheduling Checkpoints and Preventive Maintenance // IEEE Trans. Reliability. 1990. V. 39. № 1. P. 9–18.
- Bruno J.L., Coffman E.G. Optimal Fault-Tolerant Computing on Multiprocessor Systems // Acta Informatica. 1997. V. 34. P. 881–904.
- Белый Д.В., Сушков Б.Г. Модель организации рестартов в системах реального времени. М.: ВЦ РАН, 1996. 32 c.
- Гречук Б.В., Фуругян М.Г. Алгоритмы организации рестартов в системах реального времени с произвольным графом связей. М.: ВЦ РАН, 2004. 32 с.
- Филлипс Д., Гарсиа-Диас А. Методы анализа сетей. М.: Мир, 1984.
- Корте Б., Фиген Й. Комбинаторная оптимизация. Теория и алгоритмы. М.: ЦНМО, 2015.