OVERVIEW

The course aims to provide a broad overview of the various types of state-of-the-art cyberphysical sytems: synchronous, asynchronous, continuous-time dynamic, timed, and hybrid systems. The treatment of systems covers modeling, simulation, and verification (model checking) topics. Each topic is also addressed through the use of appropriate development tools, such as nuXmv, Spin, Uppaal, Matlab-Simulink-Stateflow. The lat part of the course introduces to firmware programming on STM32 microcontrollers.

AIMS AND CONTENT

LEARNING OUTCOMES

The module introduces to analysis and design of cyberphysical systems: modelling, simulation and formal verification of synchronous, asynchronous, continuous-time dynamic, timed and hybrid electronic systems, considering safety and liveness requirements. It also introduces to firmware on microcontroller-based systems. The student will develop analytical and design skills through a simple project.

AIMS AND LEARNING OUTCOMES

By taking the course, the student should come to possess a broad knowledge about the various types of state of the art cyberphysical sytems, such as: synchronous, asynchronous, continuous-time dynamic, timed, and hybrid systems. For each type of system, modeling, simulation, and verification (model checking) topics are covered. The student will have the opportunity to learn the theoretical foundations, and to study some application examples. Exercises are proposed, and usually solved in class, for each topic in order to test the acquisition of knowledge. The student will also learn to use a development tool for each type of cyberphysical system covered (nuXmv, Spin, Uppaal, Matlab-Simulink/Stateflow).

Part of the course will introduce to the development of firmware for STM32 microcontrollers.

The project that will be agreed upon for the exam is aimed at stimulating and verifying the student's design and implementation skills, as well as the operational field verification of part of the acquired knowledge.

The learning outcomes concern the realization of the above training objectives, including through the implementation of a project. At the end of the course the student will be able to analyze and design engineering solutions based on various types of cyber-physical systems, in various types of applications.

PREREQUISITES

Digital systems electronics

Fundamentals of programming

Fundamentals of computer architecture

TEACHING METHODS

Lectures, with use of slides, and examples/exercises carried out both on blackboard and PC (or tele-learning, if made necessary), using the development/simulation tools indicated in class. Student reception. Proposal, implementation and discussion of a project.

SYLLABUS/CONTENT

Modeling, simulation and verification of cyberphysical systems

- Introduction.

- Synchronous models

- Safety requirements

- Asynchronous models

- Liveness requirements

- Continuous time dynamic systems

- Timed systems

- (Hybrid systems)

Introduction to firmware development for STM32 firmware

• GPIO
• Interrupts
• UART/USART
• DMA
• (Clock tree)
• (Timers)
• (ADC/DAC)
• (I2C/SPI)

RECOMMENDED READING/BIBLIOGRAPHY

R. Alur, Principles of Cyberphysical Systems: 
https://mitpress.mit.edu/books/principles-cyber-physical-systems

C. Noviello, Mastering STM32, 2nd edition
https://leanpub.com/mastering-stm32-2nd 

Lecture notes and other material suggested by the lecturer during the course

TEACHERS AND EXAM BOARD

Exam Board

FRANCESCO BELLOTTI (President)

LUCA LAZZARONI

RICCARDO BERTA (President Substitute)

LESSONS

LESSONS START

https://easyacademy.unige.it  

Class schedule

The timetable for this course is available here: Portale EasyAcademy

EXAMS

EXAM DESCRIPTION

Oral exam on the first part (cyber-physical systems), including both theoretical questions and exercises, on the topics covered in class.

Project work (on modeling/simulation of a cyber-physical system or on an IoT/machine learning/data science application)

ASSESSMENT METHODS

Assessment will be through questions/exercises in the oral examination. As for the project, assessment will take place in the preparatory interviews and during the design/implementation of the solution and in the final discussion of a paper descriptive of the work done.

The evaluation will also take into account the student's participation during the course.

Exam schedule