Розглянуто питання побудови процедури сертифікації програмного забезпечення (ПЗ) автоматизованих систем контролю як одного з класів критичних програмних систем, для яких сертифікація відповідності є обов'язковою. Розроблено методи формалізації процедури формування критеріїв якості та побудовано узагальнену модель якості ПЗ. Створення таких методів і засобів дає можливість підвищити ефективність та якість випробувань, а тому зменшує трудомісткість цієї операції та збільшує достовірність результатів сертифікації відповідності.

Розглянуто питання автоматизації створення тестових наборів даних (ТНД). Для цього запропоновано технологію створення програм генерації ТНД, яка базується на побудові автоматних моделей. Одержані ТНД дозволяють автоматизувати виявлення подій контролю, що дозволяє підвищити ефективність випробувань, зменшити трудомісткість сертифікації та збільшити достовірність її результатів.

Розглянуто питання формулювання концепції побудови сертифікаційної моделі якості (МЯ) програмних систем (ПС), для яких сертифікація відповідності є обов'язковою. Розроблено методи формалізації вимог до ПС і побудови МЯ. Створення цих методів дозволяє підвищити ефективність випробувань, що зменшує трудомісткість сертифікації та збільшує достовірність її результатів.

Проаналізовано проблеми сертифікації та розроблено концепцію побудови цільової сертифікаційної моделі програмного забезпечення (ПЗ) автоматизованих систем контролю (АСК) як одного з класів критичних програмних систем. З метою визначення фактичних показників якості ПЗ АСК розроблено технологію сертифікаційних випробувань та сформульовано її етапи. Здійснено вибір методів тестування, виду та структури тестових даних, побудовано комплексну стратегію тестування модулів і комплексів програм контролю. Класифіковано алгоритми контролю об'єктів, що дозволяє синтезувати автоматні моделі, за допомогою яких є можливим розв'язання задачі програмної побудови тестових наборів даних, які є мінімально-достатніми покриттями логіки програм контролю. Розроблено методи оцінки показників вірогідності результатів контролю, зокрема, алгоритми, програмне та методичне забезпечення обчислення вірогідності. Побудовано систему автоматизації сертифікаційних випробувань ПЗ контролю. Експериментально доведено працездатність технології за умов випробувань ПЗ автоматизованих систем контролю польотів.

Розроблено методи і засоби уніфікованої оцінки якості програмного забезпечення (ПЗ) фільтрації цифрового сигналу як параметричної інформації в реальному часі для систем критичного призначення. Досліджено клас ПЗ автоматизованих систем контролю польотів літальних апаратів, як типових представників систем критичного призначення, що потребують обов'язкового проходження атестації та сертифікації на відповідність початковим вимогам якості. Програмні системи контролю вирішують загальні задачі відтворення контрольованої параметричної інформації (візуалізації параметрів польоту), контролю виходів параметрів об'єкта за обмеження (допускового контролю), контролю якості функціонування об'єкта та фільтрацію параметричної інформації. Особливо важливою, хоча і невеликою за обсягом, є підсистема фільтрації. Підсистема фільтрації виконує задачі аналізу параметричної інформації польоту, видалення викидів, викривлень, шумів та наближення ділянок спотвореної інформації датчиків до достовірних значень з метою подальшої обробки цієї інформації іншими підсистемами, які не можуть коректно виконувати свої функції без попередньої якісної фільтрації. В процесі аналізу виявлено, що для забезпечення зручності виконання експертної оцінки, необхідно якісно виконувати задачу фільтрації польотної інформації в реальному часі, тобто в процесі її оброблення. Наслідки низької якості та помилкові результати роботи базових підсистем, що оцінюють стан об'єкта контролю, можуть привести до катастрофічних наслідків, а тому проблема підвищення безпеки функціонування об'єктів, контрольованих за допомогою автоматизованих систем контролю є завжди актуальною. Одним із шляхів досягнення цієї мети є забезпечення необхідного рівня якості основних підсистем, що особливо важливо під час експлуатації систем критичного призначення. Відомі методи оцінювання якості ПЗ фільтрації використовують різну аксіоматику та різні критерії в процесі вибору множини показників якості. В них, також, не обгрунтовується вибір метрик та мір. Тому для цифрових фільтрів, що обробляють масиви векторів стану об'єкта контролю по кожному параметру, слід використовувати уніфіковану оцінку з обов'язковим визначенням базових характеристик та атрибутів методів фільтрації, що порівнюються. Для цього пропонується застосувати формалізовану оцінку на основі моделі якості сучасного стандарту ISO/IEC 25010 з групи стандартів SQuaRE. Наукова проблема полягає в забезпеченні повноти і адекватності моделі якості ПЗ підсистеми фільтрації вимогам до неї та конструктивності і достовірності методів оцінювання уніфікованих характеристик і властивостей якості, що входять до моделі. Побудована модель якості адекватна вимогам до ПЗ фільтрації і містить сукупність обраних характеристик, критеріїв відповідності та метрик, що дає можливість отримати уніфікований метод оцінювання рівня якості для різних фільтрів сімейства Калмана, а також інших цифрових фільтрів та обрати більш ефективний та точний фільтр для підсистеми фільтрації з декількох конкуруючих.