Automated Code Checking [Drogemuller,CSIRO] 2001-014-B

2001-014-B

•

CRCci

•

2001

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...

Overview

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.

Automated code checking: design for access and mobility (Refereed conference paper)

DesignCheck (brochure)

Note the final research report is confidential and not available

Research Team

Project Leader

Robin Drogemuller

CSIRO

Participants

David Marchant

Woods Bagot

Participants

Brian Ashe

ABCB

Participants

Roger Frith

Building Commission (Victoria)

Participants

Lan Ding

CSIRO

Participants

John Gero, Julie Jupp, Mike Rosenman

University of Sydney

Participants

Melissa James

Central Node

Project Details

Project Title

Automated Code Checking [Drogemuller,CSIRO] 2001-014-B

Project Number

2001-014-B

Type

CRCci

Date

2001