Использование реверсивных частично маркированных sNCES-сетей в синтезе контроллеров безопасности для дискретно-событийных систем

RsNCES-сети реверсивные частично маркированные сети контроллеры безопасности дискретно-событийные системы системы управления критические маркировки предотвращение разрешенных шагов предотвращающие правила

Кеширование информации при обработке событий в SCADA-системах, Основные типы семантических отношений между терминами предметной области, ...

В. Н. Дубинин ИСПОЛЬЗОВАНИЕ РЕВЕРСИВНЫХ ЧАСТИЧНО МАРКИРОВАННЫХ sNCES-СЕТЕЙ В СИНТЕЗЕ КОНТРОЛЛЕРОВ БЕЗОПАСНОСТИ ДЛЯ ДИСКРЕТНО-СОБЫТИЙНЫХ СИСТЕМ В работе рассмотрены вопросы использования реверсивных частично маркированных sNCES-сетей (RsNCES-сетей) в синтезе контроллеров безопасности для дискретно-событийных систем. <...> К основным результатам работы относятся: расширенные sNCES-сети, включающие продукционные правила, для моделирования замкнутых систем; методы предотвращения разрешенных шагов в sNCES-сетях на основе конфигураций шагов в RsNCES-сетях с учетом взаимовлияния предотвращения шагов, а также метод построения предотвращающих правил на основе графа достижимости критических маркировок для RsNCES-сети. <...> Введение Быстрое развитие компьютерных и телекоммуникационных технологий, а также технологий датчиков вызвало широкое распространение нового класса динамических систем – дискретно-событийных систем (ДСС) [1]. <...> Изменение состояний в ДСС производится асинхронными дискретными событиями. <...> Примерами ДСС являются автоматизированные производственные системы, вычислительные и телекоммуникационные сети, системы управления полетами и транспортными перевозками, операционные системы, распределенные программные системы и т.д. <...> ДСС являются относительно новой областью исследования (возраст 20–30 лет), в ней используются различные модели, методы и средства из теории управления, компьютерных наук и исследования операций. <...> Данная работа посвящена разработке контроллеров безопасности на основе NCES-сетей и производных от них моделей и является дальнейшим развитием исследований по использованию NCES-моделей в проектировании систем управления [3, 6, 7, 9]. <...> В отличие от ранних работ (например, [6, 7]), для моделирования замкнутых систем используются sNCES-сети, расширенные продукционными правилами для корректировки маркировок сети во время функционирования. <...> Особенностью предложенной расширенной sNCES-модели является восстановление <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт