SWITCH-технология.Алгоритмизация и программирование задач.

SWITCH-технология. Алгоритмизация и программирование задач логического управления

Излагается технология алгоритмизации и программирования задач логического управления на основе теории автоматов. Центральным понятием разрабатываемого подхода является понятие "состояние". Обоснован выбор графов переходов в качестве языка спецификаций. Предложено использовать многозначное кодирование и конструкции, аналогичные конструкции switch языка СИ, для программной реализации автоматов. Применение пентады (состояние - независимость от глубокой предыстории – система взаимосвязанных графов переходов - многозначное кодирование – конструкция switch) обеспечивает наглядность, структурность, вызываемость, вложенность, иерархичность, управляемость и наблюдаемость программ, а также их изоморфизм (изобразительную эквивалентность) со спецификациями, по которым они формально строятся. Это позволяет Заказчику, Технологу (Проектанту), Разработчику, Программисту и Оператору однозначно понимать друг друга, разделять работу и ответственность, легко и корректно вносить изменения. Изложены методы программирования рассматриваемого класса задач на алгоритмических языках высокого уровня, ассемблерах, языках инструкций, функциональных и лестничных схем, используемых в промышленных (управляющих) компьютерах и программируемых логических контроллерах. Книга предназначена для специалистов в области информатики, вычислительной техники и систем управления.

Издание осуществлено за счет финансовой поддержки Российского фонда фундаментальных исследований по проекту N 96-01-14066.

Об авторе:

Шалыто Анатолий Абрамович, д.т.н., профессор, ученый секретарь ФГУП "НПО "Аврора", заведующий кафедрой информационных систем СПб ГИТМО


Возврат к списку

Публикации Книги

Книги сотрудников АО Концерн НПО Аврора