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

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

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


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


Дисертацією є рукопис.
Робота виконана в Національному аерокосмічному університеті ім. М.Є. Жуковського
"Харківський авіаційний інститут" Міністерства освіти і науки України.
Науковий керівник: | заслужений винахідник України, доктор технічних наук, професор
Харченко Вячеслав Сергійович,
Національний аерокосмічний університет
ім. М.Є. Жуковського "Харківський авіаційний інститут",
завідуючий кафедрою комп’ютерних систем і мереж.
Офіційні опоненти: | доктор технічних наук, професор
Жихарев Володимир Якович,
Національний аерокосмічний університет
ім. М.Є. Жуковського “Харківський авіаційний інститут”,
професор кафедри виробництва радіоелектронних систем літальних апаратів;
кандидат технічних наук, старший науковий співробітник
Кучук Георгій Анатолійович,
начальник науково-дослідного відділу системного аналізу
й інформатизації інформаційно-обчислювального центру Харківського військового університету
Провідна установа
Харківський Національний університет радіоелектроніки, кафедра автоматизації проектування обчислювальної техніки, Міністерство освіти і науки України, м. Харків.
Захист відбудеться “11” червня 2004 р. о 14 годині на засіданні спеціалізованої вченої ради Д64.062.01 у Національному аерокосмічному університеті ім. М.Є. Жуковського "Харківський авіаційний інститут" за адресою: 61070, м. Харків, вул. Чкалова, 17, радіотехнічний корпус, ауд. 232.
З дисертацією можна ознайомитись у бібліотеці Національного аерокосмічного університету ім. М.Є. Жуковського "Харківський авіаційний інститут".
Автореферат розісланий “6” травня 2004 р.
Вчений секретар
спеціалізованої вченої ради ___________ І.В.Чумаченко
ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ
Актуальність теми дослідження. За останні десятиліття людство пройшло кілька етапів, пов'язаних з розвитком комп'ютерної техніки й розширенням меж її застосування. Підсумком зазначених процесів стало, з одного боку, створення могутньої індустрії комп'ютерної та програмної інженерії, а з іншого – збільшення її впливу (як позитивного, так і негативного) на людське суспільство. При цьому особливо необхідно підкреслити зростаючу залежність комп’ютерних систем критичного застосування (КЗ) від характеристик програмного забезпечення (ПЗ), що має безпосереднє відношення до питань безпеки, оскільки частка програмно реалізованих функцій в інформаційних і управляючих системах (ІУС) авіаційних і ракетно-космічних комплексів, АЕС, медичного обладнання та ін., динамічно зростає. Збільшується доля аварій і катастроф, причиною яких є відмови систем внаслідок прояву дефектів програмних засобів, що не були виявлені при розробці та верифікації. За результатами проведеного аналізу кожен сотий пуск у ракетно-космічних комплексах (РКК) завершується аварією внаслідок дефектів ПЗ, а 6 з 7 відмов комп'ютерних систем цих комплексів обумовлені такими дефектами. У цьому контексті необхідно зазначити надзвичайну важливість якості та надійності програмного забезпечення, оскільки від них, у першу чергу, залежать як конкурентноздатність комерційних продуктів, так і безпека ІУС КЗ. Це обумовлює актуальність наукових досліджень, присвячених розробці й удосконаленню методів оцінки та забезпечення якості та надійності ПЗ. Великий внесок у розвиток цього наукового напрямку внесли Літлвуд Б., Липаєв В.В., Липов М., Лью М.Р., Муса Дж.Д., Майєрс Г., Тоценко В.Г. та ін.
Програмні компоненти є одночасно об'єктом і засобом оцінки, забезпечення необхідного рівня і подальшого підвищення якості, надійності й безпеки систем, до складу яких вони входять, оскільки програмні засоби:
- реалізують важливі для безпеки функції бортових і наземних систем РКК,
систем аварійного захисту АЕС та ін.

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



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

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