Automated code checking

Jupp, Julie and Rosenman, Mike A. and Gero, John. S (2004) Automated code checking. [Conference Paper]


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.

Additional Information

Item Type: Conference Paper
Collection: CRC for Construction Innovation
Keywords: CRC for Construction Innovation; Program B : Sustainable Built Assets; Project 2001-014-B : Automated Code Checker
Date Deposited: 11 Mar 2014 03:17
Last Modified: 11 Mar 2014 03:20
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.
Admin: item control page [repository staff only]