19/10/2021 7:30 - Disputation Thesis Mr. Sonnek

Invitation to the Presentation of Diploma Thesis

Topic: A methodology for requirement-based model checking

In a digital world in which the planning and construction of building processes is the support of the digital models, those models have to be checked. An automated checking of those models is called BIM-based Model Checking.
The aims of this thesis are to clarify this term, evaluate the current technological capabilities and create a base for further research and teachings. 
In this thesis the BIM-based Model Checking will be structured in Model Content Checking and Model Validation. Furthermore it will be discussed how to transform human made rules into rules executable by computers. 
To evaluate the current technology Model Checking will be run on several models in different Model Checkers. It will be shown that the use of proprietary forms of data and their differences from the IFC-standard are an essential problem for BIM-based Model Checking.
As a conclusion a bases for a complete BIM-based Model Checking will be created using the mvdXML-standard.   
 

Datetime:
19/10/2021 7:30

Location:
Nürnberger Strasse 31a, 2nd floor, room 201

Due to CORONA regulations the public audience can attend the event online by using the following URL:
https://webconf.vc.dfn.de/cib-biw-verteidigungen/

Presenter:
Mr. Sonnek

Responsible academic staff:
Prof. Dr.-Ing. habil Karsten Menzel

Additional Supervisor:
Dr.-Ing. Matthias Weise (AEC3 Deutschland GmbH)
​​​​​​​Dipl.-Ing. Frank Opitz (DB Netz AG)

Supervisor:
Dipl.-Ing. Nicolas Mitsch

You are welcome to attend this presentation, it will be held in German.