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

  • 2001.04a
  • /
  • Pages.193-196
  • /
  • 2001
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

Design of Code Converter for Development and Verification of Real-Time System in Software Round-Trip Engineering Environment

순환공학 환경에서의 실시간 시스템 개발 및 검증을 위한 코드 변환기 설계

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

Abstract

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템에 대한 재/역공학 측면에서의 개발 및 검증을 위한 코드 변환기를 설계한다. ATM은 모드(mede), 전이(transition), 포트(per)로 구성되는데, 순공학 과정에서 실시간 시스템을 설계, 명세 하는 기존의 정형기법과는 달리 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. ATM은 기존 정형기법이 순공학 과정에서의 특정 물리적 환경에서 실행되는 동적행위에 대한 부적절한 표현에 대해 순환공학에서 실시간 시스템의 속성은 물론 특정 환경과 동적 정보 등을 명세하기 위한 정형 기법으로서, 본 논문에서는 DoME을 이용하여 ATM 명세도구를 개발하고 이를 이용하여 실시간 시스템의 특정 요구사항을 위한 ATM을 명세한다. 또한 해당 ATM을 DOME/ATM 스크립트 파일로 저장하고 이에 대한 명세분석을 통해 노드와 관련된 정보를 추출하여 다른 분석도구가 이용할 수 있도록 DB에 저장하거나 매개 언어인 SRL/ATM으로 변환하며, 이러한 SRL/ATM으로부터 실행코드에 대한 관련 정보를 추출하여 실시간 시스템 개발 및 검증을 위한 Ada 코드를 생성할 수 있는 코드 변환기를 설계한다.

Keywords