Безпека та діагностичне забезпечення IoT систем

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

Тематика та види навчальних занять
Для денної форми здобуття освіти
Лекція 1. Предмет, мета та задачі дисципліни.
Лекція 2. Основні поняття ресурсного підходу.
Лекція 3. Розвиток ресурсів.
Лекція 4. Об’єкти підвищеного ризику та системи безпеки.
Лекція 5. Функціональна безпека IOT систем.
Лекція 6. Інформаційна безпека IOT систем.
Лекція 7. Ймовірнісне тестування та тести для пам'яті.
Лекція 8. Детеміновані методи синтезу тестів.
Лекція 9. Тестопридатність та тестопридатне проектування.
Лекція 10. Етапи розвитку робочого діагностування цифрових компонентів систем.
Лекція 11. Методи робочого діагностування.
Лекція 12. Діагностування програмного забезпечення.
Лекція 13. Методи тестування програмних модулів.
Лекція 14. Статичне і дінамичне тестування програм. 
Лекція 15. Функціональне та структурне тестування. 
Лабораторні заняття
Лабораторна робота № 1 Оцінка розробок без систем IoT
Мета заняття: Навчіться проводити оцінки впливів та завантажень для конкретних IoT
Лабораторна робота №2 Методи захисту IoT-систем
Мета заняття: Навчитися застосовувати засоби захисту від атак: фаєрволи, системи IDS/IPS, керування доступом
Лабораторна робота № 3 Аналіз матричних структур з позиції ресурсного підходу. Проблема паразитних переключень сигналів
Мета заняття: Засвоєння принципів ресурсного підходу. Придбання навичок аналізу матричних структур в компонентах систем розумних речей, впливу паразитних переключень на енергоспоживання. 
Лабораторна робота № 4 Аналіз матричних структур з позиції ресурсного підходу. Проблема прихованих несправностей
Мета заняття: Засвоєння принципів ресурсного підходу. Придбання навичок аналізу матричних структур в компонентах систем розумних речей, впливу прихованих несправностей на функціональну безпеку.
Лабораторна робота № 5 Аналіз версійності програмного коду FPGA-компонентів систем розумних речей.
Мета заняття: Засвоєння принципів та навичок аналізу версійності програмного коду FPGA-компонентів з LUT-орієнтованою архітектурою у складі критичних систем розумних речей
Лабораторна робота №6 Підвищення контролепридатності схем та достовірності результатів в FPGA-компонентах критичних систем розумних речей
Мета заняття: Засвоєння принципів та навичок побудови FPGA-компонентів у складі критичних систем розумних речей
Лабораторна робота № 7 Усунення прихованих несправностей в FPGA-компонентах критичних систем розумних речей.
Мета заняття: Засвоєння принципів та навичок усунення прихованих несправностей в FPGA-компонентах критичних систем розумних речей

Для заочної форми навчання
Лекційні заняття
Лекція 1. Предмет, мета та задачі дисципліни.
Лекція 2. Основні поняття ресурсного підходу.
Лабораторні заняття
Лабораторна робота № 1 Оцінка розробок без систем IoT
Мета заняття: Навчіться проводити оцінки впливів та завантажень для конкретних IoT
Лабораторна робота №2 Методи захисту IoT-систем
Мета заняття: Навчитися застосовувати засоби захисту від атак: фаєрволи, системи IDS/IPS, керування доступом

Консультації здійснюються впродовж семестру згідно встановленого розкладу.

 Індивідуальна робота
не передбачено

 Форми контрольних заходів та оцінювання результатів навчання
Для денної форми здобуття освіти
Оцінювання результатів навчання з дисципліни здійснюється за накопичувальною системою, яка дає можливість здобувачеві протягом семестру отримати максимально 100 балів.

Система оцінювання рівня навчальних досягнень ґрунтується на принципах ЄКТС та є накопичувальною. Дисципліна поділяється на два семестрові модулі. Здобувачі протягом семестру готуються до лекційних та лабораторних занять, виконують 2 модульні контрольні роботи та 2 контрольних опитування.
Модульні контрольні роботи №1, №2  виконуються у письмовій формі. Максимальна оцінка за бездоганне виконання становить 30 балів.
Модульна робота складається з теоретичної частини (у формі тестових запитань) та практичної частини. Максимальна оцінка за правильне виконання теоретичної частини  модульні контрольні роботи №1 становить 15 балів, та за правильне виконання практичної частини становить 15 балів. Максимальна оцінка за правильне виконання теоретичної частини  модульні контрольні роботи №2 становить 10 балів, та за правильне виконання практичної частини становить 20 балів. 
Кількість тестових запитань модульні контрольні роботи №1 – 15, модульні контрольні роботи №2 – 10. Кожна правильна відповідь оцінюється в 1 бал.
Правильне виконання практичної частини модульної контрольної роботи №1 – оцінюється в 15 балів, модульної контрольної роботи №2 – оцінюється в 20 балів. 
Кожний модуль оцінюється у максимально можливі 50 балів:

Модуль 1
Контрольне опитування 1. Оцінка за виконання – 5 балів. Термін надання – 6 тиждень.
Лабораторні заняття. Оцінка за виконання – 15 балів. Термін надання – 2, 4, 6, 8 тиждень.
Модульна контрольна робота 1. Модульна контрольна робота – 30 балів (8 тиждень). Перескладання можливе протягом 9–11 тижнів за розкладом консультацій.

Модуль 2
Контрольне опитування 2. Оцінка за виконання – 5 балів. Термін надання – 12 тиждень.
Лабораторні заняття. Оцінка за виконання – 15 балів. Термін надання – 10, 12, 14 тиждень.
Модульна контрольна робота 2. Модульна контрольна робота – 30 балів (15 тиждень).

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

Для заочної форми здобуття освіти
1. Одна контрольна робота. Бездоганне виконання роботи становить 40 балів;
2. Лабораторні завдання. Здобувач повинен проявити свою творчість і креативність; поглибити інтерес до вирішення технічних інженерних задач. Бездоганне виконання завдань лабораторних робіт оцінюється у 30 балів за кожну роботу.

Підсумковий контроль – залік. Максимальна оцінка, яку може отримати студент – 100 балів.

Політика освітнього процесу та умови допуску до підсумкового контролю
Здобувач зобов'язаний своєчасно та якісно виконувати всі отримані завдання; за необхідністю, з метою з'ясування всіх не зрозумілих під час самостійної роботи питань, відвідувати консультації викладача. Дотримуватись принципів академічної доброчесності.
Викладач на першому аудиторному занятті надає повну інформацію щодо усіх складових дисципліни, роз'яснює кількісне та якісне наповнення змістовних модулів, рекомендує відповідну фахову літературу, інформує щодо критеріїв оцінювання рівня навчальних досягнень здобувача з усіх видів та форм навчання та термінів контрольних заходів. 
Викладач здійснює консультації відповідно до затвердженого завідувачем кафедри графіка консультацій.
Виконаний не свій варіант завдання здобувачем не оцінюється.
Робота, яка виконана після встановлених викладачем термінів, не приймається.
Відсутність здобувача на екзамені або на контрольній роботі відповідає оцінці «0».
Під час лекції здійснювати телефонні дзвінки забороняється.