Способ аттестации системы контроля/управления и система контроля/управления, аттестуемая упомянутым способом - RU2008150003A

Реферат

1. Способ аттестации системы (3) контроля/управления в реальном времени промышленным процессом, включающей входы (11), изменения состояний которых отображает внешние события (en), выходы (17) для управления внешними исполнительными механизмами (4, 5) и автоматические модули (15) для выполнения задач (n) в ответ на упомянутые события (en) и воздействия на упомянутые исполнительные механизмы (4, 5) посредством упомянутых выходов (11), при этом набор состояний входов и выходов в заданный момент является глобальным текущим состоянием (Fi) системы (3), набор состояний входов и выходов, полученных после выполнения задачи (n), является стабилизированным глобальным состоянием (ESj) системы (3), при этом способ аттестации включает стадии, на которых: ! составляют перечень опасных событий (FXj), ! согласно принципу дополнительности прогнозируют существенные функции упомянутых автоматических модулей, ! составляют перечень эксплуатационных характеристик упомянутых исполнительных механизмов (4, 5), ! определяют исходное стабилизированное глобальное состояние (ESj) системы, ! на основании исходного стабилизированного глобального состояния (ESj) имитируют разовое внешнее событие (en) с целью получения результирующего стабилизированного глобального состояния (ESj+1), и ! продолжают осуществлять имитацию события (en+1) за событием (en) с целью получения уже имитированного стабилизированного глобального состояния (ESj+1) путем получения одного стабилизированного глобального состояния (ESj+1) за другим стабилизированным глобальным состоянием (ESj). ! 2. Способ по п.1, в котором упомянутую имитацию продолжают до тех пор, пока не будут имитированы все возможных соче