지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 1989.5
- 수록면
- 243 - 255 (13page)
이용수
초록· 키워드
오류제보하기
temporal logic을 이용한 자동 검증 시스템은 프로그램을 유한 상태 그래프로 변환하는 단계와, 유한 상태 그래프하에서 모델 checker에 의해 증명하려는 성질의 만족 여부를 결정하는 두 단계로 구성된다.
그러나 프로그램을 직접 유한 상태 그래프로 표현하는 것은 비실용적이며 프로그래밍이 용이하지 않다.
본 논문에서는 temporal logic을 이용하여 자동 검증 시스템에 적합한 새로운 언어 E-Tempura 및 E-Tempura로 작성된 프로그램을 유한 상태 그래프로 변환할 수 있는 E-Tempura interpreter의 구현 방법을 제시한다.
E-Tempura는 기존의 temporal logic 프로그래밍 언어를 확장한 것으로서 증명하려는 formula의 기술뿐만 아니라, 프로그래밍을 temporal logic의 formula 형태로 기술할 수 있는 장점이 있다. 또한 E-Tempura에는 Tempura의 deterministic한 병렬 수행 및 nondeterministic한 병렬 수행을 기술할 수 있는 기능, 동기적 및 비동기적 통신 기능, 축약 변환의 기능이 첨가되었다.
그러나 프로그램을 직접 유한 상태 그래프로 표현하는 것은 비실용적이며 프로그래밍이 용이하지 않다.
본 논문에서는 temporal logic을 이용하여 자동 검증 시스템에 적합한 새로운 언어 E-Tempura 및 E-Tempura로 작성된 프로그램을 유한 상태 그래프로 변환할 수 있는 E-Tempura interpreter의 구현 방법을 제시한다.
E-Tempura는 기존의 temporal logic 프로그래밍 언어를 확장한 것으로서 증명하려는 formula의 기술뿐만 아니라, 프로그래밍을 temporal logic의 formula 형태로 기술할 수 있는 장점이 있다. 또한 E-Tempura에는 Tempura의 deterministic한 병렬 수행 및 nondeterministic한 병렬 수행을 기술할 수 있는 기능, 동기적 및 비동기적 통신 기능, 축약 변환의 기능이 첨가되었다.
목차
요약
ABSTRACT
Ⅰ. 서론
Ⅱ. E-Tempura의 문법 및 semantics
Ⅲ. E-Tempura의 주요 연산자들
Ⅳ. Interleaving 모델을 위한 기능들
Ⅴ. E-Tempura interpreter의 기본 구조
Ⅵ. 결론
참고문헌
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Linear Time Temporal Logic을 이용한 자동 검증을 위한 언어에 관한 연구
한국정보과학회 학술발표논문집
1988 .04
-
Linear Time Temporal Logic을 이용한 자동 검증 시스템의 설계 및 구현
(구)정보과학회논문지
1989 .03
-
Temporal Logic을 이용한 프로토콜의 검증에 관한 연구 ( A Study on the Validation of Protocol Using Temporal Logic )
한국통신학회 워크샵
1998 .01
-
Temporal Logic에 대한 그래프 모형 자동생성 시스템의 구현에 관한 연구
한국정보과학회 학술발표논문집
1987 .10
-
구문구조에 의한 Temporal Expression의 그래프 모형 구성방법에 대한 연구
(구)정보과학회논문지
1986 .08
-
Temporal logic을 이용한 concurrent system의 modeling과 자동 검증에 관한 연구
한국정보과학회 학술발표논문집
1987 .10
-
Temporal Logic에 대한 그래프 모형 : Concurrent 프로그램의 자동생성 및 검증을 위한 도구
(구)정보과학회논문지
1988 .03
-
시간적 논리와 도달성 그래프를 사용한 네트워크 프로토콜 검증법에 대한 비교 분석
(구)정보과학회논문지
1990 .04
-
Design of Temporal Logic Embedded Controller for Small Oven Process
제어로봇시스템학회 국제학술대회 논문집
2011 .10
-
Logic Simulation
대한전자공학회 단기강좌
1983 .01
-
LOGIC-CHECKER : A CORRECTING FUNCTION FOR GATE ERRORS IN LOGIC SIMULATION AND ITS IMPLEMENTATION
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1989 .01
-
확장논리에 기초한 순차디지털논리시스템 및 컴퓨터구조에 관한 연구
한국인터넷방송통신학회 논문지
2008 .01
-
A Logic Verification ＆ Synthesis System ( I ) ( A Logic Verification and Synthesis System ( 1 ) )
대한전자공학회 학술대회
1985 .01
-
Fuzzy Logic Based Temporal Error Concealment for H.264 Video
[ETRI] ETRI Journal
2006 .10
-
시간논리와 표현논리를 이용한 운전절차 자동합성 시스템 개발
한국가스학회지
2001 .03
-
Logic Synthesis
CAD기술특강
1989 .01
-
실시간 시간논리 구조를 이용한 비결정적 이산사건 동적시스템의 모델링
한국지능시스템학회 학술발표 논문집
1998 .11
-
AND/OR 그래프 모델에 기초한 시각 프로그래밍에 관한 연구
한국정보과학회 학술발표논문집
1998 .02
-
연관분석을 이용한 마코프 논리네트워크의1차 논리 공식 생성과 가중치 학습방법
산업경영시스템학회지
2015 .01
-
Composition of LOTOS Specifications Based on Temporal Logic
JC-CNSS : Joint Conference on Communications, Networks and Switching Systems
1993 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017776308