Formale Prüfregeln

Allgemein

Die formale Prüfung im Projekt bezieht sich auf die automatisierte Bewertung der Modellqualität und die Überprüfung des Vorhandenseins spezifischer Eigenschaften und Attribute in digitalen Gebäudemodellen. Dies wurde mithilfe von IDS (Information Delivery Specification) umgesetzt, die klare Anforderungen an die Informationsinhalte der Modelle definieren.

Kernpunkte der formalen Prüfung

Prüfung von Modellqualität und Vollständigkeit

• Die Modelle wurden daraufhin überprüft, ob sie den Anforderungen der Modellierungsrichtlinie entsprechen.
• Aspekte wie die korrekte Geometrie, die Verwendung von standardisierten IFC-Attributen und die Konsistenz der Daten wurden geprüft.

<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<ids xmlns="http://standards.buildingsmart.org/IDS" xmlns:xs="http://www.w3.org/2001/XMLSchema">
    <info>
        <title>Prüfung_Break-Out</title>
        <version>0.9.6</version>
        <description>This export has been created using the BIM.permit software by VSK Software GmbH.</description>
        <author>Daniel Napps</author>
    </info>
    <specifications>
        <specification name="Prüfung auf Vorhandensein eines Break-Outs" ifcVersion="IFC2X3 IFC4" identifier="51528bb9-7449-4901-8d1d-5c3c8196fbf8" description="Diese Prüfung richtet sich an Vorgaben an Türen im Sinne der ASR A2.3. Dabei werden die Türen auf das Vorhandensein eines Break-Out Mechanismus geprüft." minOccurs="0" maxOccurs="unbounded">
            <applicability>
                <entity>
                    <name>
                        <simpleValue>IFCDOOR</simpleValue>
                    </name>
                </entity>
            </applicability>
            <requirements>
                <property minOccurs="1" maxOccurs="unbounded" datatype="IFCBOOLEAN">
                    <propertySet>
                        <simpleValue>ASR_Tür</simpleValue>
                    </propertySet>
                    <name>
                        <simpleValue>Break-Out</simpleValue>
                    </name>
                    <value>
                        <xs:restriction>
                            <xs:enumeration value="wahr"/>
                            <xs:enumeration value="true"/>
                        </xs:restriction>
                    </value>
                </property>
            </requirements>
        </specification>
    </specifications>
</ids>

IDS-basierte Prüfungen

• Mithilfe von IDS wurde sichergestellt, dass Modelle bestimmte Eigenschaften und Attribute enthalten, wie etwa:
  • Fluchtwegbreiten.
  • Zuordnung von Notausgängen.
  • Spezifikationen zu Bewegungsflächen.
  • Spezifikationen von Objekteigenschaften.
• Diese Prüfungen stellen sicher, dass die notwendigen Informationen im Modell für weiterführende fachliche Prüfungen vorhanden sind.

In der nebenstehenden Abbildung ist der Code einer solchen IDS für das Beispiel einer Prüfung einer Tür auf einer Break-Out-Session dargestellt.

Automatisierte Werkzeuge

• Die Prüfung erfolgte durch automatisierte Prozesse in BIM-Werkzeugen, die die Einhaltung der definierten IDS-Anforderungen sicherstellen.
• Prüfberichte zeigten Abweichungen oder fehlende Informationen auf, um den Planenden gezielt Verbesserungsmöglichkeiten aufzuzeigen.

Demonstration

In dem folgenden Video ist eine Demonstration der Erstellung einer formalen Prüfung für Notausgänge und die visuelle Überprüfung und Anwendung der Prüfregel als IDS in BIMpermit dargestellt.

Ergebnisse

• Hohe Effizienz
  • Die formale Prüfung zeigte, dass automatisierte Werkzeuge effizient Mängel und Abweichungen in den Modellen identifizieren können.
• Vollständigkeit der Modelle
  • Die getesteten Modelle wiesen durch die Anwendung der IDS und der Modellierungsrichtlinie eine deutlich verbesserte Datenqualität auf.
• Praktische Anwendbarkeit
  • Die entwickelten Prüfregeln sind robust und konnten in den getesteten Anwendungsfällen zuverlässig eingesetzt werden.