Оцінка програмного забезпечення систем залізничного транспорту станційного рівня на відповідність вимогам українських стандартів

Анотація

Мета. Пошук ефективних методів проведення оцінки та доказу функційної безпеки програмного забезпечення (далі – ПЗ) систем залізничного транспорту станційного рівня. Адаптація досвіду та розроблення загального підходу до процесу верифікації ПЗ. Методика. Для досягнення поставленої мети було виконано аналіз чинних нормативних документів та проведено адаптацію наявного досвіду у виконанні робіт з оцінки відповідності інформаційних та керуючих систем, важливих для безпеки атомних станцій, що дозволило визначити загальні вимоги та методи оцінки ПЗ різного призначення. Результати. Розроблений за результатами аналізу чинних нормативних документів порядок проведення оцінки ПЗ систем різноманітного призначення було втілено в ВСЦ НВП ХАРТРОН АРКОС ЛТД та використано при проведенні ряду робіт з оцінки та доказу функційної безпеки ПЗ систем залізничного транспорту станційного рівня. Наукова новизна. У даній роботі сформульовано пропозиції для розширення норм стандарту ДСТУ 4178 в частині проведення оцінки та доказу функційної безпеки ПЗ систем залізничного транспорту станційного рівня. При цьому враховувались загальні вимоги та методи оцінки ПЗ різного призначення, наведені в чинних стандартах. Практична значущість. Запропонований підхід оцінки ПЗ систем залізничного транспорту значно розширює вимоги стандарту ДСТУ 4178 та сприяє розробленню та втіленню нових, більш ефективних методів верифікації ПЗ.