Главная / Статьи / Формальные методы программирования логических контроллеров
(версия для печати)
Формальные методы программирования логических контроллеров
Статья опубликована в журнале «Промышленные АСУ и контроллеры». 2005. №11, с. 49– 52.
И.З. Альтерман, А.А. Шалыто
Статья в формате PDF
Предлагаются методы непосредственного построения программ на языке функциональных блоков по графам переходов. Примеры реализации рассмотрены для контроллеров Simatic S7.
|