Комп’ютерні науки

Комп’ютерні науки 23.07.2014 09:23

        Тема 1.Основи теорії надійності комп’ютерних систем (КС)

 

       Математичні основи теорії надійності: теорія множин, теорія ймовірностей, випадкові величини, перетворення Лапласа, метод елементарного дробу, методи розв’язання диференційних рівнянь. Загальний вираз для ймовірності безвідмовної роботи, схеми для розрахунків надійності, методи оцінювання надійності, розподіл вимог до надійності, середнє напрацювання на відмову, U-образна крива інтенсивності відмов.

 

Тема 2.Структурна, інформаційна та програмно-технічна платформа  надійності комп’ютерної системи

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

 

         Тема 3. Формування дерева несправностей і множини відмов КС

 

         Визначення та символи при побудові дерева несправностей. Загальна процедура аналізу дерева несправностей. Аналітичний вивід для простих схем. Алгоритм знаходження мінімальних перетин. Двоїстість дерева несправностей. Ймовірнісна оцінка дерева несправностей. Оцінка інтенсивності відмов за допомогою дерева несправностей.

 

       Тема 4. Аналіз надійності функціонування мережних структур

 

       Теорія графів в надійності. Ймовірність парної зв’язності. Ймовірність парної зв’язності. Ймовірність повної зв’язності. Метод декомпозиції. Рекурентні мережні структури.  

 

      Тема 5. Методи оцінки надійності комп’ютерних систем

       Показники надійності комп’ютерних систем. Моделі числових оцінок показників надійності. Аналітичні, імітаційні та експериментальні методи оцінки надійності. Архітектура системи управління надійності програмної продукції.

 

      Тема 6. Управління надійною розробкою програмної продукції

       Структурні методології розробки програмної продукції: базові принципи розробки програм.  Структурний системний аналіз. Структурні методи програмування. Оцінка якості проекту. Автоматизація процесу розробки програмної продукції. Управління надійністю програмної продукції на етапах життєвого циклу. Оцінка вартості розробки надійної програмної продукції.

 

      Тема 7. Надійність функціонування програмного забезпечення КС

      Апаратне обладнання і програмне забезпечення. Моделі надійності програмного забезпечення. Перевірка моделі. Забезпечення надійності та підвищення якості програмного забезпечення.

 

 

       Тема 8. Забезпечення надійності людини як ланцюга   функціонування КС

           Надійність праці та помилки людини. Характер, види та причини  помилок людини. Банки даних помилок людини. Функція надійності роботи людини в неперервному часі. Залежність ефективності роботи людини від рівня навантаження.  

 

     Тема 9. Сертифікація програмної продукції

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

 

Тема 10. Комплексна оцінка забезпечення надійності фунціонування КС

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

 

    

       Тема 11. Стратегії оптимального управління надійного забезпечення    функціонування багаторівневої  КС

 

       Управління надійністю в КС одного рівня. Формалізація процесу забезпечення надійності КС багаторівневого управління. Особливості  надійного процесу багаторівневого управління. Вибір стратегії оптимального управління.

 

 

4.  ПЛАНИ ЛЕКЦІЙ

Тема 1. Основні поняття забезпечення надійності КС

 

1. Математичні основи теорії надійності.

2.  Теорія множин, теорія ймовірностей, випадкові величини.

3. Перетворення Лапласа, метод елементарного дробу.

4. Методи розв’язання диференційних рівнянь.

    

   Тема 2.Структуризація задач надійності в КС

    

1. Структура і функції комп’ютерної системи (КС). Підходи до структуризації задач надійності в КС.

2.  Забезпечуючі підсистеми надійності КС та їх характеристика. інформаційного, технічного, програмного, лінгвістичного, математичного і організаційного забезпечення.

3.  Організація інформаційного забезпечення надійності КС.

4.  Інформаційні взаємозв’язки надійності КС з іншими показниками безпеки.

5.  Програмно-технічна платформа надійності КС.

    

                     Тема 3. Формування дерева несправностей і множини відмов КС

1. Визначення та символи при побудові дерева несправностей.

2. Загальна процедура аналізу дерева несправностей.

3. Аналітичний вивід для простих схем. Алгоритм знаходження мінімальних перетин. Двоїстість дерева несправностей.

4. Ймовірнісна оцінка дерева несправностей.

5. Оцінка інтенсивності відмов за допомогою дерева несправностей.

    

Тема 4. Аналіз надійності функціонування різноманітних структур

1. Теорія графів в надійності.

2. Ймовірність парної зв’язності.

3. Ймовірність повної зв’язності.

4. Метод декомпозиції.

5. Рекурентні мережні структури.  

 

Тема 5. Методи і моделі оцінки надійності КС

1. Показники надійності комп’ютерних систем.

2. Моделі числових оцінок показників надійності.

3. Аналітичні, імітаційні та експериментальні методи оцінки надійності.

4.  Архітектура системи управління надійності програмної продукції.

    

   Тема 6. Управління надійністю програмної продукції на етапах життєвого циклу

    

1. Структурні методології розробки програмної продукції: базові принципи розробки програм. 

2. Структурний системний аналіз. Структурні методи програмування.

3. Оцінка якості проекту. Автоматизація процесу розробки програмної продукції.

4. Управління надійністю програмної продукції на етапах життєвого циклу.

5.  Оцінка вартості розробки надійної програмної продукції.

    

   Тема 7. Забезпечення надійності та підвищення якості програмного забезпечення.

    

1. Апаратне обладнання і програмне забезпечення.

2. Моделі надійності програмного забезпечення.

3. Перевірка моделі.

4. Забезпечення надійності та підвищення якості програмного забезпечення.

    

   Тема 8. Надійність роботи людини в неперервному часі

    

1. Надійність праці та помилки людини.

2. Характер, види та причини  помилок людини.

3. Банки даних помилок людини.

4. Функція надійності роботи людини в неперервному часі.

5. Залежність ефективності роботи людини від рівня навантаження.  

    

   Тема 9. Характеристика і класифікація програмних виробів як об’єктів сертифікації

1. Стандарти - нормативна база сертифікації. 

2. Сертифікація програмної продукції.

3. Характеристика і класифікація програмних виробів як об’єктів сертифікації.

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

    

   Тема 10. Інтегральна оцінка рівня надійності функціонування КС

1. Ієрархічна структура показників забезпечення надійності.

2. Показники надійності функціонування КС. Методи визначення показників надійності.

3. Інтегральна оцінка рівня надійності КС.

4. Статистичні методи для узагальнення експертних оцінок надійності.

 

 

Тема 11. Забезпечення надійності КС багаторівневого управління

 

       1. Управління надійністю в КС одного рівня.

       2. Формалізація процесу забезпечення надійності КС багаторівневого

          управління.

       3. Особливості  надійного процесу багаторівневого управління.

       4. Вибір стратегії оптимального управління.