ETD

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

Tesi etd-01252017-084948

Tipo di tesi

Tesi di laurea magistrale

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

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 (Inglese)

Riassunto (Italiano)

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 verifica 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. Contatta l’autore