A comprehensive examination of the process of developing specialized safety-oriented software is conducted. The incongruity of the presently known development methodologies with the circumstances in which innovative safety-oriented software systems are created is unveiled.
Перевірка відповідності вимогам на ранніх стадіях є критичним етапом у процесі розробки програмного забезпечення (ПЗ). Для перевірки функціональних вимог існує багато досліджень та рішень, проте для визначення надійності ПЗ на ранніх етапах розробки немає чітко сформованих підходів. Оскільки виявлення відхилень від вимог на ранніх етапах дасть змогу уникнути значних витрат для виправлення помилок на пізніших етапах, необхідно реалізувати можливість визначення показників надійності ПЗ на етапі збору вимог та раннього проектування системи.