Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2010.06b
- /
- Pages.10-15
- /
- 2010
- /
- 1598-5164(pISSN)
A Study on Feasibility for Realization of Timed CARDMI in Realtime Java Virtual Machine
Timed CARDMI의 Real-time Java Virtual Machine에서의 실현 가능성에 관한 연구
- On, Jin-Ho (Department of Computer Engineering, Chonbuk National University) ;
- U, Su-Jeong (Department of Computer Engineering, Chonbuk National University) ;
- Lee, Moon-Kun (Department of Computer Engineering, Chonbuk National University)
- Published : 2010.06.30
Abstract
Timed CARDMI는 실시간 속성을 만족해야 하는 분산/ 이동/ 실시간 시스템 In The Large 관점의 행위 및 시간속성을 분석하기 위해 정의된 정형기법이다. Timed CARDMI로 정의된 복잡한 시스템의 분석과 검증을 위한 CASE 툴인 SAVE는 RTOS 상에서 CARDMI가 지니는 다양한 행위와 시간속성들에 대한 분석, 명세, 검증, 시뮬레이션을 위한 도구로, 본 논문에서는 RTOS와 Timed CARDMI의 인터페이스 역할을 수행할 Real-time Java의 속성들이 Timed CARDMI의 다양한 시간속성, 행위들에 대한 실행 조건들을 만족하는지에 대한 효용성을 분석한다.
Keywords