본문 바로가기
HOME> 논문 > 논문 검색상세

논문 상세정보

공정의 안전 검증을 위한 PLC 모듈 개발
Development of PLC modules for the safety verification of chemical processes

정상헌    (포항공과대학교 공정산업의 지능자동화연구센터   ); 이광순    (서강대학교 화학공학과   ); 문일    (연세대학교 화학공학과  );
  • 초록

    An automatic verification method has been studied to determine the safety and operability of programmable logic controller (PLC) based systems. For the systematic and efficient verification, we have developed a conversion method from relay ladder logic (RLL) to the verification system description. RLL is a common representation used to document PLC programs for the sequential logic of the system such as the safety interlocks and the startup/shutdown procedures. Once the modules are developed, complex RLLs can be represented by the combination of modules. As a result we can verify complex PLC systems using the verification method including RLL modules. The developed modules are used to verify alarm systems and show that the method is valid.


  • 주제어

    verification .   safety .   PLC .   RLL .   SMV.  

 저자의 다른 논문

  • 이광순 (21)

    1. 1993 "기질저해가 있는 유가식 발효공정의 퍼지제어" 퍼지 및 지능시스템학회 논문지 = Journal of fuzzy logic and intelligent systems 3 (3): 3~18    
    2. 1996 "선형 회분식 공정을 위한 이차 성능 지수에 의한 모델 기반 반복 학습 제어" 제어·자동화·시스템공학 논문지 = Journal of control, automation and systems engineering 2 (3): 148~157    
    3. 1997 "증류탑의 적응 예측 제어" 제어·자동화·시스템공학회지 = ICASE magazine 3 (5): 43~50    
    4. 1998 "펄스응답 순환행렬의 특이치 분해를 이용한 강인한 차수감소 모델예측제어기의 설계" 제어·자동화·시스템공학 논문지 = Journal of control, automation and systems engineering 4 (4): 413~419    
    5. 2000 "증류탑 제어시스템에 관한 일반적 고찰 (I) -제어구조를 중심으로-" 제어·자동화·시스템공학회지 = ICASE magazine 6 (3): 19~26    
    6. 2000 "증류탑 제어시스템에 관한 일반적 고찰 (I)-기본 Loop 제어방식을 중심으로-" 제어·자동화·시스템공학회지 = ICASE magazine 6 (3): 27~33    
    7. 2004 "최신 제어기법에의 기술 동향 고찰" 제어·자동화·시스템공학회지 = ICASE magazine 10 (1): 59~66    
    8. 2004 "반경험적 모델에 근거한 RTP 장비의 다변수 반복 학습제어" 제어·자동화·시스템공학회지 = ICASE magazine 10 (2): 19~34    
    9. 2006 "회분 및 반복공정의 고급제어기법" 제어·자동화·시스템공학회지 = ICASE magazine 12 (4): 66~72    
    10. 2007 "MISO 고차 ARX 모델 기반의 MIMO 상태공간 모델의 모델인식: 설계와 적용" 화학공학 = Korean chemical engineering research 45 (1): 67~72    
  • 문일 (38)

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역

원문보기

무료다운로드
  • NDSL :
유료다운로드

유료 다운로드의 경우 해당 사이트의 정책에 따라 신규 회원가입, 로그인, 유료 구매 등이 필요할 수 있습니다. 해당 사이트에서 발생하는 귀하의 모든 정보활동은 NDSL의 서비스 정책과 무관합니다.

원문복사신청을 하시면, 일부 해외 인쇄학술지의 경우 외국학술지지원센터(FRIC)에서
무료 원문복사 서비스를 제공합니다.

NDSL에서는 해당 원문을 복사서비스하고 있습니다. 위의 원문복사신청 또는 장바구니 담기를 통하여 원문복사서비스 이용이 가능합니다.

이 논문과 함께 출판된 논문 + 더보기