Con il termine di Model Checking si intende il complesso delle operazioni di verifica del modello di progetto che termina con la validazione dello stesso.

Le verifiche da effettuare sul modello sono:

  • Verifica Visiva: controllo della rispondenza del modello alle caratteristiche formali richieste e cioè la verifica dell’aderenza alle richieste progettuali impartite dalla committenza;
  • Verifica Formale: verifica della correttezza della modellazione e della congruenza tra elementi;
  • Verifica dei Requisiti Spaziali di Progetto: verifica con la quale si vanno ad indagare i specifici requisiti spaziali del progetto;
  • Verifica dell’Interoperabilità: è sempre bene introdurre la fase di verifica della rispondenza del modello ai requisiti di interoperabilità e cioè la rispondenza all’IFC e se richiesto dal committente al COBie. Queste verifiche garantiranno al destinatario del modello o dei modelli di poterli riutilizzare in futuro sia con l’evoluzione dei programmi che li hanno generati, sia con altri programmi;
  • Verifica della Completezza dei Dati: confronto tra LOD (Level of Development) richiesto dai documenti contrattuali in una certa fase del progetto e la tipologia di informazioni contenute nel modello virtuale. La verifica di completezza dei dati dovrà essere eseguita prima di analisi specifiche;

Verifica delle Interferenze (“Clash Detection”): cioè la ricerca di possibili collisioni che generano criticità tra gli oggetti del modello. La clash detection permette di anticipare, in fase di progettazione, quelli che nella pratica si manifestano come “imprevisti di cantiere”, dovuti appunto alle interferenze tra elementi, che comporterebbero la necessità di perizie di variante, un allungamento dei tempi e in genere un aumento della spesa.

Alla base di questo processo occorre predisporre (sul BEP) fin dalle fasi di pianificazione progettuale contratto di scambio da chiari che definiscano quali da dovranno essere condivisi ed in che modo farlo. I software per la revisione del progetto consentono di comparare i diversi modelli afferenti alle varie discipline e di segnalare le eventuali sovrapposizioni.

Anche in questo caso vanno impostare dei limiti di tolleranza al fine di verificare se le interferenze siano tollerabili e quindi gestibili in cantiere. Le verifiche vengono eseguite su coppie di sistemi e qualora dalla verifica si riscontrassero delle interferenze, queste verranno evidenziate. È possibile, a questo punto, creare dei report con l’individuazione del problema riscontrato che poi verrà inviato al responsabile del modello che ne correggerà gli errori.