Сучасні методи забезпечення надійності великих систем
Спеціальність: Програмно-апаратні засоби радіотехнічних систем
Код дисципліни: 7.172.09.O.004
Кількість кредитів: 5.00
Кафедра: Теоретична радіотехніка та радіовимірювання
Лектор: д.т.н., доцент Озірковський Леонід Деонісійович
Семестр: 1 семестр
Форма навчання: денна
Результати навчання: Знати:
- основні поняття теорії надійності інформаційних систем, сутності сучасних системотехнічних та надійнісних аспектів проектування інформаційних систем.
- основні види проектних операцій та процедур функціонально-логічного проектування інформаційних систем.
- функціональні можливостей сучасних програмно-методичних комплексів автоматизованого проектування інформаційних систем.
- підходи, моделі і методики структурного проектування інформаційних систем, моделей і методики аналізу поведінки інформаційних систем у функціональному й надійнісному аспектах.
- різновиди технічного обслуговування, засобів та способів підвищення надійності інформаційних систем.
- методи оцінки та способів підвищення надійності та функційної безпечності нерезервованих, резервованих, відновлюваних та невідновлюваних інформаційних систем.
Вміти:
- здійснювати аналіз вимог до складових інформаційних систем і на його основі коректно формулювати технічне завдання на проектування інформаційної системи в цілому.
- використовувати функціональні можливості сучасних програмно-методичних комплексів автоматизованого проектування для багатоваріантного аналізу інформаційних систем .
- оцінити вплив контролю на показники надійності контрольованих об’єктів.
- формувати математичну модель поведінки об’єкта проектування (дослідження) у вигляді системи дискретно-неперервних стохастичної системи.
- користуватися методикою оптимізації складу структури за критерієм мінімуму затрат при заданих обмеженнях на надійність, зокрема використовувати проблемно-орієнтовані програмні пакети.
- Уміння оцінювати функційну безпечність інформаційних систем методами аналізу видів і наслідків відмов (FMEA) та аналізу критичності видів і наслідків відмов (FMECA).
- Уміння працювати із програмним забезпеченням ASNA, TopEventFTA, RAM Commander для оцінки надійності та функційної безпечності інформаційних систем.
Необхідні обов'язкові попередні та супутні навчальні дисципліни: Вища математика: розділи «Теорія ймовірностей» і «Основи теорії випадкових процесів».
Технологія моделювання алгоритмів поведінки програмно-апаратних систем.
Забезпечення надійності РЕЗ.
Короткий зміст навчальної програми: Навчальна дисципліна "Сучасні методи забезпечення надійності інформаційних систем" є важливою ланкою підготовки фахівців і забезпечує підготовку в галузі аналізу, синтезу та оптимізації інформаційних систем. Ця дисципліна повинна сформувати у майбутнього фахівця розуміння сутності надійнісного проектування та ролі надійності та функційної безпечності як визначальних характеристик функціонування інформаційних систем.
Методи та критерії оцінювання: Під час навчання студенти на лабораторних заняттях виконують індивідуальні проектні завдання, розв'язання яких потребує грунтовної теоретичної підготовки відповідно до цієї програми. Захист проектних завдань мотивує студентів до більш якісного навчання та розвитку комунікаційних навичок. Оцінювання результатів виконання індивідуальних завдань є формою поточного контролю. Передбачено підсумкові тестування до кожної теми засобами Віртуального навчального середовища Львівської політехніки. Семестровий екзаменаційний контроль проводиться в письмовій формі на основі комплекту екзаменаційних білетів, який затверджується на засіданні кафедри.
Рекомендована література: 1. Волочій Б. Ю., Озірковський Л. Д. Системотехнічне проектування телекомунікаційних мереж. Практикум. Навчальний посібник. Львів: Видавництво Львівської політехніки, 2012. 128 с.
2. Математичні моделі та методи аналізу надійності радіоелектронних, електротехнічних та програмних систем. Монографія / Ю. Я. Бобало, Б. Ю. Волочій, О. Ю. Лозинський, Б. А. Мандзій, Л. Д. Озірковський, Д. В. Федасюк, С. В. Щербовських, В. С. Яковина. Львів: Видавництво Львівської політехніки, 2013. - 300 с.
2. Волочий Б.Ю., Озирковский Л.Д., Кулык И.В. Проектирования эффективных стратегий технического обслуживания. Математические моделм, алгоритмы и методики. – Saarbrucken: LAP Lambert Academic Publishing, 2015. – 160 c.3.
4. Електронний навчально-методичний комплекс «Сучасні методи забезпечення надійності інформаційних систем» у Віртуальному навчальному середовищі Львівської політехніки https://vns.lpnu.ua/course/view.php?id=14562