Realizzare software predicibili per il controllo in tempo reale di veicoli