МЕТРИЧЕСКОЕ ОЦЕНИВАНИЕ УПРАВЛЕНИЯ ВЫПОЛНЕНИЕМ ТРЕБОВАНИЙ К ПРОГРАММНОМУ ОБЕСПЕЧЕНИЮ ИУС АЭС ДЛЯ V-ОБРАЗНОЙ МОДЕЛИ ЖИЗНЕННОГО ЦИКЛА

Рассматривается подход к метрическому оцениванию управления выполнением требований к программному обеспечению (ПО) информационно-управляющих систем (ИУС) атомных электростанций (АЭС) в соответствии с Vобразной моделью жизненного цикла разработки ПО. Предлагается ряд метрик оценивания выполнения требований, которые могут быть использованы для управления требованиями. Приведен расчет предлагаемых метрик для реальных примеров оценивания управления требованиями к функциональной безопасности. Предложенный поход позволяет описать наилучшие варианты распределения требований по этапам модели ЖЦ, определить точки возврата в жизненном цикле для каждого из требований, а также вариантов его невыполнения. Это, в свою очередь, позволяет управлять выполнением требований, в частности, определять различные сценарии возврата (влияющие на полноту проверок) и виды соответствующих корректирующих воздействий с целью снижения проектных затрат. Предложенный набор метрик является частью инструментария для проверки выполнения требований к функциональной безопасности и был использован при выполнении проекта лицензирования платформы RadICS на соответствие требованиям стандарта IEC61508/SIL3.