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