This project is a scoping study to assess the capacity of object-based CAD systems to support automated checking of designs for compliance against requirements and to test the comparative strengths and suitability of two different rule checking engines EDM Model Checker and the Solibri Model Checker. The study involves the encoding of sections of the BCA relevant to access by people with disabilities (Section D3) and the deemed-to-satisfy provisions including AS 1428.1.