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