МЕТРИЧНЕ ОЦІНЮВАННЯ УПРАВЛІННЯ ВИКОНАННЯМ ВИМОГ ДО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ІУС АЕС ДЛЯ V-ОБРАЗНОЇ МОДЕЛІ ЖИТТЄВОГО ЦИКЛУ
DOI:
https://doi.org/10.26906/SUNZ.2019.1.103Ключові слова:
вимоги, ПЗ, метричний підхід, оцінювання виконання вимогАнотація
Розглядається підхід до метричного оцінювання виконанням вимог програмного забезпечення (ПЗ) інформаційно-керуючих систем (ІКС) атомних електростанцій (АЕС) відповідно до V-подібної моделі життєвого циклу розробки ПЗ. Пропонується ряд метрик оцінювання виконання вимог, що можуть бути використані для управління вимогами. Наведено розрахунок пропонованих метрик для реальних прикладів оцінювання управління вимогами до функціональної безпеки. Запропонований похід дозволяє описати найкращі варіанти розподілу вимог по етапах моделі ЖЦ, визначити точки повернення в життєвому циклі для кожного з вимог, а також варіантів його невиконання. Це, в свою чергу, дозволяє управляти виконанням вимог, зокрема, визначати різні сценарії повернення (що впливають на повноту перевірок) і види відповідних коригуючих впливів з метою зниження проектних витрат. Запропонований набір метрик є частиною інструментарію для перевірки виконання вимог до функціональної безпеки і був використаний при виконанні проекту ліцензування платформи RadICS на відповідність вимогам стандарту IEC61508 / SIL3.Завантаження
Посилання
ISO/IEC/IEEE 29148, Systems and software engineering - Life cycle processes - Requirements engineering, 2011.
Shuichiro Yamamoto. An Evaluation of Requirements Specification Capability Index. 20th International Conference on Knowledge Based and Intelligent Information and Engineering Systems, KES2017, Procedia Computer Science, 2017, 998– 1006 pp.
Pohl, K., Requirements Engineering – Fundamentals, Principles, and Techniques, Springer, 2010, 813 pp.
Leffingwel, D. and Widrig, D., Managing Software Requirements: A Unified Approach (The Addison-Wesley Object Technology Series) -Wesley Professional, 1999, 528 pp.
Adnane Ghannem, Mohamed Salah Hamdi, Marouane Kessentini, Hany H. Ammar. Search-based requirements traceability recovery: A multi-objective approach, Proc. IEEE Congress on Evolutionary Computation (CEC), 2017, p. 1183-1190.
IEC 61508-1:2010 Ed.2. Functional safety of electrical/electronic/programmable electronic safety-related systems, 2010, pp. 127.
Vyacheslav Kharchenko, Andriy Kovalenko, Anton Andrashov, Oleksandr Siora. V-Models of Safety Critical System Life Cycle: Classification and Application, Proceeding of 9th International IEEE Conference “DEpendable Systems, SERvices and Technologies” (DESSERT’2018). – Kyiv, Ukraine. – May 24-27, 2018. – Pp. 2-6.
Vyacheslav Kharchenko, Oleksandr Gordieiev, Alina Fedoseeva. Profiling of Software Requirements for the Pharmaceutical Enterprise Manufacturing Execution System, Applications of Computational Intelligence in Biomedical Technology, Springer, Cham, 2016, p. 67-92.
Sea Ice Climate Change Initiative: Phase 2. D3.1 Safety Requirements Specification document, 2016, 211 pp.
