5877

Автор(ы): 

Жарко Е. Ф. (ИПУ РАН, Лаборатория 31)

Автор(ов): 

1

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

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

Доклад

Название: 

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

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

Да

ISBN/ISSN: 

5-201-14990-1

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

  • 4-я международная конференция «Параллельные вычисления и задачи управления» (PACO’2008, Москва)

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

  • Труды 4-й Международной конференции «Параллельные вычисления и задачи управления» (PACO'2008, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2008

Страницы: 

343-350
Аннотация
В современных АСУ ТП АЭС программное обеспечение (ПО) применяется повсеместно, начиная от контроллеров и заканчивая общестанционными системами, предназначенными для организации управления с повышенным риском эксплуатации. Верификация программного обеспечения – непрерывный процесс в течение всего жизненного цикла программного обеспечения, направленный на обеспечение качества ПО. В докладе рассматриваются проблемы проведения верификации программного обеспечения систем важных для безопасности АЭС.

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

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