FR 2707406 A1, 13.01.1995. US 5754823 A, 19.05.1998. RU 2264941 C1, 27.11.2005. SU 965850 Al, 15.10.1982. АРТУР ГИЛЛ. Введение в теорию конечных автоматов, пер. с английского. - М.: издательство Наука, 1966, с.21-22. ЕР 0796779 A1, 24.09.1997. RU 2261471 C1, 27.09.2005. RU 2313120 C2, 20.12.2007.
Имя заявителя:
СОСЬЕТЭ НАСЬОНАЛЬ ДЕ ШМЕН ДЕ ФЕР ФРАНСЭЗ (FR)
Изобретатели:
АММАД Надя (FR) АНТОНИ Марк (FR) МАЙЛО Патрик (FR)
Патентообладатели:
СОСЬЕТЭ НАСЬОНАЛЬ ДЕ ШМЕН ДЕ ФЕР ФРАНСЭЗ (FR)
Приоритетные данные:
15.06.2006 EP 06290977.5
Реферат
Изобретение относится к компьютерным системам автоматического контроля/управления сортировочными станциями железнодорожных сетей, а именно к способам аттестации таких систем. Технический результат заключается в получении свидетельства эксплуатационной безопасности системы контроля/управления. Способ включает этапы, на которых: составляют перечень опасных событий, прогнозируют существенные функции автоматических модулей из перечня опасных событий, составляют перечень эксплуатационных характеристик исполнительных механизмов, определяют исходное стабилизированное глобальное состояние системы, на основании этого состояния имитируют разовое внешнее событие с целью получения результирующего стабилизированного глобального состояния, и продолжают осуществлять имитацию события за событием с целью получения уже имитированного стабилизированного глобального состояния путем получения одного стабилизированного глобального состояния за другим, при этом имитацию продолжают до тех пор, пока не будут имитированы все возможные сочетания событий и стабилизированных глобальных состояний, и прекращают имитацию, как только получают текущее глобальное состояние, отображающее опасное событие. 7 з.п. ф-лы, 7 ил.
Поиск патентов
Получить полное описание патента