Progettazione e sviluppo di algoritmi e modelli di machine learning per l’analisi dei report di software per la verifica della sicurezza funzionale dei sistemi di comando delle macchine