Model checking

Il model checking — detto anche validazione del modello o controllo a regole — è il controllo qualità di un modello BIM: verificarne la costruibilità, la conformità a standard e regolamenti e la validità delle informazioni che porta. È ciò che trasforma "abbiamo un modello" in "abbiamo un modello di cui fidarci".

Di solito copre tre tipi di controllo. La validazione guarda al modello in sé — geometria e relazioni spaziali, duplicati, componenti mancanti, nomenclatura, classificazione e se i parametri richiesti sono presenti e corretti rispetto agli standard di dati. Il clash detection cerca i conflitti fisici tra discipline. Il controllo normativo (code checking) guarda alla conformità regolamentare — accessibilità, compartimentazioni antincendio, prestazione energetica.

È guidato dalle regole già concordate nel progetto. Il piano di gestione informativa (BEP) fissa gli standard, i formati e le convenzioni di modellazione che il controllo fa rispettare, e molto può essere automatizzato, il che rende il controllo a regole abbastanza rapido da ripetere. Quando i requisiti sono espressi come un IDS, diventano verificabili dalla macchina: il checker conferma se un file IFC li soddisfa davvero. La ISO 19650 fornisce il processo e le aspettative di qualità di contorno. In italiano è verifica del modello o validazione del modello, con il controllo normativo noto come verifica normativa.