Up a level |
Giada Antonietti. Evoluzione del modello MBSE di sistemi spaziali da descrizione formale a Source of Truth: metodologia per l’estensione delle funzionalità del modello, dalla definizione dell’architettura di sistema all’impiego nella pianificazione e nella gestione delle attività di verifica, fino alla generazione automatica di una specifica di test. = Evolution of the MBSE model of space systems from formal description to Source of Truth: methodology for extending the functionalities of the model, from the definition of the system architecture to its use in the planning and management of verification activities, up to the automatic generation of a test specification. Rel. Nicole Viola, Vittorio Ancona, Mauro Pasquinelli. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Aerospaziale, 2023