Tesi etd-01252017-084948 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea magistrale
Autore
POSCA, GABRIELE
URN
etd-01252017-084948
Titolo
Logica temporale e validazione HIL dell'elettronica di controllo di una vettura da Formula Uno
Dipartimento
INGEGNERIA DELL'INFORMAZIONE
Corso di studi
INGEGNERIA ROBOTICA E DELL'AUTOMAZIONE
Relatori
relatore Prof. Landi, Alberto
controrelatore Prof. Saponara, Sergio
correlatore Ing. Balluchi, Andrea
correlatore Ing. Nunziata, Andrea
controrelatore Prof. Saponara, Sergio
correlatore Ing. Balluchi, Andrea
correlatore Ing. Nunziata, Andrea
Parole chiave
- Formula Uno
- HIL
- logica termporale
- monitor
- testing
- verifica
Data inizio appello
23/02/2017
Consultabilità
Non consultabile
Data di rilascio
23/02/2087
Riassunto
Il tema di questo elaborato è il frutto del lavoro svolto come consulente dell'azienda Pure Power Control presso la Scuderia Ferrari. E' stato sviluppato un modello astratto di una vettura da F1, tramite Matlab-Simulink e Stateflow. Su tale modello è stata studiata l'applicabilità delle tecniche di veri fica espresse in logica temporale, introducendo il concetto dei Monitor. In collaborazione con il Control Group della Scuderia Ferrari, è stato sviluppato un sistema per l'automatizzazione dei test di verifica, comprendente la validazione HIL.
File
| Nome file | Dimensione |
|---|---|
Tesi non consultabile. |
|