한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)

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

SRL/ATM으로부터 Ada 실행코드 생성

Generation of Ada Executable Code from SRL/ATM

  • 고현 (군산대학교 컴퓨터정보과학과) ;
  • 김광종 (군산대학교 컴퓨터정보과학과) ;
  • 이연식 (군산대학교 컴퓨터정보과학과) ;
  • 이문근 (전북대학교 전자정보공학부)
  • Ko, Hyun (Dept. of Computer Information Science, Kunsan National University) ;
  • Kim, Kwang-Jong (Dept. of Computer Information Science, Kunsan National University) ;
  • Lee, Moon-Kun (Dept. of Computer Information Science, Kunsan National University) ;
  • Lee, Yon-Sik (Division of Electronics and Information Engineering, Chonbuk National University)
  • 발행 : 2001.10.12
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

본 논문은 순환공학 환경에서의 실시간 시스템 개발 및 검증을 위한 코드 생성기 구현과정에서 실시간 시스템에 대한 ATM(Abstract Timed Machine) 명세로부터 생성된 SRL(Software Representation Language) 중간코드로부터 Ada 실행코드 생성방법을 제시한다. 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법인 ATM은 기존의 정형기법과는 달리 순환공학 환경에서의 실시간 시스템이 갖는 정적 및 동적 속성은 물론 특정 환경에서의 동적행위도 표현이 가능하므로, DoME/ATM 그래픽 명세 표기와 중간코드로부터 실행코드를 자동 생성함으로써 순환공학 환경에서의 실시간 시스템 개발 및 검증을 가능하게 한다. 따라서, 실행코드 자동 생성기를 구현하기 위하여 본 논문에서는 선행연구에 의한 DoME/ATM으로부터 변환된 SRL/ATM 코드로부터 Ada 실행코드를 생성하기 위하여 SRL/ATM과 Ada의 관계를 분석하고 실행코드 생성을 위한 기본 규칙들을 정의하여, Ada 실행코드 생성기를 설계한다. 실행코드 생성기는 SRL 파스트리 생성기를 이용하여 구문분석을 통해 구문노드와 수식노드, 단말노드 둥과 같은 구문적 요소들을 추출하여 어휘분석을 통해 얻어진 정보들과 추출된 구문 정보들을 기반으로 실제 Ada 실행코드를 생성한다.

키워드