Il ruolo del Model Checking per il BIM = The role of Model Checking for BIM

Negli ultimi anni, il settore delle costruzioni ha subito notevoli cambiamenti. Questo è da attribuirsi al grande impatto dovuto alla tecnologia digitale. La metodologia Building Information Modeling si pone come nuovo paradigma nel campo delle costruzioni. Il punto di forza riconosciuto a livello internazionale alla metodologia BIM è rappresentato dal tema della collaborazione. Nei capitoli introduttivi, sono esposte le tematiche principali come: la progettazione integrata, i livelli di maturità, le dimensioni, l’interoperabilità, gli standard, e la normativa. È stata effettuata la modellazione dell’impianto meccanico e unità di ventilazione, a supporto dei filtri antincendio della Torre Regione Piemonte, e più nello specifico degli interrati torre. La presente tesi ha come obiettivo quello di approfondire all’interno della metodologia BIM lo strumento del Model Checking, grazie al quale è possibile verificare e validare i progetti non solo in fase progettuale, ma anche durante tutte le fasi del processo; il fine è di produrre un modello grafico-informativo 3D di elevata qualità per beneficiarne in successivi step del flusso produttivo.