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

Тюгашев А. А.; Железнов Д. В.; Никищенков С. А.

База данных: Каталог библиотеки СФУ

Библиографическое описание: Тюгашев, А. А. Технология и инструментальный программный комплекс проектирования и верификации алгоритмов управления реального времени / А. А. Тюгашев, Д. В. Железнов, С. А. Никищенков. - Текст : непосредственный // Электротехника. - 2017. - № 3. - С. 59-64. - ISSN 0013-5860.

Аннотация: Рассмотрена комплексная система информационной поддержки проектирования и верификации (СИПР МП) особого вида алгоритмов управления сложным техническим комплексом - микропрограмм интегрального управления. Характерной особенностью современных сложных технических комплексов (в промышленности, энергетике, на транспорте) является наличие в составе данного комплекса ряда подсистем менее высокого уровня, включая выделенную систему управления. При этом современные системы управления строятся на базе цифровых ЭВМ. Логика управления сложным техническим комплексом реализуется специальным программно-алогоритмическим обеспечением (ПАО), важнейшей частью которого являются макропрограммы интегрального управления, координирующие работу подсистем. Ошибки при этом недопустимы, поскольку ПАО относится к критически важным приложениям, сбои в которых могут привести к катастрофическим последствиям, большим материальным потерям, человеческим жертвам. Проектирование, разработка и верификация ПАО, включая многоэтапные испытания и отладку, является весьма сложным и трудоемким процессом. Многие ошибки возникают в силу взаимного недопонимания между отдельными участниками разработки - специалистами по различным подсистемам, проектантами комплекса, программистами. Используемый при создании документации естественный язык не обладает необходимой однозначностью и точностью. Предложена методика проектирования и верификации, позволяющая благодаря применению специальной проблемно-ориентированной нотации сократить число промежуточных этапов при разработке ПАО систем управления реального времени, снизить трудовые и временные затраты при одновременном повышении качества и надежности. СИПР МП содержит средства визуализации и графического конструирования, автоматизации тестирования, автоматизированной генерации программной документации и т. п. Все модули функционируют под управлением интегрирующей оболочки и формируют интегрированную среду разработки.

Год издания: 2017

Авторы: Тюгашев А. А. , Железнов Д. В. , Никищенков С. А.

Источник: Электротехника

Выпуск: № 3

Номера страниц: 59-64

Количество экземпляров:

Читальный зал (пер. Вузовский, 6Д): свободно 1 из 1 экземпляров

Показать дополнительные сведения

Программные механизмы поиска, сравнения и копирования объектов системы автоматизированного…

Цапко И. В. и др.
2023 год

Об уточнении функций фонда алгоритмов и программ в интересах автоматизации проектирования…

Саяпин Олег Викторович и др.
2018 год

Программно-технический комплекс "Графика - ТР" как универсальное средство решения инженерных…

Смирнов С. В. и др.
2020 год

Расширение класса линейных интервальных ограничений для управляющих задач реального времени

Кавалеров М. В.
2017 год

Особенности тестирования бортовых вычислительных комплексов в среде операционной системы…

Феоктистов К. А.
2012 год

Обзор технологии отслеживания объектов для анализа наличия средств индивидуальной защиты и…

Мироненко В. В. и др.
2025 год

Всережимный моделирующий комплекс реального времени электроэнергетических систем

Андреев М. В. и др.
2016 год

Методика выбора параметров тестирования и алгоритмического резервирования для обеспечения…

Лясковский Виктор Людвигович и др.
2014 год

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

Линд Ю. Б. и др.
2012 год

Программно-аппаратный комплекс для моделирования электроприводов в реальном времени

Зюзев А. М. и др.
2014 год

UML. Проектирование систем реального времени, параллельных и распределенных приложений

Гома Хассан
2023 год

Программное обеспечение и алгоритмы распознавания адресных структур

Куляшова Н. М.
2021 год

Разработка программного модуля учета нормативов штучного времени токарной обработки деталей в…

Алексеев В. А. и др.
2017 год

Выбор стратегии развития региональной инфраструктуры в условиях неопределенности добычи с…

Хамидуллин А. А. и др.
2017 год

Применение программного обеспечения CAx-систем и виртуального моделирования для проектирования…

Кульга К. С. и др.
2015 год

Аппаратно-программный комплекс для анализа неоднородного потока объектов в системах фотосепарации…

Алгазинов Э. К. и др.
2014 год

Библиотечно-издательский комплекс СФУ

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

Похожие публикации