НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ, МЕХАНИКИ И ОПТИКИ
Кафедра «Технологии программирования»



Главная

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

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

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

English
 Home

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


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

Яndex



   Главная / Статьи / SWITCH-технология — автоматный подход к созданию программного обеспечения «реактивных» систем (версия для печати)


SWITCH-технология — автоматный подход к созданию программного обеспечения «реактивных» систем



[ 1 | 2 | 3 | 4 | Литература | Приложение 1 | Приложение 2 | Приложение 3 | >> ]

Отсюда можно скачать полный текст статьи в формате pdf (310 кб)
А здесь лежит пример документирования реального проекта

УДК 681.3.06: 62-507

Авторы: А.А.Шалыто, Н.И.Туккель

Федеральный научно-производственный центр ГУП "НПО "Аврора"",
Санкт-Петербургский государственный институт точной механики и оптики
(технический университет)


Опубликована в журнале "Программирование" 2001,N5, c.45-62

Существует английская версия статьи: Shalyto A.A., Tukkel' N.I. SWITCH-technology - An Automated Approach to Developing Software for Reactive Systems // Programming and Computer Software. 2001, 27(5).

На основе автоматного подхода предложена технология создания программного обеспечения «реактивных» систем, поддерживающая этапы изучения предметной области, анализа, проектирования, реализации, отладки, сертификации и документирования.

1. Введение

Современные системы управления состоят из двух составляющих: аппаратной и программной.

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

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

Для систем логического управления при вводе входных воздействий по опросу, как это выполняется, например, в программируемых логических контроллерах, предложена SWITCH-технология, предназначенная для алгоритмизации и программирования задач логического управления [1,2].

В этой технологии базовым является понятие "состояние". Добавляя к нему понятие "входное воздействие", естественным образом вводится понятие "автомат без выхода" (автомат без выхода = состояния + входные воздействия). После добавления понятия "выходное воздействие" эта формула приобретает вид: автомат = состояния + входные воздействия + выходные воздействия.

При этом соответствующий подход к программированию может быть назван "автоматным программированием", а процесс проектирования программ - "автоматным проектированием" [1].

Авторы применили SWITCH-технологию при разработке системы управления дизель-генератором, реализуемой на промышленном компьютере с операционной системой QNX, в которой управляющая программа выполняется как один процесс, а программа, моделирующая объект - как другой процесс.

При этом был создан вариант SWITCH-технологии для разработки программного обеспечения более широкого класса систем управления - "реактивных" ("reactive") систем, реагирующих на события [3-9]. Такие системы обычно реализуются на промышленных компьютерах, работающих под управлением операционных систем реального времени.


[ 1 | 2 | 3 | 4 | Литература | Приложение 1 | Приложение 2 | Приложение 3 | >> ]



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