Неткачова К. І. Методи та інформаційна технологія оцінювання функціональної безпеки інформаційно-керуючих систем із використанням формальних нотацій

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0413U002071

Облікова картка дисертації

0413U002071.pdf

Здобувач

Спеціальність

  • 05.13.06 - Інформаційні технології

22-03-2013

Спеціалізована вчена рада

Д 64.062.01

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

Анотація

Об'єкт - процеси оцінки функціональної безпеки інформаційно-керуючих систем. Мета - забезпечення достовірної оцінки функціональної безпеки критичного програмного забезпечення. Вперше розроблено модель оцінки функціональної безпеки інформаційно-керуючих систем, яка базується на сумісному використанні формальних нотацій, операціях фільтрації та конвертації. Удосконалено метод оцінки функціональної безпеки інформаційно-керуючих систем. Дістав подальшого розвитку метод оцінки інформаційної безпеки багатокомпонентних програмних систем. Галузь - інформаційні технології критичного застосування.

Читати повністю

Файли

aref.doc

dis.pdf

Схожі дисертації

0424U000107

Ковирьова Олександра Валеріївна

Моделі і інструментальні засоби експресної діагностики для застосування в біології та медицині

0524U000111

Гончаренко Тетяна Андріївна

Методологічні основи формування єдиного інформаційного середовища для автоматизації об’єктно-просторових систем в проектах будівництва

0524U000108

Лях Ігор Михайлович

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

0524U000074

Шишацький Андрій Володимирович

Інтелектуальні методи управління засобами завадозахисту систем радіозв'язку в умовах дестабілізуючих впливів

0524U000069

Гнатчук Єлизавета Геннадіївна

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