V-models of safety critical system life cycle: Classification and application

Kharchenko, Vyacheslav; Kovalenko, Andriy; Siora, Olexandr; Amann, Anton

doi:10.1109/dessert.2018.8409088

Cited by 3 publications

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Поэтому целью статьи является представление вариантов выполнения и верификации требований, а также описание метрик управления выполнения требований к ПО ИУС АЭС. Она базируется также на расширенных вариантах представления Vобразной модели, в частности, модели жизненного цикла функциональной безопасности [6,7].…”

Section: Introductionunclassified

Метрическое Оценивание Управления Выполнением Требований К Программному Обеспечению Иус Аэс Для v-Образной Модели Жизненного Цикла

Andrashov¹,

Gordieiev²,

Коваленко³

et al. 2019

CNCS

View full text Add to dashboard Cite

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

show abstract

Section: Introductionunclassified