Industrial Internet of Things and Cyber Security

The objective of this course is that students acquire the knowledge and skills necessary for: 1) the development of reliable and secure industrial internet of things, 2) the design of control systems that are distributed over smart devices (cyber physical systems), and 3) secure implementation of industrial internet.

After successfully completing this course, the students should be capable to: - Exploit different computer networks in industrial environment; - Design and implement industrial control systems distributed over smart devices; - Model distributed control systems according to IEC 61499; - Verify the performances of smart devices network; - Understand security related issues in industrial internet of things.

1. Introduction to industrial internet of things; Programmable controllers: functions, hardware, software, input-output modules; programming languages and programming according to IEC 61131-3. 2. Distribution of control tasks to smart devices; discrete events system control tasks specification using Petri nets, distribution of discrete events system tasks to networked smart devices; 3. Formal methods for verification and analysis of distributed control systems – Formal languages, regular languages and expressions, finite automata, supervisory control theory; 4. Control system modeling and specification according to IEC 61499; 5. Industrial internet reference architecture; Industrial networks: wired networks overview, IEEE 802.11 (Wi-Fi) and IEEE 802.15.4 based wireless networks; OPC Unified Architecture; 6. Security: deception attacks in continuous time and discrete event systems; overview of methods for attacks detection.

1. Laboratory exercises: PL1: Electro-pneumatic realization of combinational automaton using PLC PL2: Control system modelling and analysis using Petri Nets. PL3: Electro-pneumatic realization of sequential automaton using PLC PL4: IEEE 802.15.4: Generation of electro-pneumatic system distributed control using network of microcontroller based wireless nodes; PL5: IEC 61499: Control system modeling – introduction to 4diac. PL6: Ethernet: Establishing real time communication between PLC and smart devices using Ethernet and between PLC and smart devices and MES using OPC UA; PL7: Design and implementation of cyber-attack detection system in continuous time controlled systems; PL8: Design and implementation of cyber-attack detection system in discrete event systems with distributed control; 2. Project design: Design, verification and implementation of distributed control system for selected manufacturing resource through network of smart devices.

none

1. Jakovljevic, Z., Industrial Internet of Things, lecture handouts 2. Wireless nodes based on ARM Cortex-M3-based NXP LPC1768 microcontrollers and MRF24J40MA 2.4 GHz IEEE Std. 802.15.4 RF Transceiver Modules 3. Intelligent pneumatic cylinders and grippers with integrated control valves, limit switches and wireless nodes 4. Breadboards and electronic components 5. Modular 2DoF and 3DoF electro-pneumatic manipulator 6. Conveyor belt 7. Flexible electro-pneumatic assembly system 8. Modular 3DoF electro-pneumatic manipulator 9. Vision system Cognex IS2000M-120-40-125 10. Programmable controller Omron CP1L-EM40DT-D 11. Programmable controller Omron CP1L-EM30DT1-D 12. Programmable controller Omron SYSMAC CPM1-10CDR-A 13. Touch screen Omron NB5Q-TW01B; 14. Keil \mu Vision open source software 15. DESUMA open source software 16. 4diac open source software 17. Opera MES 18. Omron CX Programmer 19. Personal computers

Total assigned hours: 90

New material: 30
Elaboration and examples (recapitulation): 15

Auditory exercises: 0
Laboratory exercises: 20
Calculation tasks: 0
Seminar paper: 0
Project: 10
Consultations: 0
Discussion/workshop: 0
Research study work: 0

Review and grading of calculation tasks: 0
Review and grading of lab reports: 1
Review and grading of seminar papers: 0
Review and grading of the project: 3
Test: 0
Test: 6
Final exam: 5

Activity during lectures: 5
Test/test: 20
Laboratory practice: 10
Calculation tasks: 0
Seminar paper: 0
Project: 35
Final exam: 30
Requirement for taking the exam (required number of points): 35

Pilipović M, Jakovljević Ž, Automatizacija proizvodnje, Mašinski fakuletet Beograd, 2017; Edward A. Lee and Sanjit A. Seshia, Introduction to Embedded Systems ‐ A Cyber--‐Physical Systems Approach, Second Edition, 2015. Available online at http://LeeSeshia.org ; Rob Toulson and Tim Wilmshurst, Fast and effective embedded systems design: applying the ARM mbed, Newnes, 2016. ; Rajeev Alur, Principles of Cyber--‐Physical Systems, MIT Press, 2015 ; Kok Kiong Tan, Andi Sudjana Putra, Drives and Control for Industrial Automation, Springer-Verlag London, 2011