Модели событийных недетерминированных автоматов для формального представления основных свойств систем управления параллельными процессами и ресурсами
Автор: Бикташев Равиль Айнулович, Вашкевич Николай Петрович
Журнал: Инфокоммуникационные технологии @ikt-psuti
Рубрика: Управление и подготовка кадров для отрасли инфокоммуникаций
Статья в выпуске: 3 т.11, 2013 года.
Бесплатный доступ
В статье рассматриваются вопросы формального аналитического представления основных свойств систем управления параллельными процессами и ресурсами, которые должны быть положены в основу аналитического представления таких алгоритмов, чтобы обеспечивались основные требования к системам управления, определяющим их надежность и эффективность. Описание рассматриваемых свойств систем управления базируется на использовании моделей событийных недетерминированных автоматов (СНДА).
Процессы, ресурсы, событийное управление, аналитическое представление алгоритмов, недетерминированные автоматы, системы управления
Короткий адрес: https://sciup.org/140191655
IDR: 140191655
Список литературы Модели событийных недетерминированных автоматов для формального представления основных свойств систем управления параллельными процессами и ресурсами
- Вашкевич Н.П., Бикташев Р.А. Достоинства формального языка, основанного на концепции недетерминизма, для функционального описания и преобразования алгоритмов логического управления процессами и ресурсами в параллельных системах обработки информации//Телекоммуникации. №1, 2011. -С. 18-26.
- Вашкевич Н.П., Бикташев Р.А. Достоинства формального языка, основанного на концепции недетерминизма, для структурной реализации параллельных систем логического управления процессами и ресурсами//Известия ВУЗов. Поволжский регион. Технические науки. № 1, 2011. -С. 4-14.
- Вашкевич Н.П. Недетерминированные автоматы в проектировании систем параллельной обработки. Пенза: Изд. ПГУ. 2004. -280 c.
- Игнатущенко В.В. Организация структур управляющих многопроцессорных вычислительных систем. М: Энергоатомиздат, 1984. -184 с.
- Таненбаум Э. Современные операционные системы. СПб: Питер, 2002. -1040 с.
- Вашкевич Н.П., Бикташев Р.А., Гурин Е.И. Аппаратная реализация функций синхронизации параллельных процессов при обращении к разделяемому ресурсу на основе ПЛИС//Известия ВУЗов. Поволжский регион. Технические науки. № 2, 2007. -С. 3-12.
- Вашкевич Н.П., Волчихин В.И., Бикташев Р.А. Формализация алгоритма управления взаимодействующими параллельными процессами в задаче «производители-потребители» с использованием механизма мониторов//Вопросы радиоэлектроники. Серия ЭВТ, 2010. -С. 3-15.
- Кларк Э.М., Грамберг О., Пелед Д. Верификация моделей программы: Model Checking. Пер. с англ. М.: МЦНМО, 2002. -416 с.
- Вашкевич Н.П., Бикташев Р.А., Меркурьев А.И. Аппаратная поддержка диспетчера задач с глобальной очередью в многопроцессорных системах//Известия ВУЗов. Поволжский регион. Технические науки. №3, 2011. -С. 3-14.
- Вашкевич Н.П., Волчихин В.И., Бикташев Р.А. Планировщик задач с аппаратной поддержкой для многопроцессорных систем//Известия ВУЗов. Поволжский регион. Технические науки. №1, 2012. -С. 12-21.
