ЕВРАЗ

Формальные методы проектирования программ SIMATIC

Курс предназначен для персонала занимающегося разработкой или модернизацией систем автоматизации технологических процессов, реализованных на базе контроллеров семейства SIMATIC S7-300 и S7-400. Практическое закрепление навыков программирования происходит при выполнении упражнений на стендах, оснащённых программатором и контроллером SIMATIC S7-300.
 
Требования к обучающимся:
  • Знания в области систем управления;
  • Опыт работы с Windows.  
Курс базируется на курсе "Программирование на языке Step 7"
 
Тематический план курса
  1. Обзор семейства контроллеров SIMATIC S7, основные характеристики и особенности использования в области автоматизации;
  2. Краткий обзор пакета STEP7. Конфигурирование контроллера. Загрузка и ввод программы в эксплуатацию;
  3. Основные сведения теории конечных автоматов;
  4. Основные алгоритмы функционирования технологических  систем;
  5. Методика создания исходных текстов программы  управления ТП с использованием формальных методов  (на основе теории конечных автоматов).
Продолжительность курса - 24 часа.