Automatic rule-based checking of building designs

Automation in Construction

Volumn 18, Issue 8, 2009, Pages 1011-1033

  Eastman, C ^a   Lee, Jae min ^a   Jeong, Yeon suk ^a   Lee, Jin kook ^a  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

BIM; Building codes; Design assessment; Design guides

Indexed keywords

BIM; BUILDING DESIGN; BUILDING MODEL; DESIGN GUIDES; FUNCTIONAL CAPABILITIES; RULE BASED; USER EXPERIENCE;

BUILDING CODES; BUILDINGS; CONCRETE BRIDGES; SURVEYS;

STRUCTURAL DESIGN;

EID: 70349429622     PISSN: 09265805     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.autcon.2009.07.002     Document Type: Review

References (68)

1. Eastman C.M., Teicholz P., Sacks R., and Liston K. BIM Handbook: A Guide to Building Information Modeling for Owners, Managers, Architects, Engineers, Contractors, and Fabricators (2008), John Wiley and Sons, Hoboken, NJ
2. Liebich T., Adachi Y., Forester J., Hyvarinen J., Karstila K., and Wix J. Industry Foundation Classes IFC2×3 (2006), International Alliance for Interoperability
3. Khemlani K. CORENET e-PlanCheck: Singapore's automated code checking system, AECBytes (2005). http://www.aecbytes.com/buildingthefuture/2005/CORENETePlanCheck.html http://www.aecbytes.com/buildingthefuture/2005/CORENETePlanCheck.html
4. Lê M.A.T., Mohus F., Kvarsvik O.K., and Lie M. The HITOS project-a full scale IFC test (2006), ECPPM
5. Ding L., Drogemuller R., Rosenman M., Marchant D., and Gero J. Automating code checking for building designs. In: Brown K., Hampson K., and Brandon P. (Eds). Clients Driving Construction Innovation: Moving Ideas into Practice, CRC for Construction Innovation, Brisbane, Australia (2006) 113-126
6. Conover D. Development and Implementation of Automated Code Compliance Checking in the U.S. (2007), International Code Council
7. SMC 2009A: automated code checking for accessibility, Solibri, http://www.solibri.com/press-releases/solibri-model-checker-v.4.2-access ibility.html.
8. Delis E.A., and Delis A. Automatic fire-code checking using expert-system technology. Journal of Computing in Civil Engineering, ASCE 9 2 (1995) 141-156
9. Eastman C.M., Lee J., Jeong Y.-S., and Lee J.-K. Implementation of automatic circulation checking module. Georgia Tech. (project report) (2008)
10. Fenves S.J. Tabular decision logic for structural design. Journal of Structural Engineering 92 ST6 (1966) 473-490
11. Nyman D.J., Fenves S.J., and Wright R.N. Restructuring study of the AISC specification, Civil Engineering Standards, SRS 393 (1973), Department of Civil Engineering, University of Illinois at Urbana-Champaign, Urbana-Champaign, IL
12. Fenves S.J., and Wright R.N. The representation and use of design specifications. Technical Note 940, NBS, Washington, DC (1977)
13. Jain D., Law K.H., and Karwinkler H. On processing standards with predicate calculus. Proceedings of the Sixth Conference on Computing in Civil Engineering (1989), ASCE, Atlanta, Georgia
14. Rasdorf W.J., and Lakmazaheri S. Logic-based approach for modeling organization of design standards. Journal of Computing in Civil Engineering 4 2 (1990) 102-123
15. Fenves S.J., Wright R.N., Stahl F.I., and Reed K.A. Introduction to SASE: Standards Analysis, Synthesis, and Expression. Report NBSIR 87-3513 U.S (1987), Department of Commerce, National Bureau of Standards
16. Fenves S.J., Garrett J.H., K.H., and Reed K.A. Computer representations of design standards and building codes: U.S. perspective. The International Journal of Construction Information Technology (1995), University of Salford, U.K
17. Kerrigan S., and Law K. Logic-based regulation compliance-assistance. Proceedings of the Ninth International Conference on Artificial Intelligence and Law (ICAIL 2003), Edinburgh, Scotland, UK (June 24-28 2003)
18. Oxel F. Life safety issues in hotel/casino occupancies. Proceedings of the 2nd International Fire Research and Engineering Conference, Center for Fire Research (Spring 1998)
19. Wix J., and Espedokken K. Building code and code checking developments in the UK and Norway (2004), IAI International
20. Garrett Jr. J.H., and Fenves S.J. A knowledge-based standards processor for structural component design. Engineering with Computers 2 2 (1987) 219-238
21. Han C., Kunz J., and Law K. Making automated building code checking a reality. Facility Management Journal (September/October, 1997) 22-28
22. Vassileva S. An approach of constructing integrated client/server framework for operative checking of building code, Construction Information Technology 2000. Taking the Construction Industry into the 21st Century (June 28-30 2000), Reykjavik, Iceland. 9979-9174-3-1
23. Han C., Kunz J., and Law K. Client/server framework for on-line building code checking. Journal on Computing in Civil Engineering, ASCE 12 4 (1998) 181-194
24. Han C., Kunz J., and Law K. Building design services in a distributed architecture. Journal of Computing in Civil Engineering, ASCE 13 1 (1999) 12-22
25. Han C., Kunz J., and Law K. Compliance Analysis for Disabled Access, Advances in Digital Government Technology, Human Factors, and Policy. In: McIver Jr. WilliamJ., and Elmagarmid AhmedK. (Eds) (2002), Kluwer, Boston, MA 149-163
26. Robbin J. Mathematical Logic: A First Course (Dover Books on Mathematics) (2006), Dover Publicaitons
27. Bramer M. Logic Programming with Prolog (2005), Springer, NY
28. Omniclass, OCCS, http://www.omniclass.org.
29. IFD: 2009 International Framework Dictionary, The Construction Specifications Institute, http://www.csinet.org/s_csi/sec.asp?CID=2446&DID=15842.
30. GSA, BIM Guide for Spatial Program Validation-GSA BIM Guide Series 02, http://www.gsa.gov/bim/, 2007.
31. ICC MVD, http://www.blis-project.org/IAI-MVD/.
32. Solihin W. Lessons learned from experience of code-checking implementation in Singapore (2004). http://www.buildingsmart.com/files/u1/ned_20from_20experience_20of_20cod e_checking.pdf http://www.buildingsmart.com/files/u1/ned_20from_20experience_20of_20cod e_checking.pdf
33. M. Kannala, escape route analysis based on building information models: design, and implementation, M.S. thesis of Department of Computer Science and Engineering,Helsinki University of Technology, 2005.
34. Schenk D., et al. EXPRESS Language 1.0 Reference Manual: External Representation of Product Definition Data. ISO TC184/SC4/WG5, Document N14 19 (April 1991)
35. Bazjanac V. Model based cost and energy performance estimation during schematic design, CIB-W78. 22nd Conference on Information Technology in Construction vol. 304 (July 19-21 2005) 677-688
36. SMC: Solibri Model Checker, Solibri, http://www.solibri.com.
37. Plume J., and Mitchell J. Collaborative design using a shared IFC building model-learning from experience. Automation in Construction 16 1 (2007) 28-36
38. Lie Å.K. Use of dRofus in the HITOS project. Project report (2008)
39. Sjøgren J. BuildingSMART-a smart way for implementation of standards, buildingSMART presentation slides, European technical data event (2007)
40. EDM ModelChecker: http://www.epmtech.jotne.com/index.php?id=512200.
41. ISO TC184/SC4, Industrial automation systems and integration-Product data representation and exchange-ISO 10303-11: Description Methods: The EXPRESS Language Reference Manual, ISO Central Secretariat, 1997.
42. ISO TC184/SC4, Industrial automation systems and integration-Product data representation and exchange-ISO 10303-14: Description Methods: The EXPRESS-X Language Reference Manual, ISO Central Secretariat, 1999.
43. EDM: EXPRESS Data Manager, EPM Technology, http://www.epmtech.jotne.com.
44. novaCITYNETS Implementing IFC-Automatic code checking(e-plancheck) Pte, http://www.novacitynets.com.
45. Selvaag Group: http://www.selvaag.no/en/aboutselvaag/Sider/default.aspx.
46. Sjøgren J. Governmental and industry experience in Norway, buildingSMART Norwegian Experiences presentation slides (2005)
47. SINTEF 2009: http://www.sintef.no/Home/About-us/.
48. Open CASCADE S.A.S, Open CASCADE Reference Documentation, http://www.opencascade.org., 2006.
49. Corney J., and Lim T. 3D Modeling with ACIS (2001), Saxe-Coburg Publications. 1-874672-14-8
50. Lindberg K., and M.A.T.L. Development of a new ICT-system for registration and assessment of accessibility to public buildings. Property Management, Statsbygg, BAS Conference (November 17 2006)
51. Norwegian Statsbygg: http://www.statsbygg.no/English/.
52. Eberg E., Heieraas T., Olsen J., Eidissen S.H., Eriksen S., Kristensen K.H., Christoffersen O., Lê M.A.T., and Mohus F. Experiences in development and use of a digital Building Information Model (BIM) according to IFC standards from the building project of Tromsø University College (HITOS) after completed full conceptual design phase. Report by Statsbygg (2006)
53. Nosyko AS's dRofus User Manual, dRofus. http://www.drofus.no.
54. ISO/CD21542, Building construction-Accessibility and usability of built environment, ISO, http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?c snumber=50498.
55. ICC/ANSI A117.1-2003, Accessible and Useable Buildings and Facilities, ANSI, http://webstore.ansi.org/RecordDetail.aspx?sku=ICC%2FANSI+A117.1-2003.
56. Ding L., Drogemuller R., Jupp J., Rosenman M., and Gero J. Automated Code Checking. Clients Driving Innovation International Conference, CRC for Construction Innovation, Australia (2004)
57. IECC, 2003 ICC International Electrical Conservation Code, ICC, 2003.
58. ICC: International Code Council, http://www2.iccsafe.org/io/smartcodes/demo.cfm.
59. AEC3, International Code Council, http://www.aec3.com/5/5_013_ICC.htm.
60. GSA BIM Program: http://www.gsa.gov/bim.
61. GSA, PBS Business Assignment Guide, 2005.
62. ANSI/BOMA Z65.1-1996: Standard Method for Measuring Floor Area in Office Buildings, BOMA: Building Owners and Managers Association International, 1996.
63. U.S. Courts Design Guide, Administrative Office of the U.S. Courts, Space and Facilities Division, http://www.gsa.gov/Portal/gsa/ep/contentView.do?P=PME&contentId=1510 2&contentType=GSA_DOCUMENT, 2007.
64. GSA, BIM Guide for Circulation and Security Validation-GSA Series 06 (draft), 2009.
65. J.-K. Lee, C.M. Eastman, J. Lee, M. Kannala, Computing walking distances within buildings based on the universal circulation Network, Environment and Planning B. in press.
66. NIBS, United States National Building Information Modeling Standard Version 1-Part 1: Overview, Principles, and Methodologies, 2007.
67. Singapore Civil Defense Fire Code 2002 Handbook Volume 5 Chapter 2 Diagram 2.3.5(c) http://www.scdf.gov.sg/Building_Professionals/Publications/fire_code_200 2handbooks.html.
68. L. Ding, R. Drogemuller, M. Rosenman, D. Marchant, J. Gero, Automating code checking for building designs, in: K. Brown, K. Hampson, P. Brandon (Eds.), Clients Driving Construction Innovation: Moving Ideas into Practice, CRC for Construction Innovation, Brisbane, Australia, 2006, pp. 113-126.