• 전자공학회논문지CI
• /
• 제40권5호
• /
• pp.306-316
• /
• 2003

본 논문에서는 소프트웨어 PLC를 구현하는 방안을 제시하였다. 하드웨어는 표준적인 산업용 PC와 입출력 보드들로 구성된다. 운영체제로는 수십 마이크로초의 정밀한 단위로 태스크들의 스케줄링이 가능한 실시간 리눅스를 사용하였다. 소프트웨어 PLC를 위해 개발한 실시간 태스크들은 실시간 리눅스의 커널 모드에서 실행되며, 사용 목적에 따라 작성된 PLC 프로그램을 해석하고 실행하는 작업을 일정한 주기로 반복한다. 또한 PLC 프로그램을 편리하게 작성할 수 있도록 자체 프로그램 문법을 제안하고 이를 위한 컴파일러도 구현하였다. 이렇게 구현된 PLC는 가격 대비 성능이 우수하며 소규모의 응용분야들에 유용하게 활용할 수 있다.

• 조명전기설비학회논문지
• /
• 제12권4호
• /
• pp.14-19
• /
• 1998

본 연구의 목적은 저가의 시율레이션용 툴을 개별하는데 있다. 따라서 PLC 프로그랩을 편집하고 모니터할 수 있는 PLC 프로그랩 모듈과, 가상 PLC 시스템과 시뮬레이션 장비를 개발하였다. PLC 모듈과 시뮬레이션 장비는 상호간 링크가 되어 있어서 PLC 프로그랩에 의하여 실시간으로 제어가 가능하고, 마치 실제 설비가 동작이 되는 것과 같은 효과를 얻을 수 있다. 제안한 새로운 툴을 이용하면 모니터상에서 PLC 시스템을 구성하고 가상기계의 응답을 볼 수 있기 때문에 PLC와 기계를 준비할 필요가 없다. 개발된 프로그랭의 타당성올 증명하기 위하여 엘리베이터와 자동 원료 계량 시스템의 PLC 프로그램올 대상으로 실험을 행하였다. 실험결과 개발한 PLC 에율레 이터에 의해 PLC 프로그램 작성 및 가상기계 동작을 통한 PLC프로그램 검증과정이 원할이 이루질 수 있음올 확인하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 추계학술대회 논문집 전기설비전문위원
• /
• pp.8-13
• /
• 2005

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

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2015년도 제52차 하계학술대회논문집 23권2호
• /
• pp.161-163
• /
• 2015

본 논문은 교통 혼잡도가 높은 월계 2교 4거리 교차로에 센서를 이용하기 위한 교차로 PLC 프로그램을 개발하는 것을 목적으로 한다. 이를 위해 교차로에서 발생하는 차량사고와 혼잡을 방지하지 위한 소프트웨어 요구사항 명세서(SRS)를 정의하고, 이를 바탕으로 소프트웨어 설계서를 작성한다. 또한 XP-Builder 시뮬레이터를 사용하여 센서기반 교차로 신호등 PLC 프로그램을 구현한다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2013년도 전력전자학술대회 논문집
• /
• pp.49-50
• /
• 2013

여러 대의 인버터를 비례 동기 위치제어를 하기 위하여 PLC(Program Logic Contoller)가 사용되는데, 대부분의 기능이 PLC에서 구현이 되기 때문에 프로그램이 복잡하고 많은 통신 데이터가 필요하다. 본 논문에서는 PLC의 연산부하를 줄이기 위하여 비례 동기 위치 제어 연산 과정을 인버터로 구현하는 방법 대하여 연구하였고, 두 대의 인버터로 시스템을 구현하여 제안된 방법의 타당성을 검증하였다. 이를 통하여 PLC 사용자가 프로그램을 구현하는 데 들어가는 시간을 줄이고, 직접 프로그램을 작성하는 데에 발생할 수 있는 오류를 저감시킬 수 있다.

• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.1-9
• /
• 2008

본 논문은 Programmable Logic Controller(PLC) 시뮬레이션을 하기 위한 공장 모델(Plant Model)을 자동으로 생성하는 절차에 대해 기술한다. PLC 프로그램은 공정을 제어하는 로직에 관한 정보이며 그 자체로 공장 모델에 대한 어떤 정보도 포함하고 있지 않기 때문에 시뮬레이션을 위해서는 PLC 프로그램에 대응하는 공장 모델이 반드시 필요하다. 지금까지 PLC 시뮬레이션을 위한 공장 모델은 사용자가 직접 구축하는 방식으로 모델링 되었으나 이는 많은 노력과 공정로직의 완전한 이해 및 시뮬레이션 지식이 요구된다. 이런 어려움을 극복하기 위해 논문은 PLC 프로그램의 심볼테이블(Symbol table)로부터 공장모델을 자동으로 생성하는 과정을 제안한다. 이를 위해P LC 심볼이 공장 모델의 생성을 위한 정보를 포함시키는 PLC 심볼의 작명 규칙을 제안한다. 입력된 심볼 리스트를 분석함으로써 공장 모델을 자동으로 추출할 수 있으며 간단한 예제 공정을 대상으로 구현해 본다.

• 전자공학회논문지CI
• /
• 제42권4호
• /
• pp.1-10
• /
• 2005

최근 PLC들은 산업 자동화 분야에 필요한 자동화장비에서 널리 사용되고 있다. HMI는 다수의 PLC들을 효과적으로 제어하기 위해서 필수적인 시스템이다. 초기 HMI시스템은 단순한 아날로그 계기들을 사용하여 구성되었으나 반도체 및 디스플레이 기술의 발달로 최근에는 각종 디지털 부품들로 구성된 임베디드 시스템으로 구성되어 디스플레이 화면을 통해서 PLC를 제어 또는 감시할 수 있게 되었다. HMI시스템은 이러한 HMf 장치와 HMI 장치를 구동시키기 위한 프로그램 그리고 HMI 화면을 편집 하는 프로그램 세 가지 구성요소로 이루어져 있으며 화면편집 프로그램은 실제 HMI 장치에서 표현되는 각각의 화면들을 사용자가 편집할 수 있도록 다양한 화면 구성요소들을 제공해야 한다. 본 논문에서는 소형 HMI 장치용 화면편집 프로그램을 객체지향 언어를 통해 설계 및 구현하며, 임베디드 HMI 시스템의 프로토타입을 제안한다.

• 한국컴퓨터산업학회논문지
• /
• 제2권4호
• /
• pp.425-434
• /
• 2001

본 논문은 PID제어기가 포함된 PLC로 실제의 제어 시스템을 구성하는 일련의 과정을 제안하였다. PID 모듈 FM455C가 포함된 SIMATIC S7-400 PLC시스템을 일반 PC와 온라인으로 연결하여 PC의 윈도우즈 환경에서 PLC의 프로그램을 작성하였다. PID 제어기의 설계를 위하여, PID 모듈의 하드웨어 구성방식, 관련 소프트웨어 구성, 프로그램 작성 환경, 특히 P, PD, PI, PID제어기의 설계과정을 제시하였고, 이를 토대로 실물 제어대상, 도립진자 시스템에 대하여 PID제어기를 설계하고 모의/실물 실험을 통하여 성능을 확인하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권3호
• /
• pp.211-215
• /
• 2009

프로그래머블 로직 콘트롤러(PLC)가 원자력 계측제어 시스템과 같은 안전 필수 시스템 구현에 많이 사용됨에 따라, PLC 프로그램에 대한 정형검증의 필요가 높아지고 있다. 본 연구에서는 함수 블록 다이어램(FBD)으로 구현된 PLC 프로그램에 대한 자동화된 정형검증 기법을 제안한다. FBD 프로그램을 검증하기 위해서 먼저 FBD 프로그램을 검증언어인 Verilog로 변환하고, 변환된 Verilog모델에 대해 SMV 모델체커를 호출해 모델체킹을 수행한다. 자동화를 위해 FBD Verifier 도구를 개발하였다. FBD Verifier는 FBD 프로그램으로부터 Verilog 모델로의 자동변환 기능뿐 아니라 모델체킹 결과 생성된 반례를 직관적이고 효과적으로 분석할 수 있는 기능 또한 제공한다. 제안된 기법과 도구를 사용해 원전계측제어시스템 개발사업단의 원자로 보호시스템에 대한 방대한 양의 FBD 프로그램을 성공적으로 검증하였다.

• 한국시뮬레이션학회논문지
• /
• 제15권1호
• /
• pp.11-17
• /
• 2006

본 논문에서는 원전 계측제어시스템 구축을 위해 개발된 원전용 PLC 시뮬레이터의 설계 사항에 관해 소개한다. 원전용 계측제어시스템은 원전이라는 특수한 환경과 제약으로 말미암아, 일반적인 시뮬레이터 개발보다 엄격한 요건을 만족해야 한다. 이러한 요건으로는 다양한 테스팅을 통하여 제어 프로그램의 안정성을 보장할 수 있어야 하며, 다수의 계측제어 프로그램들을 고속으로 동시에 실행할 수 있어야 한다. 본 논문에서는 이러한 문제점들을 극복하고자 PLC 제어 프로그램의 컴파일러를 제작하여 C 코드 변환을 하게 된다. 제안한 방법에서는 검증용 상용 도구를 변환된 코드에 적용해 제어 프로그램의 안정성 평가를 할 수 있으며, Compiled-Code 시뮬레이션 기법을 이용하여 고속으로 실행 가능한 시뮬레이터를 자동으로 생성할 수 있다는 장점이 있다.