OVERVIEW

This teaching unit 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). Each topic is addressed also through the use of appropriate development tools. The lat part of the course concerns cyberphysical/embedded system development with firmware programming on STM32 microcontrollers.

AIMS AND CONTENT

LEARNING OUTCOMES

This teaching unit 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 this teaching unit, 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, the unit covers such aspects as modeling, simulation, and verification (model checking). The student will have the opportunity to learn the theoretical foundations, and practice with 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, Uppaal, Matlab-Simulink/Stateflow).

The last 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 mentioned learning objectives, through theoretical study and practice with exercises and the project. At the end of the teaching unit 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, using the development/simulation tools indicated in class. Student reception. Proposal, implementation and discussion of a project.

Students with valid certifications for Specific Learning Disorders (SLDs), disabilities or other educational needs are invited to contact the teacher and the School's contact person for disability at the beginning of teaching to agree on possible teaching arrangements that, while respecting the teaching objectives, take into account individual learning patterns. Contacts of the School's disability contact person can be found at the following link Comitato di Ateneo per l’inclusione delle studentesse e degli studenti con disabilità o con DSA | UniGe | Università di Genova (https://unige.it/en/commissioni/comitatoperlinclusionedeglistudenticondisabilita)

SYLLABUS/CONTENT

Modeling, simulation and verification of cyberphysical systems

- Introduction.

- Synchronous models

- Safety requirements

- Asynchronous models

- Liveness requirements

- Timed systems

- Continuous time dynamic 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

LESSONS

LESSONS START

https://corsi.unige.it/en/corsi/11970/studenti-orario

Class schedule

The timetable for this course is available here: Portale EasyAcademy

EXAMS

EXAM DESCRIPTION

Oral exam on the first part of the teaching unit (modelling, simulation and formal verification of cyber-physical systems), including both theoretical questions and exercises on the topics covered in class.

Project work on the second part of the teaching unit, (implementation of a cyber-physical/embedded system, typically on STM32 microcontrollers). 

ASSESSMENT METHODS

The first part of the teaching unit is assessed thorugh an oral exam, with questions and exercises covering the aspects addressed in class (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).

The second part of the teaching unit (embedded system firmware development, typically on STM32 microcontrollers) is assessed thorugh a project, for which assessment will take place during preparatory talks and during the design/implementation of the solution, as well as in the final discussion of a descriptive report on the work carried out.

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

Students with valid certifications for Specific Learning Disorders (SLDs), disabilities, or other educational needs are invited to contact the teacher and the DITEN contact person for disability to agree on the possible  use  of  specific  modalities  and  supports  that  will  be  determined  on  a  case-by-case  basis, according to the University regulation for the inclusion and right to study of students with disabilities or specific learning disorders

FURTHER INFORMATION

Ask the professor for other information not included in this description of the teaching unit.