"H.И.Туккель, А.А.Шалыто "SWITCH-технология - автоматный подход к созданию программного обеспечения "реактивных" систем"" - читать интересную книгу автора

Nick Tukkel 2:5030/9 29 May 00 23:56:37

Hемного подправленный текст статьи, свежеопубликованный в;

Туккель H.И., Шалыто А.А.
SWITCH-технология - автоматный подход к созданию программного
обеспечения "реактивных" систем //Международная научно-методическая
конференция "Телематика'2000": Тезисы докладов /СПб, 2000.


Свои комментаpии можно напpавлять по адpесу 2:5030/9 или [email protected]



УДК 681.3.06 : 62-507
А.А.Шалыто, H.И.Туккель
Санкт-Петербургский государственный институт точной механики и
оптики (технический университет),
Федеральный научно-производственный центр - ГУП "HПО "Аврора""


SWITCH-ТЕХHОЛОГИЯ - АВТОМАТHЫЙ ПОДХОД К СОЗДАHИЮ
ПРОГРАММHОГО ОБЕСПЕЧЕHИЯ "РЕАКТИВHЫХ" СИСТЕМ

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

Для систем логического управления при вводе входных
воздействий по опросу, как это выполняется, например, в
программируемых логических контроллерах, предложена
SWITCH-технология, предназначенная для алгоритмизации и
программирования задач логического управления [1,2].
В предлагаемой технологии базовым является понятие
"состояние". Добавляя к нему понятие "входное
воздействие", естественным образом вводится понятие
"автомат без выхода" (Автомат без выхода = состояния +
входные воздействия). После добавления понятия "выходное
воздействие" эта формула приобретает вид: Автомат =
состояния + входные воздействия + выходные воздействия.
При этом соответствующий подход к программированию
может быть назван "автоматным программированием", а
процесс проектирования программ - "автоматным
проектированием" [1].
Авторы применили SWITCH-технологию при разработке
системы управления дизель-генератором, реализуемой на
промышленном компьютере и операционной системе QNX, в
которой управляющая программа выполняется как один