ОРГАНИЗАЦИЯ ПОДСИСТЕМЫ КОНТРОЛЯ В ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ РЕАЛЬНОГО ВРЕМЕНИ

Обложка

Цитировать

Полный текст

Открытый доступ Открытый доступ
Доступ закрыт Доступ предоставлен
Доступ закрыт Доступ платный или только для подписчиков

Аннотация

Рассматривается задача оптимального расположения модулей контроля в вычислительной системе реального времени. Данная задача формулируется в виде минимаксной. Исследуются различные структуры графа частичного порядка выполнения прикладных модулей: последовательная цепочка, несколько независимых последовательных цепочек, дерево, ориентированное от корня к листьям, дерево, ориентированное от листьев к корню, произвольный граф без циклов. Разработаны алгоритмы построения оптимальной расстановки модулей контроля.

Об авторах

М. Г. Фуругян

Федеральный исследовательский центр “Информатика и управление” РАН

Автор, ответственный за переписку.
Email: rtsccas@yandex.ru
Россия, Москва

Список литературы

  1. Танаев В.С., Гордон В.С., Шафранский Я.М. Теория расписаний. Одностадийные системы. М.: Наука, 1984.
  2. Brucker P. Scheduling Algorithms. Heidelberg: Springer, 2007.
  3. Лазарев А.А. Теория расписаний. Оценка абсолютной погрешности и схема приближенного решения задач теории расписаний. М.: МФТИ, 2008.
  4. Мищенко А.В., Кошелев П.С. Оптимизация управления работами логистического проекта в условиях неопределенности // Изв. РАН. ТиСУ. 2021. № 4. С. 86–101.
  5. Глонина А.Б., Балашов В.В. О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов // Моделирование и анализ информационных систем. 2018. Т. 25. № 2. С. 174–192.
  6. Глонина А.Б. Обобщенная модель функционирования модульных вычислительных систем реального времени для проверки допустимости конфигураций таких систем // Вестн. ЮУрГУ. Сер. Вычисл. математика и информатика. 2017. Т. 6. № 4. С. 43–59.
  7. Глонина А.Б. Инструментальная система проверки выполнения ограничений реального времени для конфигураций модульных вычислительных систем // Вестн. МГУ. Сер. 15. Вычисл. математика и кибернетика. 2020. № 3. С. 16–29.
  8. Алифанов Д.В., Лебедев В.Н., Цурков В.И. Оптимизация расписаний с логическими условиями предшествования // Изв. РАН. ТиСУ. 2009. № 6. С. 88–93.
  9. Миронов А.А., Цурков В.И. Минимакс в моделях транспортного типа с интегральными ограничениями // Изв. РАН. ТиСУ. 2003. № 4. С. 69–81.
  10. Миронов А.А., Цурков В.И. Минимакс при нелинейных транспортных ограничениях // ДАН. 2001. Т. 381. № 3. С. 305–308.
  11. 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.
  12. Coffman E., Gilbert E. Optimal Strategies for Scheduling Checkpoints and Preventive Maintenance // IEEE Trans. Reliability. 1990. V. 39. № 1. P. 9–18.
  13. Bruno J.L., Coffman E.G. Optimal Fault-Tolerant Computing on Multiprocessor Systems // Acta Informatica. 1997. V. 34. P. 881–904.
  14. Белый Д.В., Сушков Б.Г. Модель организации рестартов в системах реального времени. М.: ВЦ РАН, 1996. 32 c.
  15. Гречук Б.В., Фуругян М.Г. Алгоритмы организации рестартов в системах реального времени с произвольным графом связей. М.: ВЦ РАН, 2004. 32 с.
  16. Филлипс Д., Гарсиа-Диас А. Методы анализа сетей. М.: Мир, 1984.
  17. Корте Б., Фиген Й. Комбинаторная оптимизация. Теория и алгоритмы. М.: ЦНМО, 2015.

Дополнительные файлы

Доп. файлы
Действие
1. JATS XML
Скачать

© М.Г. Фуругян, 2023