Learning objectives

The course aims to provide the knowledge necessary for the specification, modeling, development and verification of embedded network systems for industrial applications, in particular networked control systems, cyber-physical components, network infrastructures and Internet-of-Things (IoT) applications. At the end of the course the student will have to show the acquisition of the ability to analyze and understand the functioning of the networked embedded and IoT systems and the problems related to their design, implementation, verification, certification and use, with reference to their most important properties: performance, reliability, security and privacy. This knowledge will allow the student to acquire the ability to specify, model, design and verify networked embedded systems in the industrial and IoT fields, identifying the most appropriate components to integrate with each other, with the production machinery and the company information system. At the end of the course the student will be able to apply and deepen these topics independently.