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

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

0215U006161, Науково-дослідна робота

Назва роботи

Теоретичні основи, методи та інформаційні технології розробки програмно-технічних комплексів критичного застосування в умовах ресурсних обмежень

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

Харченко Вячеслав Сергійович,

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

10-03-2015

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

Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут"

Опис

Розроблено концепцію та принципи інфраструктурної безпеки та смарт-грид технологій, кейс-орієнтованого оцінювання людино-машинних інтерфейсів, методи комплексування процедур оцінювання безпеки ІУС. Розроблено методологію архітектуван-ня Сloud-систем, стійких до вторгнень, досліджено методи моделювання та розробки багато-версіних web-систем. Проаналізовано і розроблено моделі адаптивних бездротових мереж та прогнозування GRID-систем. Розроблено багатоверсійні гарантоздатні ПЛІС-автомати. Досліджено відмовостійкі вбудовані системи з апаратно-синхронізованим мажоритуванням. Cформульовано базові принципи методології комп'ютерної сертифікації програмного забезпечення систем критичного призначення (ПЗ СКП). Синтезовано низку методів машинного аналізу мови стандартів з метою створення нормативного профілю вимог до ПЗКС як підмножини текстів профілеутворюючої бази.

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

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