지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제37권 제1호
- 발행연도
- 2010.1
- 수록면
- 54 - 59 (6page)
이용수
초록· 키워드
오류제보하기
산업자동화 분야에는 특수목적 마이크로콘트롤러인 PLC가 널리 사용된다. PLC 프로그램 분석과 검증을 위한 연구에서 우선적으로 해야 할 일은 PLC 프로그래밍 언어의 의미구조를 정형적으로 제시하는 것이다. 본 논문은 PLC 프로그래밍에 널리 사용하는 LD 언어의 의미구조를 정의한다. LD 언어는 그래픽 언어이기 때문에 먼저 텍스트 언어 Symbolic LD로 구문구조를 정형화한 다음에, Symbolic LD에 대한 의미구조를 정의할 수가 있다. 본 논문은 Symbolic LD의 의미구조를 자연 의미구조 기법으로 정의하고, 증명 보조기 Coq을 이용하여 정형화하였다.
목차
요약
Abstract
1. 서론
2. 관련연구
3. Symbolic LD
4. Symbolic LD의 의미구조
5. Coq 정형화
6. 결론
참고문헌
참고문헌 (13)
참고문헌 신청
1. [기타자료] - IEC / 2003 / International Standard IEC 61131-3 Programmable controllers – Part 3: Programming languageeees 2nd Edition International Electrotechincal Commission
2. [학술대회논문] - S. Shin / 2009 / Whimori CDK: a Control Program Development Kit / The International Conference of COMPUTING in Engineering, Science and Informatics
3. [보고서] - M. Bani Younis / 2003 / Formalization of existing PLC Programs
4. [학술대회논문] - O. Rossi / 2000 / Automation of Mixed Processes: Hybrid Dynamic Systems / Formal Modelling of Timed Function Blocks for the Automatic Verification of Ladder Diagram Programs 4th Int. Conf. : 177 ~ 182
5. [학술대회논문] - I. Hatono / 1996 / Automatic Generation of Fault Detection Models for Programmable Constroller / Based Manufatureing Systems Using Complementary-Places Petri Nets IFAC World Congress
2. [학술대회논문] - S. Shin / 2009 / Whimori CDK: a Control Program Development Kit / The International Conference of COMPUTING in Engineering, Science and Informatics
3. [보고서] - M. Bani Younis / 2003 / Formalization of existing PLC Programs
4. [학술대회논문] - O. Rossi / 2000 / Automation of Mixed Processes: Hybrid Dynamic Systems / Formal Modelling of Timed Function Blocks for the Automatic Verification of Ladder Diagram Programs 4th Int. Conf. : 177 ~ 182
5. [학술대회논문] - I. Hatono / 1996 / Automatic Generation of Fault Detection Models for Programmable Constroller / Based Manufatureing Systems Using Complementary-Places Petri Nets IFAC World Congress
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
산업자동화 프로그램의 연역 검증을 위한 변환
정보과학회논문지 : 소프트웨어 및 응용
2011 .07
-
LD 프로그램의 모델 체킹을 위한 자동변환
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2010 .02
-
I/O 모델을 이용한 래더 다이어그램 코드 생성방법
한국CDE학회 학술발표회 논문집
2012 .02
-
LD 로직 편집기의 GUI 구현에 관한 연구
한국마린엔지니어링학회 학술대회 논문집
2010 .04
-
PLC LD 제어언어와 가상 플랜트 시뮬레이터의 적용
대한전기학회 학술대회 논문집
1999 .07
-
CTP용 다 채널 LD - 드라이버 설계
한국정보통신학회논문지
2015 .03
-
FBD 및 LD로 구현된 XML기반 PLC프로그램에 대한 정형검증
한국정보과학회 학술발표논문집
2008 .10
-
LDS 기술을 이용한 전자부품 설계
대한기계학회 춘추학술대회
2016 .05
-
생산시스템 제어를 위한 PLC 코드 생성 방법론
대한산업공학회 춘계공동학술대회 논문집
2008 .05
-
LDS 공정을 이용한 MID 부품제작
한국정밀공학회 학술발표대회 논문집
2016 .05
-
LDS 도금시드 생성을 위한 연구
한국정밀공학회 학술발표대회 논문집
2016 .10
-
Nominal Reasoning Techniques in the Proof Assistant Coq
한국정보과학회 학술발표논문집
2012 .11
-
1310 nm 모드변환기 집적 LD의 신뢰도 측정
한국통신학회 기타 간행물
2001 .10
-
LD 주파수 안정화를 위한 디지털 온도 제어 시스템 설계 ( Design of Digital Temperature Control System for LD Frequency Stabilization )
대한전자공학회 학술대회
1990 .05
-
SFC로 記述된 매니지먼트 스텝에 의한 개선된 인터록의 실현
조명·전기설비학회논문지
2005 .05
-
시뮬레이션 기반의 PLC Program 검증
한국정밀공학회 학술발표대회 논문집
2009 .06
-
2.5 Gbps CMOS LD 구동기 설계
한국정보통신설비학회 학술대회
2004 .01
-
Dynamic Modeling of LD Converter Processes
제어로봇시스템학회 국내학술대회 논문집
1991 .10
-
Dynamic Modeling of LD Converter Processes
대한전자공학회 학술대회
1991 .01
-
PLC 개발
전기의세계
1989 .12
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2010-569-001921987