• Korean Journal of Computational Design and Engineering
• /
• v.9 no.4
• /
• pp.315-324
• /
• 2004

The purpose of this study is to suggest the way of automatic building code checking for architectural drawings in the web environment to enhance the utility of CALS/EC standard drawings and efficiency of construction industry business. To fulfil this aim, the authors seek to standardize the architectural drawing automatic checking system by linked drawing information to the STEP based CALS/EC standard format. Therefore, the automatic building code checking system can represent a way of utilizing the relationship between the construction CALS/EC standard drawings and the related study as well as improve the efficient of the construction work by sharing a variety of drawing information.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.7 no.3
• /
• pp.420-430
• /
• 2006

This research aims at implementing an automation-based building code checking system which will be employed for Architectural Registration Examination. By creating a specific building data model and implementing an automatic building code checking module, the research aims is accomplished. The contribution of this research are as follows; it becomes possible to execute a systematic building code checking. And unlike the existing automatic building code checking systems, it successfully addresses a way of increasing the number of checklist without modifying the system.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.633-636
• /
• 2017

This paper presents a cloud service called CDLint for checking and analyzing the Javascript code dynamically. The correctness of Javascript code is becoming more important since it can also run on the server side as well as the client side. There are several analysis systems for checking the bad code in JavaScript but they seem like have one or more weaknesses. CDLint is developed based on an existing work named DLint which is a powerful bad JavaScript checker. Compared with similar systems, CDLint shows the best performances with respect to the system extensibility, the freedom to use without installation, the automatic parsing of JavaScript code from website, and the environment configuration for JavaScript code checking.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• 2008.11a
• /
• pp.690-693
• /
• 2008

Recently, the trend has been for buildings to become larger and more sophisticated, and this has created safety issues. Because the buildings are big it takes lots of time to check building codes related to anti-disaster and safety manually, and there is the high possibility of making mistakes. Due to these problems, according to a study, 83% of architecture and construction workers believe that an automated code-checking system is needed. This study researches past automated code checking systems and research activity, and using Building Information Model (BIM) technology, determines the feasibility of developing a system to automatically check domestic codes related to egress and anti-disaster. This paper describes the necessity of an automated building code checking system and expected effects. It then reports whether the methods used in previous studies can be deployed in domestic building code checking and discusses problems and limitations. It also suggests an alternative approach. Although this study covers limited codes related to egress, we need to find out what is needed for automatic general code checking system and do further studies for that.

• The Journal of Korea Robotics Society
• /
• v.6 no.1
• /
• pp.49-57
• /
• 2011

In many industries, the accurate and quick checking of goods in storage is of great importance. Most today's inventory checking is based on bar code scanning, but the relative position between a bar code and an optical scanner should be maintained in close distance and proper angle for the successful scanning. This requirement makes it difficult to fully automate the inventory information/control systems. The use of RFID technology can be a solution for overcoming this problem. The mobile robot presented in this paper is equipped with an RFID tag scanning system, that automates the otherwise manual or semi-automatic inventory checking process. We designed the robot system in a quite practical approach, and the developed system is close to the commercialization stage. In our experiments, the robot could collect information of goods stacked on shelves autonomously without any failure and maintain corresponding database while it navigated predefined paths between the shelves using vision.

• Korean Journal of Construction Engineering and Management
• /
• v.13 no.6
• /
• pp.143-152
• /
• 2012

As the Public Procurement Service announced the compulsory of BIM adaption in every public construction from 2016, the importance of BIM is increasing. Besides, automatic code checking takes significance in terms of the quality control for BIM based design. In this study, rule-sets were defined for Act on the Promotion and Guarantee of Access for the Disabled, the Aged, and Pregnant Women to Facilities and Information. Three analytic steps were suggested to shortlist the objective clauses from the entire code; the frequency analysis using project reviews for architectural code compliance, the clause analysis on quantifiability, and the analysis for model checking possibilities. The shortlisted clauses were transformed into the machine readable rule-set definition. A case study was conducted to verify the adaptiveness and consistency of rule-set definitions. In future study, it is required the methodologies of selecting objective clauses to be specified and its indicators to be quantified. Also case studies should be performed to determine the pre-conditions in modeling and to check interoperability issues and other possible errors in models.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2001.11a
• /
• pp.453-458
• /
• 2001

악의의 침입자로부터 시스템을 보호하기 위한 첫 번째 단계는 시스템의 취약점을 분석하는 일이다. 기존의 시스템 취약점 분석 방법은 주로 네트워크 기반 취약점 점검 도구에 의존해 왔다. 하지만, 네트워크 기반 취약점 점검 도구는 대상 시스템의 제한된 정보만을 이용하여 취약점을 점검하기 때문에 시스템의 모든 취약점에 대한 검사가 불가능하다는 단점이 있다. 호스트 기반 취약점 점검 도구를 사용하면 시스템 내부의 모든 정보를 이용할 수 있지만, 시스템의 OS 종류나 버전에 따라 각기 다른 호스트 기반 취약점 점검 도구를 개발해야 한다는 단점이 있다. 또한, 호스트 기반 취약점 점검 도구들은 많은 호스트들을 동시에 점검하기 힘들다는 점이 문제로 지적되고 있다. 본 논문에서는 호스트 기반 취약점 점검 도구를 에이전트로 구현하여 대상 시스템에 설치하고, 하나의 관리 프로그램에서 여러 에이전트들을 관리함으로써 동시에 많은 호스트의 취약점들을 관리할 수 있는 모델인 ISMAEL을 제시한다. 또한 ISMAEL은 OS에 맞는 여러 호스트 기반 취약점 점검 도구들을 개발해야 하는 문제를 해결하기 위해 OS에 독립인 부분만을 뽑아내고, 그 외 OS에 종속된 부분은 Library 형태로 제공하여, OS에 독립인 부분에서 이 Library를 참조하여 특정 취약점 점검 코드를 자동 생성하고 이를 실행하여 취약성 여부를 판단할 수 있는 구조를 채택하고 있다.

• ETRI Journal
• /
• v.18 no.4
• /
• pp.265-286
• /
• 1997

This paper presents a new software development environment that supports an integrated methodology for covering all phases of software development and gives integrated methods with tools for ITUT (Telecommunication Standardization Section of the International Telecommunication Union) languages. The design of the environment to improve software productivity and quality is based on five main concepts: 1) formal specifications based on SDL (Specification and Description Language) and MSC (Message Sequence Charts) in the design phase, 2) verification and validation of those designs by tools, 3) automatic code generation and a safe separate compilation scheme based on CHILL (CCITT High-Level Language) to facilitate programming-in-the-many and programming-in-the-large. 4) debugging of distributed real-time concurrent CHILL programs, and 5) simulation of application software for integrated testing on the host machine based on CHILL. The application results of the environment compared with other approaches show that the productivity is increased by 19 % because of decreasing implementation and testing cost, and the quality is increased by 83 % because of the formal specifications with its static and dynamic checking facilities.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.44 no.3
• /
• pp.1-7
• /
• 2007

RFID ( Radio Frequency IDentification ) is an automatic realization technology that recognizes things or a person with data stored tag, card, label, etc that have microchip by using radio frequency. Automation and efficient data base management(DBM) of system are possible by replaces using Bar-code that is used widely with using RFID. In this paper, we designed RFID tag data format that used to recognize information of books in Library and implemented library management system. Library management system is divided checking collection of books, self-loaning books system, self-returning books system, management books information system for a librarian. RFID leader realized information of tag and transfer it to host computer through RS-232 interface. Host computer processes and operates information with middleware. System that we made is depending on executive system for a librarian.

• Journal of the Korea Convergence Society
• /
• v.10 no.12
• /
• pp.53-61
• /
• 2019

The risk of project failure has increased recently as ERP systems have been transformed into Web environments and task complexity has increased. Although low-code platform development tools are being used as a way to solve this problem, limitations exist as they are centered on UI. To overcome this, back-end development tools are required that can be developed quickly and easily, not only from the front development but also from a variety of development sources produced from the ERP development process, including back-end business services. In addition, the development tools included within existing ERP products require a lot of learning time from the perspective of beginner and intermediate developers due to high entry barriers. To address these shortcomings, this paper seeks to study ways to overcome the limitations of existing development tools within the ERP by providing customized development tool functions by enhancing the usability of ERP development tools suitable for each developer's skills and roles based on the requirements required by ERP development tools, such as reducing the time required for querying, automatic binding of data for testing for service-based units, and checking of source code quality.