logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-01252017-084948


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
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