8599

Автор(ы): 

Толмачев С. В. (ИПУ РАН, Лаборатория 03) НЕАКТУАЛЬНАЯ ЗАПИСЬ

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Метод проверки динамической корректности событийной модели технологического объекта

Наименование конференции: 

  • 2-я Всероссийская конференция с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2010, Москва)

Наименование источника: 

  • Труды 2-й Всероссийской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2010, Москва)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2010

Страницы: 

1111-1115
Аннотация
В докладе описывается метод провер-ки взаимодействия управляющих моделей между собой. С его помощью выявляются потенци-альные конфликты взаимодействия, которые могут послужить причиной аварий. Для выстроенной модели технологического объекта возможна ее обработкаалгоритмами проверки и исследования ее свойств, которые позволяют дать ответ на вопросыправильности ее структуры – возможности возникновения в ней ошибок в момент выполнения, правильности ее поведения во всевозможных ситуациях.

Библиографическая ссылка: 

Толмачев С.В. Метод проверки динамической корректности событийной модели технологического объекта / Труды 2-й Всероссийской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2010, Москва). М.: ИПУ РАН, 2010. С. 1111-1115.