한국정보처리학회논문지 (The Transactions of the Korea Information Processing Society)

한국정보처리학회 (Korea Information Processing Society)
권호 표지

안전성이 요구되는 응용분야에 사용하는 프로그램 가능한 전자시스템

A Programmable Electronic Systems Dedicated to Safety Related Applications

  • 정순기 (충북대학교 컴퓨터공학과) ;
  • ;
  • Jeong, Sun-Gi (Dept. of Computer Engineering, Chungbuk National University) ;
  • Wolfgang A. Halang (Faculty of Electrical Engineering fem Univ of Hagen Genmany) ;
  • Coen Bron (Dept of Computing Science Univ of Groningen)
  • 발행 : 1994.11.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

프로그램 가능한 논리제어기(PLC : Programmable Logic Controller)의 활용을 위 한 낮은 복잡성과 결함탐색 기능을 갖는 컴퓨터 구조를 설계하였다. PLC의 반복적인 운영모드와 명세단계, 응용분야에 따라 표준화한 소프트웨어 기능모듈들의 상호연결 을 기본으로 하는 그래픽 프로그래밍 패러다임(paradigm)이 구조적으로 지원된다. 그러므로 설계과정에서 프로그래밍 단계와 가장 단순하면서도 엄격한 Diverse Back Translation 방법에 의해 응용소프트웨어의 안전성 인증을 가능케하는 컴퓨터 실행 (machine execution) 단계 사이의 의미상 격차(semantic gap)가 제거된다.

A low complexity, fault detecting computer architecture for utilisation in programmable logic controllers is designed. The cyclic operating mode of PLCs and a specification level, graphical programming paradigm based on the interconnection of application oriented standard software function modules are architecturally supported. Thus, by design, there is no semantic gap between the programming and machine execution levels enabling the safety licensing of application software by an extremely simple, but rigorous method, viz, diverse back translation.

키워드