Linguaggio di Programmazione Visuale per il Model Checking e la Modellazione Parametrica in ambiente BIM. Il caso studio dell'Allianz Stadium = Visual Programming Language for Model Checking and Parametric Modelling in BIM environment. The case study of Allianz Stadium

Il Building Information Modelling (BIM) si inserisce all’interno di un processo di digitalizzazione che negli ultimi anni sta rivoluzionando il modo di progettare, costruire e gestire gli edifici. Rispetto a processi tradizionali il BIM permette la gestione dell’intero ciclo di vita dell’edificio, la gestione integrata di tutte le discipline, dei contenuti geometrici ed alfanumerici che caratterizzano generalmente un progetto e che in un modello BIM sono definiti dal livello di sviluppo (LOD) del modello stesso. In questo contesto, l’automazione dei processi di inserimento e controllo di oggetti e informazioni inseriti all’interno di un modello BIM riveste un ruolo di fondamentale importanza, permettendo da un lato la diminuzione delle tempistiche di modellazione e dall’altro l’aumento dell’affidabilità dei modelli BIM. Obiettivo del presente elaborato è lo sviluppo di metodologie basate su un linguaggio di programmazione visuale sia per quanto riguarda l’inserimento dei contenuti geometrici sia per quanto riguarda il controllo dei contenuti alfanumerici, utilizzando un caso studio complesso come l’Allianz Stadium. Il lavoro di tesi si inserisce all’interno del progetto di ricerca Juventus Stadium 2.0, che coinvolge il laboratorio DrawingTOthefuture del Politecnico di Torino e la società Juventus; una parte della tesi è stata svolta presso la Kungliga Tekniska Högskolan (KTH) di Stoccolma.