한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2001년도 추계학술발표논문집 (상)
- /
- Pages.355-358
- /
- 2001
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
정형명세에 대한 실행코드 생성을 위한 정보 추출
Extraction of Information for Executable Code Generation to Formal Specification
-
Ko, Hyun
(Dept. of Computer Information Science, Kunsan National University) ;
- Lee, Moon-Kun (Division of Electronics and Information Engineering, Chonbuk National University) ;
-
Lee, Yon-Sik
(Dept. of Computer Information Science, Kunsan National University)
- 발행 : 2001.10.12
초록
본 논문은 순환공학 환경에서 실시간 시스템 개발 및 검증을 위한 실행코드 생성기 구현과정에서 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템에 대한 정형명세와 명세분석을 통해 생성된 SRL(Software Representation Language) 코드로부터 실행코드로의 변환을 위해 필요한 정보들을 명세하고 이들의 추출 방법을 제시한다. ATM정형기법을 적용하여 실시간 시스템 개발 및 검증을 위해서는 시스템 명세도구나 명세분석을 위한 분석기, 코드 생성기, 검증기 등과 같은 자동화 도구의 개발이 요구된다. 따라서, 본 논문에서는 순환공학 환경에서의 실시간 시스템의 효율적 개발 및 검증을 위하여 사용될 실행코드 생성기 구현을 위하여, 특정 물리적 환경에서의 실시간 시스템을 명세한 DoME/ATM 스크립트 코드에 대한 SRL 코드로의 변환 시 필요한 정보들을 추출하고, 이를 기반으로 SRL 분석기와 SRL 파스트리 생성기를 이용한 Ada 실행코드로의 변환 시 필요한 실행코드 모듈구조 및 실행구문, 코드 실행 우선순위 결정 둥과 같은 관련된 정보들의 추출 방법을 제시한다.
키워드