MODELING AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS

MODELING AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS

_
iten
Code
80474
ACADEMIC YEAR
2018/2019
CREDITS
6 credits during the 2nd year of 8733 Computer Engineering (LM-32) GENOVA
SCIENTIFIC DISCIPLINARY SECTOR
ING-INF/05
LANGUAGE
Italian
TEACHING LOCATION
GENOVA (Computer Engineering)
semester
1° Semester
Teaching materials

OVERVIEW

The course introduces the students to problems related to modeling and verification of systems which intertwine physical processes, computing and network resources.

AIMS AND CONTENT

LEARNING OUTCOMES

Students should acquire the capability to model and reason about systems involving mixed continuous-discrete-probabilistic dynamics.

AIMS AND LEARNING OUTCOMES

The goal of the course is to consolidate elements of Computer and Systems Engineering acquired by the students along their careers, and to provide a uniform approach to Cyber-Physical Systems (CPS), i.e., engineered systems that are built from and depend upon the synergy of computational and physical components. In particular, the course is meant to introduce the students to the theory of Hybrid and Probabilistic Automata, and to lead them through hands-on-experience with state-of-the-art simulation, synthesis and verification tools for CPS. At the end of the course students should be able to model, simulate and verify distributed computational units controlling physical processes

PREREQUISITES

Some basics in System/Control Theory as well as Computer Science foundations are necessary to understand the course contents. In particular the student should be familiar with continuous models such as ordinary (linear) differential equations, and discrete models such as finite automata, and Markov chains. Some knowledge about programming is preferred, but not mandatory.

Teaching methods

Lectures and computer labs.

SYLLABUS/CONTENT

Introduction to system verification. Modeling and verification of discrete state systems. Modeling and verification of real-time and hybrid systems. Modeling and verification of probabilistic systems. Heterogeneous and hierarchical modeling.

RECOMMENDED READING/BIBLIOGRAPHY

Cristel Baier, Joost-Pieter Katoen - Principles of Model Checking – MIT Press - 2008

AA. VV. - System Design, Modeling and Simulation using Ptolemy II - Ptolemy.org - 2014

TEACHERS AND EXAM BOARD

Ricevimento: Every hour following class hours.

Exam Board

ARMANDO TACCHELLA (President)

MASSIMO NARIZZANO

ENRICO GIUNCHIGLIA

LESSONS

Teaching methods

Lectures and computer labs.

LESSONS START

September 2019

EXAMS

Exam description

Homeworks (10%), final project (50%) and presentation (40%)

Assessment methods

At the end of the course students should be able to model, simulate and verify distributed computational units controlling physical processes.

Exam schedule

Date Time Location Type Notes
13/09/2019 09:00 GENOVA Esame su appuntamento