Проєктування реконфігурованих комп'ютерних систем

Спеціальність: Комп'ютерні системи та мережі
Код дисципліни: 7.123.01.E.027
Кількість кредитів: 5.00
Кафедра: Електронні обчислювальні машини
Лектор: доцент Бачинський Руслан Володимирович
Семестр: 2 семестр
Форма навчання: денна
Результати навчання: знати основні принципи, алгоритми, методи проектування апаратних засобів та програмних засобів кіберфізичних систем, внутрішні механізми функціонування цих систем, способи верифікації. вміти складати технічне завдання на проект, обирати адекватні програмно-апаратні інструменти проектування, виконувати етап ескізного проектування з розподілом виконання функцій поміж рівнями кіберфізичних систем, виконати розробку, верифікувати отримані результати, порівняти продуктивності розробки і прототипу
Необхідні обов'язкові попередні та супутні навчальні дисципліни: Архітектура комп`ютерів Комп’ютерна логіка Основи проектування цифрових засобів на ПЛІС
Короткий зміст навчальної програми: Фізичний світ. Засоби взаємодіїї з фізичним світом. Засоби збору та доставки інформаціїї. Приклади КФС. Засоби опрацювання інформації. Засоби прийняття рішень. Засоби персонального сервісу. Приклади КФС. Моделювання. Розроблення. Аналіз та тестування. Опис процесу моделювання. Методи моделювання. Імітаційне моделювання. Визначення конфігураційних параметрів системи очистки води методом імітаційного моделювання. Аналітичне моделювання. Визначення конфігурації кіберфізичної системи паркування. Абстрактні автоиати. Граф автомату Мура та Мілі. Абстрактний синтез автоматів з пам’яттю. Композиція машин станів. Опис машини станів мовами С та VHDL. Особливості систем реального часу. Процес моделювання системи реального часу. Приклади систем реального часу. Сенсори та актуатори. Інтерфейси та протоколи взаємодіїї. Вбудовані процесори. Архітектура пам’яті. Операційні системи реального часу. Багатозадачність. Планування обчислень. Методи автоматизованого тестування. Формати та приклади тестів. Протоколи безпровідного зв’язку. Приклад використання AT – команд. Методи віддаленого оновлення програмного забезпечення та конфігурації вбудованих систем. Платформи IoT. Моніторинг обладнання кіберфізичної системи. Методи Datamining. Модулі попередньої обробки даних. Модуль аналізу даних. Модуль прийняття рішень. Технології ідентифікації користувачів. Засоби персонального сервісу на базі ПК Засоби персонального сервісу на базі сматфону (Android, IOS)
Методи та критерії оцінювання: Усне опитування, контрольні роботи (30%) Підсумковий контроль (70 %, контрольних захід, іспит): письмово-усна форма (70 %)
Рекомендована література: 1. E. A. Lee and S. A. Seshia. Introduction to Embedded Systems - A Cyber-Physical Systems Approach, Second Edition, MIT Press, - 2017. – 565 p. Melnyk A. O. Multilevel basic cyber physical system platform // Cyber physical systems: achievements and challenges. First scientific seminar materials (June 25-26 2015 Lviv). – 2015. – p. 5–15 Jay Lee, Behrad Bagheri, and Hung-An Kao. A cyber-physical systems architecture for industry 4.0-based manufacturing systems. Manufacturing Letters, 3:18–23, 2015. 2 A. Salo. Simulation of water purification machine for vending cyber physical systems. Technology audit and production reserves — № 2/2(40), 2018 – p. 16 – 21. Жабін В.І., Жуков І.А., Клименко І.А., Ткаченко В.В. Прикладна теорія цифрових автоматів: Навч. посібник. – К.: Книжкове видавництво НАУ, 2007. – 364 с.

Проєктування реконфігурованих комп'ютерних систем (курсова робота)

Спеціальність: Комп'ютерні системи та мережі
Код дисципліни: 7.123.01.E.028
Кількість кредитів: 2.00
Кафедра: Електронні обчислювальні машини
Лектор: доцент Бачинський Руслан Володимирович
Семестр: 2 семестр
Форма навчання: денна
Результати навчання: знати основні принципи, алгоритми, методи проектування апаратних засобів та програмних засобів кіберфізичних систем, внутрішні механізми функціонування цих систем, способи верифікації. вміти складати технічне завдання на проект, обирати адекватні програмно-апаратні інструменти проектування, виконувати етап ескізного проектування з розподілом виконання функцій поміж рівнями кіберфізичних систем, виконати розробку, верифікувати отримані результати, порівняти продуктивності розробки і прототипу
Необхідні обов'язкові попередні та супутні навчальні дисципліни: Архітектура комп`ютерів Комп’ютерна логіка Основи проектування цифрових засобів на ПЛІС
Короткий зміст навчальної програми: Фізичний світ. Засоби взаємодіїї з фізичним світом. Засоби збору та доставки інформаціїї. Приклади КФС. Засоби опрацювання інформації. Засоби прийняття рішень. Засоби персонального сервісу. Приклади КФС. Моделювання. Розроблення. Аналіз та тестування. Опис процесу моделювання. Методи моделювання. Імітаційне моделювання. Визначення конфігураційних параметрів системи очистки води методом імітаційного моделювання. Аналітичне моделювання. Визначення конфігурації кіберфізичної системи паркування. Абстрактні автоиати. Граф автомату Мура та Мілі. Абстрактний синтез автоматів з пам’яттю. Композиція машин станів. Опис машини станів мовами С та VHDL. Особливості систем реального часу. Процес моделювання системи реального часу. Приклади систем реального часу. Сенсори та актуатори. Інтерфейси та протоколи взаємодіїї. Вбудовані процесори. Архітектура пам’яті. Операційні системи реального часу. Багатозадачність. Планування обчислень. Методи автоматизованого тестування. Формати та приклади тестів. Протоколи безпровідного зв’язку. Приклад використання AT – команд. Методи віддаленого оновлення програмного забезпечення та конфігурації вбудованих систем. Платформи IoT. Моніторинг обладнання кіберфізичної системи. Методи Datamining. Модулі попередньої обробки даних. Модуль аналізу даних. Модуль прийняття рішень. Технології ідентифікації користувачів. Засоби персонального сервісу на базі ПК Засоби персонального сервісу на базі сматфону (Android, IOS)
Методи та критерії оцінювання: Підсумковий контроль (100 %, залік): письмово-усна форма (100 %)
Рекомендована література: 1. E. A. Lee and S. A. Seshia. Introduction to Embedded Systems - A Cyber-Physical Systems Approach, Second Edition, MIT Press, - 2017. – 565 p. Melnyk A. O. Multilevel basic cyber physical system platform // Cyber physical systems: achievements and challenges. First scientific seminar materials (June 25-26 2015 Lviv). – 2015. – p. 5–15 Jay Lee, Behrad Bagheri, and Hung-An Kao. A cyber-physical systems architecture for industry 4.0-based manufacturing systems. Manufacturing Letters, 3:18–23, 2015. 2 A. Salo. Simulation of water purification machine for vending cyber physical systems. Technology audit and production reserves — № 2/2(40), 2018 – p. 16 – 21. Жабін В.І., Жуков І.А., Клименко І.А., Ткаченко В.В. Прикладна теорія цифрових автоматів: Навч. посібник. – К.: Книжкове видавництво НАУ, 2007. – 364 с.