Journal of KIISE:Computing Practices and Letters (한국정보과학회논문지:컴퓨팅의 실제 및 레터)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Syntax-driven Automata Generation for Esterel

Esterel 문법구조 바탕의 오토마타 생성

  • Received : 2010.08.10
  • Accepted : 2010.10.05
  • Published : 2010.11.15
Download PDF
⟨ Previous Next ⟩

Abstract

Esterel is an imperative synchronous language and its formal semantic based on finite state machine makes it easy to perform program analyses using automata. In this paper, we propose a syntax-driven automata generation rule. Because our rule intuitively expresses syntactic structure, it is very useful for other program analyses.

Esterel 언어는 동기 (synchronous)식 절차(imperative)형 언어로 유한 상태 기계 (finite state machine)를 기반으로 한 정형적 의미구조를 가지고 있어 오토마타를 이용한 프로그램 분석에 매우 용이하다. 본 논문에서는 프로그램의 수행 과정이 필요 없는 문법 구조 바탕의 오토마타 생성 규칙을 제안한다. 우리의 생성 규칙은 문법 구조를 직관적으로 표현하고 모든 가능한 경로를 나타내기 때문에 다양한 분석을 적용하기에 적합하다.

Keywords

References

  1. D. Potop-Butucaru, S. A. Edwards, and G. Berry, "Compiling ESTEREL," Springer, 2007.
  2. G. Berry, "The Constructive Semantics of Pure ESTEREL," Draft book available at http://www.inria.fr/meije/esterel/esterel-eng.html, 1999.
  3. A. Bouali, "XEVE, an ESTEREL Verification Environment," In Proceedings of International Conference on Computer Aided Verification, vol.1427, pp.500-504, 1998.
  4. "Esterel Compiler version 5.21," http://www.inria.fr/meije/esterel/esterel-eng.html.
  5. "CEC: The Columbia Esterel Compiler," http://www.cs.columbia.edu/~sedwards/cec/.
  6. S. Tini, "An axiomatic semantics for Esterel," Theoretical Computer Science, 2001.
  7. GD Plotkin, "A Structural Approach to Operational Semantics," Lectures Notes, Aarhus University, Aarhus, Denmark, 1981.
  8. 김철주, 윤정한, 서선애, 최광무, 한태숙, "Esterel에서 근사-제어흐름그래프의 효율적인 생성," 정보과학회논문지 : 컴퓨팅의 실제 및 레터, 제15권 제11호, pp.801-880, 2009.