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

Інформація × Реєстраційний номер 0214U003641, 0112U001058 , Науково-дослідна робота Назва роботи Теоретичні основи, методи та інформаційні технології розробки програмно-технічних комплексів критичного застосування в умовах ресурсних обмежень Назва етапу роботи Керівник роботи Харченко Вячеслав Сергійович, Дата реєстрації 10-02-2014 Організація виконавець Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут" Опис етапу Розроблено концепцію та принципи інфраструктурної безпеки та смарт-грид технологій, кейс-орієнтованого оцінювання людино-машинних інтерфейсів, методи комплексування процедур оцінювання безпеки ІУС. Розроблено методологію архітектуван-ня Сloud-систем, стійких до вторгнень, досліджено методи моделювання та розробки багато-версіних web-систем. Проаналізовано і розроблено моделі адаптивних бездротових мереж та прогнозування GRID-систем. Розроблено багатоверсійні гарантоздатні ПЛІС-автомати. Досліджено відмовостійкі вбудовані системи з апаратно-синхронізованим мажоритуванням. Cформульовано базові принципи методології комп'ютерної сертифікації програмного забезпечення систем критичного призначення (ПЗ СКП). Синтезовано низку методів машинного аналізу мови стандартів з метою створення нормативного профілю вимог до ПЗКС як підмножини текстів профілеутворюючої бази. Опис продукції Розроблено моделі, методи та технології забезпечення гарантоздатності багаторівневих та багатоверсійних інформаційно-керуючих систем, сервіс-орієнтованих систем в умовах негативних подій та ресурсних обмежень; розроблені моделі та методи синтезу гарантоздатних мережевих та вбудованих засобів на програмованій логіці, що забезпечують мінімізацію енергоспоживання та випромінення шляхом багатопараметричної адаптації. Автори роботи Волобуєва Ліна Олексіївна Горбенко Анатолій Вікторович Лисенко Ігор Володимирович Туркін Ігор Борисович Харченко Вячеслав Сергійович Шостак Анатолій Васильович Додано в НРАТ 2020-04-02 Закрити