Звіт по науково-дослідній роботі. Летичевський Олександр Олександрович. Розробити теоретичні засади та методи модельного способу побудови та реінжинірингу систем, що критичні до безпеки, на основі символьного інсерційного моделювання, дедуктивних методів та методів штучного інтелекту.

Реєстраційний номер

0222U003229, 0117U000331 , Науково-дослідна робота

Назва роботи

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

Назва етапу роботи

Керівник роботи

Летичевський Олександр Олександрович,

Дата реєстрації

22-02-2022

Організація виконавець

Інститут кібернетики імені В. М. Глушкова Національної академії наук України

Опис етапу

МОДЕЛЬНИЙ СПОСІБ ПОБУДОВИ СИСТЕМ, СИСТЕМА, ЩО КРИТИЧНА ДО БЕЗПЕКИ, МОДЕЛЬНЕ ТЕСТУВАННЯ, ІНСЕРЦІЙНЕ МОДЕЛЮВАННЯ, АЛГЕБРА ПОВЕДІНОК Мета роботи – розробка нових методів та засобів символьних методів тестування, реінжинірингу та верифікації та розробки складних інформаційних систем, що критичні до безпеки. Основні наукові результати, одержані під час виконання теми, є такі. Розроблено методи формальної верифікації програмних та апаратних систем на основі теорії інсерційного моделювання та алгебри поведінок, що впроваджено в процес розробки плат FPGA в галузі атомної енергетики. Розроблено метод модельної розробки із використанням алгебраїчного підходу на основі методів інсерційного моделювання для кожної фазу процесу створення програмного та апаратного забезпечення. Розроблено метод підвищення якості тестових сценаріїв – обґрунтоване додаткове для критеріїв покриття оцінювання; розроблені алгоритми пошуку які підтримують відповідні оцінюванню коефіцієнти вагомості та забезпечують суттєве зростання бажаних показників якості та мутаційної оцінки. Уведено два нові критерії покриття потоку даних для обстеження меж домінування та уточнень обмежень на вхідні значення; критерії забезпечують більш вичерпне тестування яку потребують високонадійні системи. Розроблено методи реінжинірінгу (вилучення моделей) із програмних мов в специфікації алгебри поведінок. Запропоновано підхід лінгвістично керованої розробки вимог для здійснення початкової стадії проєктування програмної чи гібридної системи, на базі якого розроблено методику проєктування системи керування технічним об’єктом. Запропоновано новий підхід до побудови рекурсивних алгоритмів множення матриць. На його базі розроблено два нові алгоритми множення матриць парного та непарного порядків. Досліджено структури сімей автоматів без виходу, які визначено рекурентними співвідношеннями на абстрактних скінченних квазігрупах. Розроблено алгоритми автоматичного виведення в спеціалізованих класичних теоріях першого порядку.

Опис продукції

Автори роботи

Єлфімова Лариса Дмитрівна
Волков Владислав Анатолійович
Годлевський Олександр Богуславович
Гребнєв Валерій Олександрович
Довбиш Валентина Яківна
Колбасін Микола Іванович
Колчин Олександр Валентинович
Ляскало Леся Євгеніївна
Мороховець Марина Костянтинівна
Пинько Олексій Павлович
Потієнко Степан Валерійович
Скобєлєв Володимир Геннадійович
Скобелєв Володимир Володимирович

Додано/оновлено в НРАТ

2022-03-09