Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2001.04a
  • /
  • Pages.607-609
  • /
  • 2001
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Design and Implementation of ATM Specification Code Converter for Software Round-Trip Engineering Environment

순환공학 환경을 위한 ATM 명세 코드 변환기 설계 및 구현

  • Ko, Hyun (Dept. of Computer Information Science, Kunsan National University) ;
  • Joe, Sang-Kyu (Dept. of Computer Information Science, Kunsan National University) ;
  • Lee, Yun-Sik (Dept. of Computer Information Science, Kunsan National University)
  • 고현 (군산대학교 컴퓨터정보과학과) ;
  • 조상규 (군산대학교 컴퓨터정보과학과) ;
  • 이연식 (군산대학교 컴퓨터정보과학과)
  • Published : 2001.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

본 논문은 ATM(Abstract Time Machine)으로 명세된 실시간 시스템에 대한 재/역공학 측면에서의 검증을 위한 Ada 코드로의 변환 과정에서 요구되는 DoME/ATM 파스트리 생성과정과 이를 통해 추출되는 정보를 이용하여 ATM을 SRL/ATM으로의 변환방법을 설계 구현한다. 임무 위급 시스템 같은 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법인 ATM은 순환공학에서의 실시간 시스템 속성은 물론 특정 환경과 동적 정보 등을 명세하기 위한 정형기법이다. 본 논문에서는 DoME을 이용하여 실시간 시스템에서의 특정 요구사항에 대한 DoME/ATM을 생성하고, DoME의 기능을 이용하여 ATM을 스크립트 코드로 저장한 후, DoME/ATM 파스트리 생성기를 통해 명세 정보를 추출하여 SRL/ATM으로의 변환기를 설계 구현한다. 변환기에 의해 생성된 매개언어인 SRL은 명시적인 정의와 효율적 분석 정보를 제공함으로써 Ada, COBOL, C 등과 같은 실행코드를 생성할 수 있도록 하는 기반을 제공한다.

Keywords