Automated code checking

Drogemuller, Robin, Jupp, Julie , Rosenman, Mike A , & Gero, John S (2004) Automated code checking. In CRC for Construction Innovation, Clients Driving Innovation International Conference, 25–27 October 2004, Surfers Paradise, Qld.


Most buildings constructed in Australia must comply with the Building Code of Australia (BCA). Checking for compliance against the BCA is a major task for both designers and building surveyors. This project carries out a prototype research using the EDM Model Checker and the SMC Model Checker for automated design checking against the Building Codes of Australia for use in professional practice. In this project, we develop a means of encoding design requirements and domain specific knowledge for building codes and investigate the flexibility of building models to contain design information. After assessing two implementations of EDM and SMC that check compliance against deemed-to-satisfy provision of building codes relevant to access by people with disabilities, an approach to automated code checking using a shared object-oriented database is established. This project can be applied in other potential areas – including checking a building design for non-compliance of many types of design requirements. Recommendations for future development and use in other potential areas in construction industries are discussed

Impact and interest:

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

Full-text downloads:

407 since deposited on 04 Sep 2009
33 in the past twelve months

Full-text downloads displays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.

ID Code: 27228
Item Type: Conference Paper
Refereed: Yes
Keywords: CRC for Construction Innovation, Program B : Sustainable Built Assets , Project 2004-011-B : Code Checking – Phase 2
Divisions: Past > QUT Faculties & Divisions > Faculty of Built Environment and Engineering
Past > Schools > School of Urban Development
Copyright Owner: Copyright 2004 Icon.Net Pty Ltd
Copyright Statement: The Participants of the CRC for Construction Innovation have delegated authority to the CEO of the CRC to give Participants permission to publish material created by the CRC for Construction Innovation. This delegation is contained in Clause 30 of the Agreement for the Establishment and Operation of the Cooperative Research Centre for Construction Innovation. The CEO of the CRC for Construction Innovation gives permission to the Queensland University of Technology to publish the papers/publications provided in the collection in QUT ePrints provided that the publications are published in full. Icon.Net Pty Ltd retains copyright to the publications. Any other usage is prohibited without the express permission of the CEO of the CRC. The CRC warrants that Icon.Net Pty Ltd holds copyright to all papers/reports/publications produced by the CRC for Construction Innovation.
Deposited On: 04 Sep 2009 04:35
Last Modified: 10 Aug 2011 17:09

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page