Recommended
Recommended
More Related Content
Viewers also liked
Viewers also liked (12)
Similar to Verifying BIM Completeness with Model Checking Software
Similar to Verifying BIM Completeness with Model Checking Software (20)
Recently uploaded
Recently uploaded (20)
Verifying BIM Completeness with Model Checking Software
- 1. Verifying the completeness of Building Information Models Enhancing control over BIM development processes September 28, 2016 Eindhoven FINAL PRESENTATION MASTER THESIS CONSTRUCTION MANAGEMENT AND ENGINEERING Graduate student J. J. W. (Jesse) Weerink Graduation committee Chairman: Prof. dr. ir. B. (Bauke) de Vries Graduation supervisor: Assistant prof. dr. dipl-ing. J. (Jakob) Beetz Graduation supervisor: Doctoral candidate C. (Chi) Zhang External supervisor: Ing. Y. (Yves) Scholtes
- 2. What is BIM? 2 source: Van Schaijk, 2016 source: Van Schaijk, 2016
- 3. Like a car, a BIM consists of many objects 3
- 4. Each object has to satisfy specific requirements. 4 42 Requirements
- 5. How to check if the BIM satisfies all requirements? 5 Example BIM 93 doors 42 exchange requirements 3906 checks Manual vs Model Checking Software
- 6. Model checking software is as fast, user-friendly and reliable as a BMW. 6
- 7. A model checker extracts issues from the BIM using a ruleset 7 BIM Ruleset Issues
- 8. Before issues can be extracted, a ruleset shoud be developed 8 BIM Ruleset Issues
- 9. Develop ruleset in model checker 9
- 10. A model checker processes BIMs 10 BIM Ruleset Issues
- 12. Problem solved? 12 source: Laakso et al., 2012
- 13. MvdXML Checker 13 source: Laakso et al., 2012 Zhang et al. (2014): Developed the mvdXML checker, which is a non-proprietary model view checker based on open standards to validate IFC building models.
- 14. MvdXML Checker verifies BIMs similar to proprietary model checkers. 14 BIM IFC Ruleset mvdXML Issues BCF
- 15. The mvdXML Checker uses a mvdXML ruleset to filter the IFC building model. 15 BIM IFC Ruleset mvdXML Issues BCF
- 16. Creating mvdXML ruleset 16 Exchange requirements IfcDoc tool mvdXML
- 17. The IfcDoc tool navigates and extracts elements from the IFC Schema 17
- 18. The extracted data results in a hiërharchy tree which can be converted to a mvdXML filter 18
- 19. In order to use IfcDoc, knowledge is required about: 19 IFC Schema mvdXML IfcDoc tool
- 20. IfcDoc is complex for domain end-users 20 IFC Schema mvdXML IfcDoc tool
- 21. This graduation project foccusses on making the mvdMXL Checker more user friendly 21 source: seophilippinesinc., 2016
- 22. Simplify the generation of mvdXML rulesets 22 Requirements IFC doc mvdXML Requirements mvdXML generator mvdXML
- 23. The NATSPEC Object/Element matrix supports the specification of requirements per object, during the development process of a BIM. 23 source: Natspec Object/Element Matrix, 2011
- 24. Specifiy applicable object 24 source: Natspec Object/Element Matrix, 2011
- 25. Distinguish phases according to LOD concept 25 source: Natspec Object/Element Matrix, 2011
- 26. Visualization LOD concept 26 source: Natspec Object/Element Matrix, 2011 source: Lanmar services, 2014
- 27. Specification and classification of rules 27 source: Natspec Object/Element Matrix, 2011
- 28. Specify which rules are required in phase LOD 100 28 source: Natspec Object/Element Matrix, 2011
- 29. The IFC Support concept is not applied to create rulesets yet 29 source: Natspec Object/Element Matrix, 2011
- 30. Develop a template to specify object requirements and a syntax to convert requirements to mvdXML rules 30 Requirements mvdXML generator mvdXML
- 31. The following template is developed 31
- 32. The applicable object is a door at LOD 200 32
- 33. Property and quantity rule types 33
- 34. Specify which rules are required 34
- 35. The specification for the mvdXML ruleset 35
- 36. The IFC Support strings contains the following elements: 36 IfcDoor IfcObject IsDefinedBy IfcRelDefinesByProperties RelatingPropertyDefinition SelfClosing -> = IfcPropertySet HasProperties IfcPropertySingleValue Name Applicable Entity Requirement Operator Template Elements
- 37. Template Elements are used to create a ConceptTemplate 37 IfcObject IsDefinedBy IfcRelDefinesByProperties RelatingPropertyDefinition IfcPropertySet HasProperties IfcPropertySingleValue Name
- 38. This template specifies that an object should contain a property 38 IfcObject IfcPropertySingleValue
- 39. The Concept specifies which object and property is required. 39 IfcDoor SelfClosing
- 40. However, it remains complex to extract the correct Template Elements 40 IfcObject.IsDefinedBy.IfcRelDefinesByPropertie s.RelatingPropertyDefinition.IfcPropertySet.Has Properties.IfcPropertySingleValue.Name
- 41. Therefore, shortcuts are developed for often used rules 41
- 42. The IFC Support shortcut string is parsed into the elements 42 IfcDoor SelfClosing -> = IfcPropertySingleValue Name Applicable Entity Requirement Operator Template Elements
- 43. Template Elements are used to select a predefined ConceptTemplate 43 IfcPropertySingleValue Name
- 44. The associated rule is generated by adjusting a predefined concept 44 IfcDoor SelfClosing
- 45. The developed syntax and template simplify the development of mvdXML rulesets 45 BIM IFC Ruleset mvdXML Issues BCF
- 46. Note that the mvdXML Generator develops mvdXML filters that verify the existence of parameters 46
- 47. In addition, it is difficult to operate the mvdXML checker 47
- 48. Therefore an user-interface is developed 48
- 49. The user-interface can generate mvdXML rulesets 49
- 50. The user-interface can operate the mvdXML checker 50
- 51. Simplify operating the mvdXML checker 51
- 52. The mvdXML checker is more user-friendly 52 source: seophilippinesinc., 2016
- 53. The application is demonstrated in a short movie 53
- 54. Summary – Before study 54 IFC Schema mvdXMLIfcDoc tool Difficult to operate Complex
- 55. Summary – After study 55 Template/Syntax User friendlyEasy to operate User Interface mvdXML
- 56. Conclusion 56
- 57. Future work - The mvdXML generator should be automated further by adding shortcuts 57
- 58. Future work - Generate rules that validate parameter values 58
- 59. Future work - The mvdXML Checker should be based on IFC4 59
- 60. Future work - Automatic viewpoint generation and classification of issues 60
- 61. CLOSURE 61 Thank you for your attention! Questions?
Editor's Notes
- BIEen BIM is een virtuele representatie van het gebouw.
- Net als een auto, bestaat een gebouw uit veel verschillende objecten. Elk moet voldoen aan verschillende eisen.
- Voordat een BIM wordt ontwikkelt, worden eerst de eisen vastgelegd: welke informatie moet elk object in het BIM bevatten, en wanneer?
- As german cars, model checking software is fast, reliable and user friendly
- Een MVD filtert het BIM. Objecten die niet volledig doen aan de eisen worden zodoende geidentificeert. Nog iets vertellen over BCF??
- Een MVD filtert het BIM. Objecten die niet volledig doen aan de eisen worden zodoende geidentificeert. Nog iets vertellen over BCF??
- Een MVD filtert het BIM. Objecten die niet volledig doen aan de eisen worden zodoende geidentificeert. Nog iets vertellen over BCF??
- 1. State of the art: hoe kijk je of een BIM volledig is? Lijst met vereiste parameters die objecten moeten bevatten voorbeeld deur Vervolgens BIM checken of de objecten deze informatie bevatten. Handmatig Model Checking Software
- Black box method, waardoor het niet mogelijk is om onder de motorkap te kijken en aanpassingen te doen. Hierdoor is de gebruiker afhankelijk van de software leverancier. Bijvoorbeeld bij het uitwisselen van informatie tussen software applicaties.
- Guaranteed information exchange through open standards Transparent Easy to see what happens, and make adjustments
- Een MVD filtert het BIM. Objecten die niet volledig doen aan de eisen worden zodoende geidentificeert. Nog iets vertellen over BCF??
- Een MVD filtert het BIM. Objecten die niet volledig doen aan de eisen worden zodoende geidentificeert. Nog iets vertellen over BCF??
- IFC doc tool is ontwikkelt door … om mvdxml rulesets te kunnen genereren.
- Met de IFC doc tool bouw je een mvdXML filter door elementen uit IFC schema te halen. Zoals je ziet is IFC schema complex en is enige kennis hiervan vereist.
- Met de IFC doc tool kan je eisen omzetten tot mvdXML filter door elementen uit IFC schema te halen. Zoals je ziet is IFC schema complex en is enige kennis hiervan vereist.
- Met de IFC doc tool kan je eisen omzetten tot mvdXML filter door elementen uit IFC schema te halen. Zoals je ziet is IFC schema complex en is enige kennis hiervan vereist.
- Met de IFC doc tool kan je eisen omzetten tot mvdXML filter door elementen uit IFC schema te halen. Zoals je ziet is IFC schema complex en is enige kennis hiervan vereist.
- Door de mvdXML checker uit te breiden met een tool die automatisch mvdxml regels genereert op basis van de eisen.
- Natspec Object/Element Matrix helpt om de Exchange Requirements per phase van objecten vast te leggen.
- Natspec Object/Element Matrix helpt om de Exchange Requirements per phase van objecten vast te leggen.
- Natspec Object/Element Matrix helpt om de Exchange Requirements per phase van objecten vast te leggen.
- Natspec Object/Element Matrix helpt om de Exchange Requirements per phase van objecten vast te leggen.
- Analysis of the Natspec Object/Element matrix shows that (physical) properties are often verified. Distinction is made between quantities and properties.
- Natspec Object/Element Matrix helpt om de Exchange Requirements per phase van objecten vast te leggen.
- Natspec Object/Element Matrix helpt om de Exchange Requirements per phase van objecten vast te leggen.
- The template enables specification of rules, and accompanied IFC Supports strings that serve as input for the mvdXML Generator
- Hier zie je dat de Template Elements gebruikt worden om een Concept Template te maken. Je vind elk template Element terug in de Concept Template. Een Concept Template bepaald de structuur van een mvdXML Filter.
- Zo zie je bijvoorbeeld dat de Concept Template definieerd dat een Object een property dient te hebben.
- Een MVD filtert het BIM. Objecten die niet volledig doen aan de eisen worden zodoende geidentificeert. Nog iets vertellen over BCF??
- Door de mvdXML checker uit te breiden met een tool die automatisch mvdxml regels genereert op basis van de eisen.
- Door de mvdXML checker uit te breiden met een tool die automatisch mvdxml regels genereert op basis van de eisen.
- Explain why schependomlaan? IFC Building Model according to IFC 2X3 schema Consists of many detailed objects A lot of data avaible
- The application of the mvdXML Checker and Generator on the use case shows that it is easier to check IFC building models using the mvdXML Checker. In the future, more free-to-use model checkers based on open standards, such as the mvdXML Checker, should be developed. Similar incentives offer domain end-users the possibility freely exchange information between applications, make adjustment to applications, and reduce the threshold for SMEs to make use of automated model checking software.
- The application of the mvdXML Checker and Generator on the use case shows that it is easier to check IFC building models using the mvdXML Checker. In the future, more free-to-use model checkers based on open standards, such as the mvdXML Checker, should be developed. Similar incentives offer domain end-users the possibility freely exchange information between applications, make adjustment to applications, and reduce the threshold for SMEs to make use of automated model checking software.
- The application of the mvdXML Checker and Generator on the use case shows that it is easier to check IFC building models using the mvdXML Checker. In the future, more free-to-use model checkers based on open standards, such as the mvdXML Checker, should be developed. Similar incentives offer domain end-users the possibility freely exchange information between applications, make adjustment to applications, and reduce the threshold for SMEs to make use of automated model checking software.
- The mvdXML checker could be developed further: more user friendly (Examples) + run automatic (e.g. more shortcuts).
- The mvdXML checker could be developed further: more user friendly (Examples) + run automatic (e.g. more shortcuts).
- Dit zijn de resultaten van mijn afstudeeronderzoek. Ik wil jullie graag hartelijk bedanken voor deze leuke, leerzame periode waar ik met veel plezier op terugkijk.