Головна Головна -> Реферати українською -> Дисертації та автореферати -> СЕМАНТИЧНІ МОДЕЛІ, МЕТОДИ ТА ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ ПІДВИЩЕННЯ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ІНФОРМАЦІЙНО-УПРАВЛЯЮЧИХ СИСТЕМ

СЕМАНТИЧНІ МОДЕЛІ, МЕТОДИ ТА ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ ПІДВИЩЕННЯ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ІНФОРМАЦІЙНО-УПРАВЛЯЮЧИХ СИСТЕМ

Назва:
СЕМАНТИЧНІ МОДЕЛІ, МЕТОДИ ТА ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ ПІДВИЩЕННЯ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ІНФОРМАЦІЙНО-УПРАВЛЯЮЧИХ СИСТЕМ
Тип:
Реферат
Мова:
Українська
Розмiр:
17,46 KB
Завантажень:
468
Оцінка:
 
поточна оцінка 5.0


Скачати цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10  11  12 
Міністерство освіти і науки України
Національний аерокосмічний університет ім. М.Є. Жуковського“
Харківський авіаційний інститут”
МАНЖОС Юрій Семенович
УДК 004.05+004.415.5
СЕМАНТИЧНІ МОДЕЛІ, МЕТОДИ ТА ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ ПІДВИЩЕННЯ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
ІНФОРМАЦІЙНО-УПРАВЛЯЮЧИХ СИСТЕМ
Спеціальність 05.13.06 – автоматизовані системи управління
та прогресивні інформаційні технології
Автореферат
дисертації на здобуття наукового ступеня
кандидата технічних наук
Харків – 2007


Дисертацією є рукопис.
Робота виконана у Національному аерокосмічному університеті ім. М.Є. Жуковського “Харківський авіаційний інститут”, Міністерство освіти і науки України
Науковий керівник: | доктор технічних наук, професор
Конорев Борис Михайлович,
Національний аерокосмічний університет
ім. М.Є. Жуковського “Харківський авіаційний інститут”,
професор кафедри програмного забезпечення комп’ютерних систем
Офіційні опоненти: | доктор технічних наук, професор
Жолткевич Григорій Миколайович,
Харківський національний університет ім. В.Н. Каразіна,
завідуючий кафедрою теоретичної та прикладної інформатики;
кандидат технічних наук, старший науковий співробітник
Кучук Георгій Анатолійович,
Харківський університет повітряних сил ім. І. Кожедуба,
начальник науково-дослідного відділу.
Провідна установа: | Харківський Національний університет радіоелектроніки, кафедра системотехніки, Міністерство освіти і науки України, м. Харків.
Захист відбудеться “ 16 ” лютого 2007 р. о 12 годині на засіданні спеціалізованої вченої ради Д64.062.01 у Національному аерокосмічному університеті ім. М.Є. Жуковського “Харківський авіаційний інститут” за адресою: 61070, м. Харків, вул. Чкалова, 17, радіотехнічний корпус, ауд.232.
З дисертацією можна ознайомитись у науково-технічній бібліотеці Національного аерокосмічного університету ім. М.Є. Жуковського “Харківський авіаційний інститут” за адресою:
61070 м. Харків, вул. Чкалова, 17.
Автореферат розісланий “ 13 ” січня 2007 р.
Вчений секретар
спеціалізованої вченої ради ______________ Латкін М.О.


ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ
Актуальність теми. Ефективне функціонування сучасних технічних систем неможливе без комплексної автоматизації виробничих процесів та вдосконалення керування шляхом широкого застосування прогресивних інформаційних технологій, що потребує розробки не тільки програмного забезпечення (ПЗ) для інформаційно-управляючих систем (ІУС), але і спеціалізованих інструментальних засобів для їх створення, тому що кожні десять років обсяг програмного коду ІУС критичного застосування збільшується у 10 разів. Стратегією розвитку атомної енергетики України передбачені розробка ІУС для нових енергоблоків та модернізація існуючих. Безпека експлуатації АЕС визначається якістю управляючих систем, велика частка критичних функцій яких, реалізована програмно, тому залишкові дефекти ПЗ (ДПЗ) є факторами ризику виникнення аварійних ситуацій. Базовою нормативною вимогою безпечної експлуатації ІУС є проведення незалежної верифікації. Значний внесок у розробку методів верифікації мають вітчизняні та закордонні дослідники: Б.У. Боем, Р. Глас, Б.М. Конорев, В.В. Липаєв, М. Липов, Г. Майєрс, Е. Нельсон, Т. Тейєр, В.В. Шураков та інші. Інструментальні засоби, що реалізують ці методи, мають обмеження: трудомісткість підготовки до верифікації, неможливість повного покриття всіх обчислювальних маршрутів, значну обчислювальну складність, обумовлену великою кількістю контрольних прикладів.
Безпека систем керування істотно зумовлюється контролем під час сертифікації ступеню відповідності ПЗ регулюючим вимогам національних та міжнародних стандартів. Основа сертифікації та дозвільної діяльності — експертне оцінювання відповідності ПЗ регулюючим вимогам з безпеки та якості, засноване на ручному аналізі проектної та нормативної документації, тому якість експертних оцінок зазнає значного впливу суб’єктивних факторів.

Завантажити цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10  11  12 



Реферат на тему: СЕМАНТИЧНІ МОДЕЛІ, МЕТОДИ ТА ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ ПІДВИЩЕННЯ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ІНФОРМАЦІЙНО-УПРАВЛЯЮЧИХ СИСТЕМ

BR.com.ua © 1999-2017 | Реклама на сайті | Умови використання | Зворотній зв'язок