Design of Reconfigurable Computer Systems

Major: Computer Systems and Networks
Code of subject: 7.123.01.E.027
Credits: 5.00
Department: Electronic Computing Machines
Lecturer: Associate Professor Bachynskyy Ruslan
Semester: 2 семестр
Mode of study: денна
Learning outcomes: to know the basic principles, algorithms, methods of designing hardware and software of cyber-physical systems, internal mechanisms of functioning of these systems, methods of verification. be able to draw up a technical task for a project, choose adequate software and hardware design tools, perform the sketch design stage with the distribution of functions between the levels of cyber-physical systems, perform development, verify the results obtained, compare the performance of development and prototype
Required prior and related subjects: Computer architecture Computer logic Basics of designing digital tools on FPGA
Summary of the subject: The physical world. Means of interaction with the physical world. Means of collecting and delivering information. Examples of CFS. Information processing tools. Means of decision-making. Means of personal service. Examples of CFS. Modeling. Development. Analysis and testing. Description of the modeling process. Modeling methods. Simulation modeling. Determining the configuration parameters of the water purification system by the method of simulation modeling. Analytical modeling. Determination of the configuration of the cyber-physical parking system. Abstract cars. The graph of the Moore and Miley automaton. Abstract synthesis of automata with memory. Composition of state machines. Description of the state machine in C and VHDL languages. Features of real-time systems. The process of modeling a real-time system. Examples of real-time systems. Sensors and actuators. Interfaces and interaction protocols. Built-in processors. Memory architecture. Real-time operating systems. Multitasking. Calculation planning. Methods of automated testing. Formats and examples of tests. Wireless communication protocols. An example of using AT commands. Methods of remote software update and configuration of embedded systems. IoT platforms. Monitoring of cyber physical system equipment. Datamining methods. Data preprocessing modules. Data analysis module. Decision making module. User identification technologies. PC-based personal service tools Personal service tools based on a smartphone (Android, IOS)
Assessment methods and criteria: Oral survey, control papers (30%) Final control (70%, control measure, exam): written and oral form (70%)
Recommended books: 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 с.

Design of Reconfigurable Computer Systems (курсова робота)

Major: Computer Systems and Networks
Code of subject: 7.123.01.E.028
Credits: 2.00
Department: Electronic Computing Machines
Lecturer: Associate Professor Bachynskyy Ruslan
Semester: 2 семестр
Mode of study: денна
Learning outcomes: to know the basic principles, algorithms, methods of designing hardware and software of cyber-physical systems, internal mechanisms of functioning of these systems, methods of verification. be able to draw up a technical task for a project, choose adequate software and hardware design tools, perform the sketch design stage with the distribution of functions between the levels of cyber-physical systems, perform development, verify the results obtained, compare the performance of development and prototype
Required prior and related subjects: Computer architecture Computer logic Basics of designing digital tools on FPGA
Summary of the subject: The physical world. Means of interaction with the physical world. Means of collecting and delivering information. Examples of CFS. Information processing tools. Means of decision-making. Means of personal service. Examples of CFS. Modeling. Development. Analysis and testing. Description of the modeling process. Modeling methods. Simulation modeling. Determining the configuration parameters of the water purification system by the method of simulation modeling. Analytical modeling. Determination of the configuration of the cyber-physical parking system. Abstract cars. The graph of the Moore and Miley automaton. Abstract synthesis of automata with memory. Composition of state machines. Description of the state machine in C and VHDL languages. Features of real-time systems. The process of modeling a real-time system. Examples of real-time systems. Sensors and actuators. Interfaces and interaction protocols. Built-in processors. Memory architecture. Real-time operating systems. Multitasking. Calculation planning. Methods of automated testing. Formats and examples of tests. Wireless communication protocols. An example of using AT commands. Methods of remote software update and configuration of embedded systems. IoT platforms. Monitoring of cyber physical system equipment. Datamining methods. Data preprocessing modules. Data analysis module. Decision making module. User identification technologies. PC-based personal service tools Personal service tools based on a smartphone (Android, IOS)
Assessment methods and criteria: Final control (100%, credit): written and oral form (100%)
Recommended books: 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 с.