• Title/Summary/Keyword: Automation program

Search Result 404, Processing Time 0.036 seconds

Formal Verification of PLC Program Safety in Manufacturing Automation System (생산자동화시스템 PLC 제어프로그램의 안전성 정형검증에 관한 연구)

  • Park, Chang Mok
    • Journal of the Korea Safety Management & Science
    • /
    • v.17 no.1
    • /
    • pp.179-192
    • /
    • 2015
  • In an automated industry PLC plays a central role to control the automation system. Therefore, fault free operation of PLC controlled automation system is essential in order to maximize a firm's productivity. A prior test of control system is a practical way to check fault operations, but it is a time consuming job and can not check all possible fault operation. A formal verification of PLC program could be a best way to check all possible fault situation. Tracing the history of the study on formal verification, we found three problems, the first is that a formal representation of PLC control system is incomplete, the second is a state explosion problem and the third is that the verification result is difficult to use for the correction of control program. In this paper, we propose a transformation method to reproduce the control system correctly in formal model and efficient procedure to verify and correct the control program using verification result. To demonstrate the proposed method, we provided a suitable case study of an automation system.

Development of Automation Program Module for OLP based Industrial Robot Simulation (OLP 기반 산업용 로봇 시뮬레이션을 위한 자동화 프로그램 모듈 개발)

  • Lee, Soo-Jun;Lee, Se-Han;Park, Jong-Keun
    • Transactions of the Korean Society of Machine Tool Engineers
    • /
    • v.18 no.1
    • /
    • pp.13-21
    • /
    • 2009
  • Interactive Graphic Robotics Integrated Programming(IGRIP) can handle various types of robot models and can exchange graphic or numerical data easily with other CAD software. In a cutting process of shape-steels, however. IGRIP is inconvenient because the users must generate all the tag points manually. In this study we developed an automation program module in order to generate the tag points automatically in IGRIP This program can read and analyze the macro data containing the information for cutting processes of shape-steels and can generate automatically the parts, the devices, the tag points and the Graphic Simulation Language(GSL) program files useful in IGRIP.

Optimum and Automation Design of Reinforced Concrete box Culvert (철근콘크리트 박스형 암거의 최적 및 자동화 설계)

  • 김종옥;김한중
    • Proceedings of the Korean Society of Agricultural Engineers Conference
    • /
    • 1999.10c
    • /
    • pp.212-218
    • /
    • 1999
  • In this study , Computer programs for the optimum and automation desgin of reinforced concrete box culvert were developed. It was shown that even though the strarting points and optimization method are different the objective function and optimum design variables converge to a value within a close range respectively, and consequently the optimum design program developed in the study is reliable and stron. 3D-design drawing can be drawn using automation desgin computer program developed in this study.

  • PDF

A Study on Requirements for the Automation of Standardized Rebar Shop Drawing (표준화된 철근배근도 작성 자동화를 위한 필요 사항에 관한 연구)

  • Kang, Pyeong-Doo;Ye, Sang-Min;Park, Kwang-Seob;Kim, Yun-Tae
    • Journal of Korean Association for Spatial Structures
    • /
    • v.13 no.1
    • /
    • pp.105-112
    • /
    • 2013
  • An automation of standardized rebar shop drawing is necessary for easy application by improving workability, prompt preparation to field change request and easy revisions of shop drawing. Through investigating problem of current rebar shop drawing, we found that standardization of reinforcing detail, standardization of rebar expression and automation of rebar shop drawing program for the sake of designer is needed. We will investigate disagreement of reinforcing detail between building code and how worker build structure for standardization of reinforcing detail, demands of companies participated in rebar process for standardization of rebar expression and proper algorithm with selectable level of inputting data for automation of rebar shop drawing program for the sake of designer.

A Study on the Assessment of Program Outcomes Based on Capstone Design Course (캡스톤디자인 교과목 기반의 프로그램 학습성과 평가 연구)

  • Lee, Hee-Won;Kim, Sung-Hwan;Park, Keun;Kim, Jung-Yup
    • Journal of Engineering Education Research
    • /
    • v.13 no.6
    • /
    • pp.143-151
    • /
    • 2010
  • This paper presents a case study on the assessment of program outcomes using the capstone design course based on 16-year management experience and improvements of the school of mechanical design and automation engineering in the seoul national university of science and technology. First, the program outcomes related with the capstone design course are introduced, and the assessment methods and items are described. Based on them, the assessment results in 2008 were obtained and a strategy to improve the results were built after analyzation. As for the strategy, we revealed the assessment items and good examples in an internet web site in advance. As a result, we were able to obtain about 3.3% improved assessment results in 2009. Finally, the validity, efficiency, internal stability, and sustainability of the assessment of the program outcomes using the capstone design course are addressed in terms of a notion of the course-embedded assessment.

  • PDF

Prototype design of a central control system for KODAS

  • Kim, K.H.;Kim, W.T.;Lee, J.D.;Nam, K.Y.;Seo, J.I.;Ko, H.J.;Lee, J.K.;Kim, H.Y.;Yun, T.Y.
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 1993.10b
    • /
    • pp.288-292
    • /
    • 1993
  • This paper summerizes a prototype central control system of distribution automation system, which is a result of project carried out by KERI and 6 companies. Of the many possible systems, feeder automation oriented system is described. Control hardware system is composed of one super-mini and 2 workstations. Two kinds of commercial softwares, DBMS and graphic tools, are adopted. Three component system of the hardware has its own role, host system for DB managent, F.A. program running, communication scheduling, and etc., two workstations for communication node and graphic interface node. System management program, feeder automation program including load forcasting, communication scheduling and supervisory contorl functions are developed on the basis of above hardware and properly designed protocol, communication system and terminals.

  • PDF

NC데이타와 Off-Line Program을 이용한 연마 로봇 시스템 개발

  • 오영섭;유범상;양균의
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 1997.04a
    • /
    • pp.692-697
    • /
    • 1997
  • This paper presents a method of grinding and polishing automation of precision die after CNC machining. The method employs a robot system equipped with a pneumatic spindle and a special abrasive film pad. The robote program is automatically generated off-line from a PC and downloaded to robot controller. Position and orientation data for the program is supplied from cutter contact (CC) data of NC machining process. This eliminates separate robot teaching process. This paper aims at practical automation of die finishing process which is very time consuming and suffering from shortage of workpeople. Time loss for changeover from one product to next is eliminated by off-line programming exploiting appropriate NC machining data. Dextrous 6-axis robot with rigid wrist and simple tooling enables the process applicable to larger, rather complex 3 dimensional free surfaces

  • PDF

Development of Open Water Management Program(OWMP) for Water Management Automation System with Open Architecture (물관리자동화시스템을 위한 개방형 운영 프로그램 개발)

  • 김선주;김필식;윤찬영;박재홍
    • Magazine of the Korean Society of Agricultural Engineers
    • /
    • v.43 no.5
    • /
    • pp.83-92
    • /
    • 2001
  • As a result of the recent water resources crisis, development of water management automation system becomes important. This system should be developed with open architecture in order to flexibly meet the spacial and time change of irrigation water demand. Thereby, water management automation system requires open architecture and suitable software program. This study presents an application of object-oriented methodology for Open Water Management Program(OWMP). Accordingly, OWMP provides a high degree of reliability which allows modification of parameters by change of region or time to be possible. OWMP consists of Data Base Management System(DBMS) and Model System. DBMS makes it possible to analyze data related with planning water schedule and establishing database. Model System calculates reservoir inflow, reservoir effluent and basin water demand. An operator decides the reservoir operation with results of Model System and DBMS. OWMP could be adapted to the planning and decision for saving water.

  • PDF

Development target of intelligent DAS with the function of distribution transformer monitoring (배전변압기 감시제어 기능이 통합된 지능형 배전자동화 시스템 개발 방향)

  • Ha, Bok-Nam;Seol, Lee-Ho;Park, Shin-Yeol;Jeong, Yeong-Beom
    • Proceedings of the KIEE Conference
    • /
    • 2005.07a
    • /
    • pp.554-556
    • /
    • 2005
  • Distribution Automation System (DAS) will provide supervision and remote control of switches and reclosers such as pole pounted switches and pad-mounted switchgears on high voltage distribution line. Kepco had developed basic function such as remote monitoring, remote control, remote measuring and remote setting at first. As a next step, Kepco has been developed diverse application programs such as single line diagram drawing program, relay coordination program, feeder reconfiguration program, over load elimination program, bad data detection program, section load management program, fault processing program and so on. Kepco is examining to develop more powerful functions for special specification of foreign distribution automation system. This paper explains what is the target for overseas DAS market.

  • PDF

GUI-based Black Box Test Automation Program Tool in Windows Environment (윈도우 환경에서의 GUI 기반 블랙박스 테스트 자동화 프로그램 도구)

  • Jeong, Beomjin;Lee, Jungwoo;Hong, Changwan;An, Beongku
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.18 no.2
    • /
    • pp.163-168
    • /
    • 2018
  • In this paper, we propose and develop a test automation program tool that automates GUI based testing using black box testing technique in Windows environment. The main features of the proposed test automation program tool are as follows. First, an error condition is designated as an image, a screen is captured for each test step, and an error message is detected through comparison of image similarity. Second, the proposed system supports various setting options such as event waiting time during execution and coordinate increment value between each test step. Such black box test automation research was common in environments such as Android and Web, but not in Windows environment. The results of performance evaluation show that the proposed system performs GUI test automation as an image comparison module and confirms that the test is performed normally by confirming process status and error image detection.