Розглянуто основи інформаційної технології підвищення рівня функціональної безпеки, побудованої на принципах аналізу фізичних розмінностей, що дозволяє верифікувати програмний код під час його розробки, зменшити ризики некоректного використання вхідних даних, та контролювати відсутність функціональних відмов під час штатної роботи технічних систем. Наведено перелік операцій, що контролюються. Визначено межі контролю коду під час формальної верифікації, а також контролю обчислювальних процесів під час експлуатації систем. Приведено класи програмних дефектів та визначено ефективність методу, що для реального коду перевищує 80 %.

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Манжос Юрій Семенович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"