• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.05a
• /
• pp.715-719
• /
• 2001

컴퓨터의 발달로 산업현장은 많은 부분이 자동화되고 있다. 자동화를 위해서 고려되어야 할 사항 중 하나가 입출력 디바이스 제어이다. 산업현장을 자동화하기 위해서 관련 프로그램 등이 필요하지만 이들 프로그램과 입출력 디바이스는 매우 종속적이다. 이에 본 연구에서는 COM을 이용하여 입출력 디바이스를 제어하고자 한다. 입출력 작업에 사용되는 범용 디바이스와 이를 컨트롤 할 수 있는 디바이스 드라이버를 개발하고, COM을 이용한 공장 자동화 프로그램을 개발하여 일반 사용자가 쉽게 그 기능을 사용할 뿐만 아니라 이들 프로그램을 재사용 할 수 있게 하였다.

• Computational Structural Engineering
• /
• v.10 no.2
• /
• pp.51-55
• /
• 1997

미래의 구조공학 자동화시스템은 Windows NT 운영체제의 저가의 데스크탑 컴퓨터에서 작동하며 객체지행적 CAD를 사용할 것이다. 모든 구조공학 관련 프로그램들은 객체지향 프로그램기법과 병렬처리기술로 재개발될 것이다. 구조공학 관련 소프트웨어프로그램의 통하븐 Microsoft사의 Objected Linking and Embedding(OLe)자동화 기술과 강력한 다중처리, 그리고 Windows NT의 다중연결 서버 기능에 의하여 이루어진다. 이 논문에서는 먼저 Windows NT의 다중연결 서버 기능에 의하여 이루어진다. 이 논문에서는 먼저 Windows NT 운영체제의 데스크탑 컴퓨터에서 구조공학 자동화시스템의 응용현황을 설명하고 미래의 구조공학 자동화 소프트웨어의 개발경향과 전략에 대해 논하게 될 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.703-705
• /
• 2002

본 논문에서는 홈 자동화 네트워크의 대표적으로 자리잡고 있는 론웍스(Lonworks) 시스템의 하드웨어 플랫폼인 뉴론칩(Neuron) 기반의 노드를 대신하는 새로운 구조를 갖는 홈 자동화 제어기를 제안한다. 기존의 론웍스 해답(Solution)은 8비트 프로세서인 뉴론칩을 모든 노드들이 중앙처리장치로 사용하므로 고성능의 처리를 필요로 하는 응용 프로그램은 구현할 수 없었다. 또한 뉴런C(Neuron C) 언어를 사용하여 응용 프로그램을 개발하므로 C 언어에서 파생된 언어인 뉴런C 언어를 새롭게 배워야 하는 번거로운 점을 가지고 있으며, 뉴런C 컴파일러(Compiler)를 비롯한 LonMaker 등의 고가의 개발 장비를 구비해야 하므로 개발자로 하여금 개발비용에 대한 부담이 컸다. 이에 본 논문에서는 처리능력이 뛰어나며 저전력 특성을 갖춘 스트롱암(SA1110)칩을 메인 프로세서로 사용한 홈 자동화 제어기인 ECONICS를 개발했다. 이 ECONICS는 홈 제어 네트워크를 구성하기 위해 통신 하드웨어 및 ANSI 표준 프로토콜인 EIA709.1 통신 프로토콜 스택을 가지고 있다. 제안된 홈 자동화 제어기를 통하여 기존의 론웍스 노드에서 구현하기 힘든 다양하고 복잡한 응용프로그램을 구현할 수 있게 되었고, 제안된 홈 자동화 제어기의 상업적 유용성을 증명하기 위해 기존의 론웍스 노드들과의 호환성을 확인하였으며 개발자로 하여금 기존의 C 언어를 통하여 응용프로그램을 개발하게 함으로써 추후 홈 자동화 제어기로써 파급효과가 클 것이다.

• Smart Media Journal
• /
• v.7 no.1
• /
• pp.37-44
• /
• 2018

Utilizing sequence control and numerical computing, embedded devices are used in a variety of automated systems, including those at industrial sites, in accordance with their control program. Since embedded devices are used as a control system in corporate industrial complexes, nuclear power plants and public transport infrastructure nowadays, deliberate attacks on them can cause significant economic and social damages. Most attacks aimed at embedded devices are data-coded, code-modulated, and control-programmed. The control programs for industry-automated embedded devices are designed to represent circuit structures, unlike common programming languages, and most industrial automation control programs are designed with a graphical language, LAD, which is difficult to process static analysis. Because of these characteristics, the vulnerability analysis and security related studies for industry automation control programs have only progressed up to the formal verification, real-time monitoring levels. Furthermore, the static analysis of industrial automation control programs, which can detect vulnerabilities in advance and prepare for attacks, stays poorly researched. Therefore, this study suggests a method to present a discussion on an industry automation control program designed to represent the circuit structure to increase the efficiency of static analysis of embedded industrial automation programs. It also proposes a medium term translation technology exploiting LLVM IR to comprehensively analyze the industrial automation control programs of various manufacturers. By using LLVM IR, it is possible to perform integrated analysis on dynamic analysis. In this study, a prototype program that converts to a logical expression type of medium language was developed with regards to the S company's control program in order to verify our method.

• KLA journal
• /
• v.21 no.3
• /
• pp.26-29
• /
• 1980

1962년 Lockheed Georgia사의 기술정보실이 자동화하기 시작했을 때, 그 자동화 시스팀을 프로그램화 하기 위해 상당한 심사숙고를 한 끝에 준비 작업에 들어가게 되었다. 물론 이 시스팀이 모든 요구조건을 다 채워 줄 수 없으리라는 것을 알고 있었지만 당시로서는 가장 훌륭한 자동화 프로그램을 개발했다고 생각했었다. 현재 그 시스팀은 자동화 계획의 네번째 단계에 와 있는데 더 진전시키지 못한 이유는 기계화된 시스팀을 이용하는 과정에서 많은 문제점들이 발견되었기 때문으로 설사 자동화가 시작되었다 해도 이러한 문제점들을 피할 수 있을지는 아직 의문이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.1559-1562
• /
• 2011

GUI 테스트 자동화에 대한 연구들이 많이 진행되고 있다. GUI 테스트 하는 방법에 따라 테스트 자동화(Automated Test)와 회귀테스트(Regression Test)가 있는데, 우리는 회귀테스트로 GUI 테스트를 자동화 하려 한다. GUI 자동화 테스트를 위해 시험자동화프로그램으로 테스트 케이스를 시험절차에 따라 생성하고 Dynamic linking library(이하 DLL)의 공유변수마다 GUI 컨포넌트를 정의하여 점검프로그램의 GUI 컴포넌트를 컨트롤 한다. 점검프로그램에서는 DLL 공유변수를 감시하여 해당 GUI 컴포넌트가 On 상태가 되면 기능이 실행되게 구현하였다. 기존의 연구들과 비교하여 최소한의 소스코드 변경과 특정한 툴에 치우치지 않고 통합되어 작동되는 것이 장점이다.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.142-144
• /
• 2008

한국전력공사(이하 한전)에서는 배전계통의 최적운영을 위하여 계통운영에 필요한 기술을 발굴하여 축적하는데 많은 노력을 기울여 왔으며, 계통운영의 핵심 툴인 배전자동화 시스템을 통하여 관련기술을 축적해오고 있다. 우리나라처럼 배전자동화 시스템을 전력회사에서 자체적으로 개발하여 활용하는 사례는 전 세계적으로 유일하며, 이를 기반으로 해외 전력시장에 배전자동화 시스템을 수출하기 위하여 활발한 활동을 지속적으로 추진되고 있다. 배전자동화 시스템을 이용하면 원격으로 현장에 있는 배전자동화기기를 감시, 제어, 조작, 정정이 가능한 기본기능이 구현가능하고, 각종 계통운영에 필요한 기술계산, 즉 전압강하계산, 보호협조검토, 표준조작지시서(SOP)의 생성, 상시개방점 위치조정으로 손실최소화, 분산전원 연계계통 기술검토의 자동처리가 가능해진다. 기술계산프로그램은 최초 개발 당시인 2002년에는 배전자동화시스템 주장치가 설치된 장소인 온라인 상태에서만 사용이 가능하여 사용상 제약을 가지고 있었으나, 이를 개선하고자 2006년 10월 배전자동화기반 오프라인형 기술계산프로그램을 개발하였고 이를 지속적으로 업그레이드를 추진하여 활용해오고 있다. 배전자동화기반 오프라인형 기술계산프로그램은 배전자동화주장치에서 데이터를 추출하여 배전자동화주장치가 아닌 일반PC나 노트북에서도 배전자동화시스템에 내장된 배전계통 정보 즉, 선로길이 및 전력선 제원 등을 직접 이용하므로 각종 기술계산을 신속하고 정확하게 수행하는 것이 가능하게 되었다. 따라서 이를 지속적으로 활용하고 성능개선을 추진하여 배전계통 운영시 신뢰도 제고에 크게 기여할 것으로 기대되고 있다.

• Proceedings of the KAIS Fall Conference
• /
• 2002.05a
• /
• pp.230-233
• /
• 2002

사무자동화 시스템 연구 대상인 (주)현대 자동차 홍성 정비 센터는 1급 정비센터로 지역 제일의 정비업체로서 일괄 정비 체계와 경쟁력 있는 기술력을 갖추고 있지만 늘어나는 업무량에 비해 체계적인 사무자동화 시스템이 운영되고 있지 못하여 업무효율이 떨어지고 있다. 현재 사용되고 있는 시스템은 각 부서의 업무에 따라 다른 프로그램을 사용하여 업무처리에 비효율적이므로 고객에 대한 질 높은 서비스 제공과 사무처리의 효율성을 높이기 위해 시스템 개선이 요구되고 있다 따라서, 본 논문에서는 부품의 관리와 고객서비스, 사무관리 등 정비센터 관리 전반에 걸친 통합관리에 의한 보다 효율적인 사무 자동화 프로그램을 개발하였다. 개발된 프로그램은 업무의 전산화로 정확성과 효율을 극대화시켰으며, 실시간 부품 현황 파악, 사원들의 업무량을 파악 및 통계 냄으로써 인사고가 및 포상의 자료로 활용할 수 있도록 하였으며 고객에 대한 질 높은 서비스 제공 및 정확한 업무처리로 고객의 신뢰도 향상 둥의 사무처리 효과를 가져 올 수 있도록 하였다.

• Proceedings of the KIEE Conference
• /
• 2005.11c
• /
• pp.8-13
• /
• 2005

공장(정)자동화에 대한 산업현장의 요구가 증대되고 다양한 자동제어 기술이 발전, 적용되면서 이 분야에 대한 중요도는 날로 커져가고 있다. 산업설비 및 공정 자동화에 가장 널리 적용되고 있고 중추적인 역할을 수행하고 있는 제어기가 바로 프로그래머블 논리 제어장치, PLC이다. 그러나 PLC 프로그램을 작성하여 실제로 기계나 설비에 적용하기 위해서는 PLC 프로그램의 논리적인 오류 등을 검사하고 수정하는 등의 작업이 필요한데 자동화 시스템에서 이를 직접 적용하기에는 많은 위험부담과 비용부담이 뒤따른다. 한편, 눈부신 발전을 거듭한 PLC 제어 기술에 데한 전문지식을 보유한 인력에 대한 산업현장의 요구는 꾸준히 지속되고 있는 추세이나 지금까지 교육기관에서 실시되고 있는 PLC 제어기술에 관련된 교육은 해당 시스템에 대한 거시적 이해 위주의 이론교육 형태로 실시되어 왔다. 이러한 산업적 측면과 교육적 측면의 문제점을 해결하고 자동화, 자동제어 교육에 대한 학생들의 흥미와 실무능력 향상을 위하여 본 논문에서는 현장에서 활용되고 있는 기기와 시스템을 모의할 수 있는 자동화 설비의 가상 플랜트 시뮬레이터와 PLC 프로그램을 편집하고 모니터할 수 있는 도구를 개발하여 종합적이고 현장감 있는 교육을 가능하게 하는 방법을 제안하였다.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.199.2-199.2
• /
• 2012

인공위성 개발과정에서 인공위성 개발을 지원하는 다양한 프로그램 개발이 요구되는데, 이러한 프로그램의 마지막 개발 단계는 프로그램 검증 단계가 된다. 프로그램 검증 단계를 통해 발견된 오류나 미비 사항이 발견되면 이를 보완하는 과정을 거치게 된다. 하지만, 기존의 프로그램 검증 방식은 프로그램 검증자가 문제 상황에 대해 수작업으로 일일이 보고하는 방식을 기반으로 하고 있어 정상적인 프로그램 검증이 실패할 수도 있다. 이러한 단점으로 인해 최악의 경우, 필요 기능 미비 또는 오류에 의한 인공위성 개발 일정의 지연을 가져올 수도 있다. 따라서 본 논문에서는 성공적인 인공위성 개발을 위한 기존의 비효율적인 프로그램 검증 방식을 자동화하는 효율적인 프로그램 검증 시스템을 새롭게 제시한다. 본 논문에서 제시한 효율적인 프로그램 검증 시스템은 프로그램 검증자가 프로그램을 이용하면서 발생하는 메시지를 저장하고 문제상황 발생시에 이를 중앙 서버로 전송하는 방식을 채택하고 있다. 이러한 인공위성 개발을 위한 효율적인 프로그램 검증 시스템은 기존의 비효율적인 보고방식을 자동화함으로 해서 프로그램 검증 시스템의 효율을 극대화하여 성공적인 인공위성 개발을 지원할 것으로 판단된다.