Пошук академічних текстів

Інформація × Реєстраційний номер 0213U002579, 0112U001058 , Науково-дослідна робота Назва роботи Теоретичні основи, методи та інформаційні технології розробки програмно-технічних комплексів критичного зпастосування в умовах ресурсних обмежень Назва етапу роботи Керівник роботи Харченко Вячеслав Сергійович, Дата реєстрації 31-01-2013 Організація виконавець Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут" Опис етапу Розроблено концепцію та принципи інфраструктурної безпеки та смарт-грид технологій, кейс-орієнтованого оцінювання людино-машинних інтерфейсів, методи комплексування процедур оцінювання безпеки ІУС. Розроблено методологію архітектуван-ня Сloud-систем, стійких до вторгнень, досліджено методи моделювання та розробки багато-версіних web-систем. Проаналізовано і розроблено моделі адаптивних бездротових мереж та прогнозування GRID-систем. Розроблено багатоверсійні гарантоздатні ПЛІС-автомати. Досліджено відмовостійкі вбудовані системи з апаратно-синхронізованим мажоритуванням. Cформульовано базові принципи методології комп'ютерної сертифікації програмного забезпечення систем критичного призначення (ПЗ СКП). Синтезовано низку методів машинного аналізу мови стандартів з метою створення нормативного профілю вимог до ПЗКС як підмножини текстів профілеутворюючої бази. Опис продукції Для розробки вбудованих відмовостійких систем (системи керування та контролю протикризовим обладнанням (СКПО) хвостового оперення літаків серії АН) запропоновано технологію проектування та верифікації систем на основі FPGA з використанням багатоверсійних технологій. Їх особливістю є те, що вони надають змогу реалізовувати різні алгоритми керування, різні порогові значення давачів та різні варіанти резервування шляхом параметризації (гнучкої перебудови) відповідних структур, а також використання різних версій проектів. Для запобігання відмов за загальною причиною використовується багатоверсійні інфраструктури. За даною технологією розроблені варіанти СКПО з внутрішньо- та зовнішньо-кристальним резервуванням, коли система інтегруються в один або декілька кристалів ПЛІС як система на кристалі (SoPC - System-on-a-Programmable-Chip). Використання технології забезпечує скорочення часу проектування та верифікації, підвищення надійності системи (стійкості до фізичних і проектних дефектів). Автори роботи Бохан Костянтин Олександрович Брєжнєв Євген Віталійович Волобуєва Ліна Олексіївна Горбенко Анатолій Вікторович Конорев Борис Михайлович Лисенко Ігор Володимирович Орєхов Олександр Олександрович Туркін Ігор Борисович Шостак Ігор Володимирович Шостак Анатолій Васильович Додано в НРАТ 2020-04-02 Закрити