Сергієнко В. В. Інваріанто-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосування

English version

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

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

0412U000698

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

0412U000698.pdf

Здобувач

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

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

02-03-2012

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

Д 64.062.01

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

Анотація

Об'єкт -процеси оцінки гарантоздатності й функціональної безпеки інформаційно-керуючих систем (ІКС) критичного застосування при кваліфікаційних випробуваннях; мета - забезпечення достовірних оцінок характеристик критичного ПЗ ІКС, що впливають на функціональну безпеку таких систем; новизна - вперше одержано метод доказової незалежної верифікації, заснований на перевірці збереження значень інваріантів; удосконалені метод «крапельної» ін’єкції тестових дефектів ПЗ та модель рамкової оцінки ймовірності прихованих дефектів критичного ПЗ ІКС; дістав подальшого розвитку метод model-checking верифікації; галузь - інформаційно-керуючі системи.

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

Файли

aref.doc

dis.pdf

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

0424U000107

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

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

0524U000111

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

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

0524U000108

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

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

0524U000074

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

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

0524U000069

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

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