MODELING AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS

MODELING AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS

_
iten
Codice
80474
ANNO ACCADEMICO
2018/2019
CFU
6 cfu al 2° anno di 8733 INGEGNERIA INFORMATICA (LM-32) GENOVA
SETTORE SCIENTIFICO DISCIPLINARE
ING-INF/05
LINGUA
Italiano
SEDE
GENOVA (INGEGNERIA INFORMATICA )
periodo
1° Semestre
materiale didattico

PRESENTAZIONE

Il corso introduce gli studenti ai problemi legati alla modellazione e alla verifica dei systemi che coinvolgono l'interazione tra processi fisici, The course introduces the students to problems related to modeling and verification of systems which intertwine physical processes, computing and network resources.

OBIETTIVI E CONTENUTI

OBIETTIVI FORMATIVI

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

DOCENTI E COMMISSIONI

Ricevimento: Ogni ora seguente alle ore di lezione oppure su appuntamento.

Commissione d'esame

ARMANDO TACCHELLA (Presidente)

MASSIMO NARIZZANO

ENRICO GIUNCHIGLIA

ESAMI

Calendario appelli

Data Ora Luogo Tipologia Note
13/09/2019 09:00 GENOVA Esame su appuntamento