Олеськів О. М. Метрологічна перевірка програмного забезпечення засобів вимірювання

Дисертація присвячена розробленню генератора зразкових цифрових послідовностей для метрологічної перевірки програмного забезпечення засобів вимірювання. Розвинуто класифікацію структур засобів вимірювання за критерієм можливості доступу до програмного забезпечення засобів вимірювання. Запропоновано метод багаторівневої метрологічної перевірки програмного забезпечення компонентів кібер-фізичних систем, що дозволяє покращити безпеку функціонування кібер-фізичних систем та полегшить процес метрологічної перевірки їх програмного забезпечення. Розроблено алгоритми метрологічної перевірки програмного забезпечення засобів вимірювання та кібер-фізичних систем. Запропоновано метод метрологічної перевірки програмного забезпечення засобів вимірювання на основі методу "чорної скриньки" та методу генерування "еталонних" даних із врахуванням параметрів аналогової частини засобів вимірювання, що дозволить спростити та розвинути процес метрологічної перевірки програмного забезпечення засобів вимірювання. Розроблено генератор зразкових цифрових послідовностей, який дозволяє уніфікувати процес метрологічної перевірки програмного забезпечення засобів вимірювання. Отримано залежності похибки та непевності результатів обчислення програмним забезпеченням від параметрів вимірювального сингалу та параметрів АЦП на прикладі функції перетворення Фур'є.