• 한국CDE학회논문집
• /
• 제21권1호
• /
• pp.31-41
• /
• 2016

Building Information Modeling (BIM) has been adopted in variety domain of construction industry. In this circumstances, interest of BIM model quality has been increased. In many countries, automated building code checking system by Industry Foundation Classes (IFC) has been developed and studied to use web based building permission systems. IFC is international standard of BIM format. However, the data structure of IFC does not include all of objects and properties about national building codes. In this paper, we developed the information specification between IFC data structure and national building code to increase interoperability. First, we drew the criteria from literature review to analyze the building code. And then, we analyzed building code and sorted objects and properties for automated building code checking. After that we made mapping table between the sorted data and IFC specification. Using the mapping table, we developed pre-specification about building codes information that does not exist in IFC specification. And the defined information can be used to develop the BIM modeling guide and national building permission system. The pre-specification support increasing the interoperability between user and automated building code checking system. Increasing thee interoperability makes improvement accuracy and reliability about result of automated building code checking.

• 한국CDE학회논문집
• /
• 제21권3호
• /
• pp.313-324
• /
• 2016

As building information modeling (BIM) is expanding its influence in various fields of architecture, engineering, construction and facility management (AEC-FM) industry, BIM-based automated code compliance checking has become possible prospects. For the automated code compliance checking, requirements in building code need to be processed into explicit representation that enables automated reasoning. This paper aims to develop high-level methods that translate verb phrases into explicit representation. The high-level methods represent conditions, properties, and related actions of the building objects and clarify the core content of the constraints. The authors analyze building permit requirements in Korea Building Code and establish a standardized process of deriving the high-level methods. As a result, 60 kinds of the high-level methods were derived. In addition, method classification, analysis, and application are introduced. This study will contribute to the representation of explicit building code sentences and establishment of the automated building permit system of Korea.

• 한국건설관리학회:학술대회논문집
• /
• 한국건설관리학회 2008년도 정기학술발표대회 논문집
• /
• pp.690-693
• /
• 2008

최근 건축물이 대형화, 복잡화되면서 예기치 못한 상황에 대한 안전성 문제가 이슈화되고 있다. 그러나 초대형 건물의 경우 규모가 커서 수작업으로 방재 및 안전성과 관련한 법규 검토에 시간이 많이 걸리고, 실수가 일어날 가능성도 높다. 이러한 문제로 한 조사에 따르면 건축 및 건설관련자-실무자의 83%가 자동법규검토 시스템이 필요하다고 응답하였다. 본 연구는 기존의 자동법규검토 시스템 및 연구현황을 살펴보고, 기존 BIM기술을 이용하여 국내 방재 및 피난 관련법규를 자동으로 검토하기 위한 시스템개발 가능성을 검토하고자 한다. 이밖에 자동법규검토 시스템의 필요성과 그 기대효과를 분석하고 기존 연구사례를 통해, 국내 적용가능 여부를 검토하고, 지역적 특수성에 대한 문제점, 한계를 논의한다. 또 그러한 문제점들에 대한 해결책과 향후 발전방안을 제시한다. 본 연구에서는 피난관련 법규로 그 범위를 제한하였지만 앞으로 전체적인 법규 자동검토시스템이 구축되기 위해 필요한 노력과 작업에 대해 알아보고 연구해 나가야할 것이다.

• 한국CDE학회논문집
• /
• 제19권3호
• /
• pp.224-235
• /
• 2014

Recently, Productivity of the construction industry has been decreasing than other industries. Because of this, BIM is being spread in the construction industry. However, quality criteria for BIM data is insufficient. Regulation information is an important factor for initial architectural design evaluations. However, building code and related regulation are numerous. National building code structure in Korea is much more complex than other countries. The purpose of this study is to suggest the typology method of building code and apply to real regulations. To achieve this purpose, the authors have extracted required information to from original regulation for code checking and suggested mapping methods between extracted information and information of IFC scheme. In addition, the authors have represented EXPRESS-G diagram for extracting information from IFC scheme and suggested code checking method through stair case. Output of this study can be used as a base line data for automated code checking system based on open BIM. Automated code checking system will be utilized in architectural design evaluations and supported to increase design quality. It can be used to mount in SEUMTER that is the construction administration system of Ministry of Land, Infrastructure and Transport (MOLIT).

• 한국CDE학회논문집
• /
• 제21권3호
• /
• pp.325-333
• /
• 2016

This paper aims to classify objects and their properties represented in Korea Building Act sentences for applying to BIM-enabled automated code compliance checking task. In order to conduct automated code compliance checking, it is necessary to develop translation process of converting the building act sentences into computer-executable forms. However, since Korea building act sentences are written in natural language, some of requirements are ambiguous to translate explicitly. In this regard, the building act sentences regarding building permit requirements are analyzed focusing on the regulation-specific objects and related properties representation from noun phrases within the scope of this paper. From 1977 building act sentences and attached reference regulations, 1200 regulation-specific objects and about 220 related properties are extracted and classified. In the application for the classification, object-property database is implemented and some of application using the database and the regulation-specific classification is suggested to support to generate rule set written in computable codes.

• 한국CDE학회논문집
• /
• 제18권2호
• /
• pp.83-92
• /
• 2013

IFC based open BIM has internationally developed as a solution for interoperability problem among different software applications. Despite much interest and effort, the open BIM technologies are rarely introduced to the construction industry and need more technical development for a practical application as well. This research aims to develop automated code checking modules for quality assurance process of BIM data. The research have analyzed domestic regulations focusing on super-tall buildings and developed open BIM-based code checking modules for the evacuation regulations. The modules are able to validate evacuation regulations such as installation of emergency elevator and fire safety zone. The authors expect to improve the process of BIM quality assurance and enhance the quality of BIM data by this research on automated checking system.

• 국제학술발표논문집
• /
• The 3th International Conference on Construction Engineering and Project Management
• /
• pp.316-322
• /
• 2009

The more repetitive, complex and objective the work, the more effective automation is. Code checking is an example of this. Checking building codes through a thick set of drawings is error-prone and time-consuming. In order to overcome this problem, several organizations have initiated efforts to automate building-code checking. Initiated study mainly focused on checking codes for invalidation, required size and crash, and then area of checkable codes have been expanding. But, it has not been considered for codes regarding anti-disaster/egress, which is also issued these days. This study is about how to automatically check codes for anti-disaster and egress based on Korea building codes. The codes can be categorized as five sections: egress way, material/capability, principals of evacuation, evacuation stairway and fire protection partition. To check automatically, there are problems, such as expression of codes for egress and limitation of extractable information from the BIM model. This paper shows what problems exist and assignments to be resolved. Also, current developing processes are presented, and suggestions are made about the direction for the work that remains.

• 한국CDE학회논문집
• /
• 제22권2호
• /
• pp.118-128
• /
• 2017

Many countries have been developing BIM-based building code checking system and studies in the utilization of Industry Foundation Classes (IFC) in building code checking. IFC is the open standard of BIM format. Currently, there is a disadvantage that could not include all of the attribute for the regulations of each country and there is the problem with the interoperability of the different defined IFC approach between BIM software. This study focus on developing, derived object and property by comparing through domestic regulation and IFC2x3 specification provided by the buildingSMART and classified review type depending on the interoperability of derived information. According to classified review type, the IFC data structure was established and property mapping contents were developed by including BIM software compatible information and creating a type of review plan. When the developed property mapping contents are applied into BIM-based building code checking system, checking of the BIM data generated from various fields is made effective and thus improving the interoperability of information.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.

• 디자인융복합연구
• /
• 제15권6호
• /
• pp.73-92
• /
• 2016

건축물 설계품질 및 생산성을 향상시키기 위한 다양한 BIM기반 실증적 연구 개발이 진행중이며, 인허가단계 전후로 건축법규 자동검토에 관한 연구 및 개발도 그 중 하나이다. 해당 연구 개발의 성과물 중 하나로써, 건축물 설계 적법성 자동검토를 위해 자연어로 기술된 건축법을 컴퓨터에서 실행 가능한 룰셋(KBimCode)으로 변환하는 메커니즘(KBimLogic)이 개발되었다. KBimCode는 표준성 및 중립성을 지향하며, 한국 건축법뿐만 아니라 타 국가의 건축법규나 설계지침서, 제안 요청서 등 다양한 설계 요구사항으로의 확대 적용이 가능하도록 개발되었다. 본 연구는 KBimCode를 타 국가 건축 법규로 확대 적용하여 그 표준성과 중립성 및 응용가능성을 검증하는것을 목적으로 한다. 이를 위하여 중국의 피난방화에 관한 건축법규를 대상으로, KBimCode 생성 메커니즘의 핵심인 논리규칙체계화의 세 가지 구성요소(객체속성, 함수, 문장 내외 관계)에 따라 구체적인 분석을 진행하였다. 그 결과, 다양한 중국 건축법규 문장을 KBimCode로 변환할 수 있었으며, 변환의 과정 중 다음을 도출할 수 있었다: 1) 건물 객체 및 그에 따른 속성에 대한 정의는 각 국가마다 상이하므로, 이를 고려한 객체 정의 및 속성 처리 방법이 필요하며, 2) 일부 문장은 서술부 및 문장 관계를 처리하기 위하여 새로운 함수 및 관계 유형 정의가 필요하며, 이는 KBimCode의 표준화된 함수 및 관계 유형 도출 규칙 안에서 확장 가능하다. 본 연구를 통해 전혀 새로운 대상의 변환과정에서의 문제점 등을 해결하는 과정을 통해 KBimCode의 가능성을 일부 검증하였으며, 다양한 대상 확대를 통해 표준적이고 국제적인 응용이 기대된다.