1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал «Электротехника»
  5. Выпуск 2017 г. № 3
Технология иинструментальныйпрограммный комплекспроектирования иверификацииалгоритмов управленияреального времени Тюгашев А. А.Железнов Д. В.Никищенков С. А.2017 год

Технология и инструментальный программный комплекс проектирования и верификации алгоритмов управления реального времени
статья из журнала

Заказать копию статьи
База данных: Каталог библиотеки СФУ
Библиографическое описание: Тюгашев, А. А. Технология и инструментальный программный комплекс проектирования и верификации алгоритмов управления реального времени / А. А. Тюгашев, Д. В. Железнов, С. А. Никищенков. - Текст : непосредственный // Электротехника. - 2017. - № 3. - С. 59-64. - ISSN 0013-5860.
Аннотация: Рассмотрена комплексная система информационной поддержки проектирования и верификации (СИПР МП) особого вида алгоритмов управления сложным техническим комплексом - микропрограмм интегрального управления. Характерной особенностью современных сложных технических комплексов (в промышленности, энергетике, на транспорте) является наличие в составе данного комплекса ряда подсистем менее высокого уровня, включая выделенную систему управления. При этом современные системы управления строятся на базе цифровых ЭВМ. Логика управления сложным техническим комплексом реализуется специальным программно-алогоритмическим обеспечением (ПАО), важнейшей частью которого являются макропрограммы интегрального управления, координирующие работу подсистем. Ошибки при этом недопустимы, поскольку ПАО относится к критически важным приложениям, сбои в которых могут привести к катастрофическим последствиям, большим материальным потерям, человеческим жертвам. Проектирование, разработка и верификация ПАО, включая многоэтапные испытания и отладку, является весьма сложным и трудоемким процессом. Многие ошибки возникают в силу взаимного недопонимания между отдельными участниками разработки - специалистами по различным подсистемам, проектантами комплекса, программистами. Используемый при создании документации естественный язык не обладает необходимой однозначностью и точностью. Предложена методика проектирования и верификации, позволяющая благодаря применению специальной проблемно-ориентированной нотации сократить число промежуточных этапов при разработке ПАО систем управления реального времени, снизить трудовые и временные затраты при одновременном повышении качества и надежности. СИПР МП содержит средства визуализации и графического конструирования, автоматизации тестирования, автоматизированной генерации программной документации и т. п. Все модули функционируют под управлением интегрирующей оболочки и формируют интегрированную среду разработки.
Год издания: 2017
Авторы: Тюгашев А. А. , Железнов Д. В. , Никищенков С. А.
Источник: Электротехника
Выпуск: № 3
Номера страниц: 59-64
Количество экземпляров:
  • Читальный зал (пер. Вузовский, 6Д): свободно 1 из 1 экземпляров