59757

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

Верификация и кибербезопасность программного обеспечения систем важных для безопасности АЭС

Электронная публикация: 

Да

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

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

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

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

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2020

Страницы: 

1374-1380
Аннотация
Верификация программного обеспечения является фундаментальным и наиболее распространенным видом деятельности для обеспечения качества программных систем. В статье предлагается применение методологии верификации для обеспечения кибербезопасности систем важных для безопасности АЭС.

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

Жарко Е.Ф. Верификация и кибербезопасность программного обеспечения систем важных для безопасности АЭС / Труды 13-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2020, Москва). М.: ИПУ РАН, 2020. С. 1374-1380.