324 Серия «Авторское приложение» Приложение «гиперсистема»

(макет-приложение)

Описание применения

Автор Акунович С.И.

Минск 2013г.

Оглавление

Введение 4

Назначение 12

Ограничения 13

Условия применения 13

Структура приложения «Гиперсистема» 14

Работа с приложением «Гиперсистема» 14

Комплексное логическое моделирование 15

Ввод данных модели 16

Запись блок-схем на языке Геракл 17

Краткое содержательное описание языка Геракл 17

Металингвистическое описание языка Геракл 18

Структурные диаграммы языка Геракл 19

Пример записи алгоритма на языке Геракл 19

Преобразование блок-схем на язык Геракл 20

Ввод табличных данных ТЗ 24

Верификация Логических функций 25

Логические функции 35

Команды управления 39

Сигналы срабатывания таймеров 45

Внешние соединители 46

Запуск алгоритмов 78

Синтез_модели 84

Синтез программ для выполнения алгоритмов управления 85

Синтез программ для вычисления логических функций 86

Синтез программ для работы с таймерами 88

Синтез программы подачи команд 89

Синтез программы подачи входов 90

Отработка и компиляция модели 92

Конструкции-шаблоны приложения «Гиперсистема» 94

Связи конструкций-шаблонов с программными конструкциями 98

Отработка предметных конструкций модели 101

Отработка конструкции Логические_функции 102

Отработка конструкции Внешние_соединители 108

Отработка конструкции Обработчики_событий_таймеров 111

Отработка конструкции Запуск_алгоритмов. 112

Временные изменения программных конструкций модели 114

Внесение изменений в документ ТЗ 115

Комплексное моделирование 115

Пакетное моделирование 119

Анализ 121

Функциональная схема 121

Список ФС 121

Дерево ФС 122

Граф управления ФС 122

Моделирование и Отображение в MS Visio. 127

Моделирование и Отображение в ТЗ. 134

Логическое моделирование аварийных режимов. 135

Речевое оповещение 151

Моделирование с продолжением 154

Моделирования с начала 154

Внесение изменений в документ ТЗ 155

Визуальное логическое моделирование 155

Представление алгоритмов на SFC 174

Язык последовательных функциональных схем - SFC 174

Реализация SFC в IsaGraf 6 178

Программа Gerakl To SFC Converter 185

Принцип работы программы 185

Подготовка исходных данных 189

Работа с программой 191

Визуальное моделирование алгоритмов управления 196

Представление функций на LD 200

Язык релейных диаграмм - LD 200

Реализация LD в IsaGraf 6 201

Программа Функции_LD 207

Принцип работы программы 207

Подготовка исходных данных 212

Работа с программой 214

Визуальное моделирование логических функций 219

Подача команд на диаграмме LD 222

Использование списков наблюдения 226

Представление функций на FBD 233

Язык функциональных блоков - FBD 235

Реализация FBD в IsaGraf 6 236

Программирование функциональных блоков 260

Визуальное моделирование функциональных блоков 264

Подача входов в FBD – программе 264

Подача входов в окне наблюдения 266

Подача входов c виртуальной панели ввода 267

Комплексное визуальное моделирование 269

Списки наблюдения 278

Браузер перекрестных ссылок (на примере DEMO_ENERGY) 294

Использование браузера перекрестных ссылок для Структурного анализа СЛУ (на примере БУ БКУ) 303

Использование браузера перекрестных ссылок для Моделирования (НА ПРИМЕРЕ БУ БКУ) 306

Структурный анализ СЛУ в среде ISaGraf (НА ПРИМЕРЕ DEMO_ENERGY). 310

Структурный анализ СЛУ в среде ISaGraf (НА ПРИМЕРЕ DEMO_Usinage). 313

Макетное программирование МК 320

Работа с программой PICE-196 320

Генерация С-кода 323

Экспорт C_кода в Project_96 323