УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / События и факты / Отчет по теме: "Разработка технологии создания программного обеспечения систем управления на основе автоматного подхода". Этап 2. "Разработка основных положений создания программного обеспечения "реактивных" систем" (версия для печати)


Отчет по теме: "Разработка технологии создания программного обеспечения систем управления на основе автоматного подхода". Этап 2. "Разработка основных положений создания программного обеспечения "реактивных" систем"



Отчет по теме: "Разработка технологии создания программного обеспечения систем управления на основе автоматного подхода". Этап 2. "Разработка основных положений создания программного обеспечения "реактивных" систем"

Научный руководитель темы – докт. техн. наук, профессор Шалыто А.А.

Отсюда можно скачать отчет в формате PDF (670 Kb)

Целью настоящего этапа работы является разработка основных положений технологии создания программного обеспечения "реактивных" (событийных) систем. Эта технология поддерживает для рассматриваемого класса систем все этапы создания программного обеспечения, к которым относятся: изучение предметной области, анализ, проектирование, реализация, отладка, сертификация и документирование.

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

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

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

Автоматическое ведение протокола в терминах спецификации (автоматов) обеспечивает возможность сертификации программы. Для сертификации в терминах, понятных Заказчику, могут применяться "короткие" протоколы, в которых указываются только формируемые выходные воздействия.

Подробное документирование проекта создания программного обеспечения упрощает внесение изменений в него даже через длительный срок после выпуска, в том числе и специалистами, не участвовавшими в проектировании.

Отчет содержит 145 страниц, 50 рисунков, 20 источников литературы.


© 2002—2022 По техническим вопросам сайта: alexvatyan@gmail.com