2301

Автор(ы): 

Крюкова Л. Н. (ИПУ РАН, Лаборатория 27)

Автор(ов): 

1

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

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

Тезисы доклада

Название: 

Верификация систем автоматизации для обеспечения функциональной безопасности их работы

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

  • 2-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD-2008, Москва)

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

  • Материалы 2-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2008, Москва)

Город: 

  • Москва

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

  • Учреждение Российской академии наук Институт проблем управления им. В.А. Трапезникова РАН

Год издания: 

2008

Страницы: 

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

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

Крюкова Л.Н. Верификация систем автоматизации для обеспечения функциональной безопасности их работы / Материалы 2-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2008, Москва). М.: Учреждение Российской академии наук Институт проблем управления им. В.А. Трапезникова РАН, 2008. С. 203-204.