Проектная документация. - СПб.: Санкт-Петербургский государственный
университет информационных технологий, механики и оптики, 2004. -
82 с.
Предлагаемая проектная документация описывает учебный пример
использования SWITCH-технологии при разработке программы управления
ядерным реактором. Для программирования задач логического
управления была предложена SWITCH-технология, которая в дальнейшем
была развита применительно к событийным и объектно-ориентированным
программам. Подробно ознакомиться с этой технологией и с
конкретными примерами ее использования можно на сайте
http://is.ifmo.ru. Эта технология удобна для задач управления
объектами со сложным поведением, поскольку при использовании
автоматного подхода, в частности, удается повысить централизацию
логики управления. Другое достоинство этого подхода состоит в том,
что код автоматных функций является изоморфным графу переходов
автоматов, по которому этот код строился (подробнее это описано в
разделе Visio2Switch). Поэтому появляется возможность не обращаться
к текстам программ для того, чтобы понять, как они работают. Для
этой цели достаточно рассмотреть соответствующие графы переходов.
Целью данного проекта является построение модели ядерного реактора
и его системы управления. Модель «реактор – система управления»
предназначена для проведения испытаний работы в различных режимах,
в том числе аварийных. Предлагаемая модель является учебной и не
претендует на полноту описания процесса управления ядерным
реактором. Авторы предполагают, что описанный подход может
применяться при проектировании, реализации и тестировании реальных
систем управления. При разработке модели применен метод
объектно-ориентированного проектирования и программирования с явным
выделением состояний. Этот подходпозволяет формализовать написание
программного кода и вывод трассировочной информации в терминах
автоматов и состояний. Выполненный проект содержит полную
документацию по всем элементам проекта, включая спецификацию
программы (описание входов и выходов, графов переходов), исходный
код (за исключением графических файлов), а также полный отчет о
работе программы.
Содержание
Введение
Постановка задачи
Проектирование
Моделирование
Структура программного комплекса
Описание классов, интерфейсов
Описание логики управления
Протоколирование
Использование Switch-технологии
Литература
Приложение 1
Пример протоколирования
Контрольная панель с протоколом
Приложение 2
Текст программы
Постановка задачи
Проектирование
Моделирование
Структура программного комплекса
Описание классов, интерфейсов
Описание логики управления
Протоколирование
Использование Switch-технологии
Литература
Приложение 1
Пример протоколирования
Контрольная панель с протоколом
Приложение 2
Текст программы