The implementation of component based ststechart tool for specification of embedded system

내장형 시스템인 명세를 위한 컴포넌트 지원 Statchart 도구 구현

  • 박홍진 (중앙대학교 컴퓨터공학과) ;
  • 김남규 (중앙대학교 컴퓨터공학과) ;
  • 천경아 (중앙대학교 컴퓨터공학과) ;
  • 김영찬 (중앙대학교 컴퓨터공학과)
  • Published : 2000.04.01

Abstract

최근의 내장형 시스템은 점점 대형화되고 복잡성이 증가하고 있다. 또한 시스템의 생명주기는 매우 빠른 속도로 단축되고 있는 추세이다. 이에 따라 발생될 수 있는 에러율이 증가하고 있으며 이를 해결하기 위해 많은 비용과 시간에 소비될 수 있다. 따라서, 시스템 설계단계부터 신뢰성과 안정성을 보장하며 신속하게 명세를 표현할 수 있는 정형 명세 기법이 필요하다. 본 논문은 신속하면서 견고한 정형 명세 개발을 위해 컨포넌트를 지원하는 Statechart 도구를 구현한다. 본 논문에서 개발된 도구를 이용하면 이미 작성된 정형 명세를 최대한 재사용함으로 새로운 시스템 설계의 개발시간을 단축시킬 수 있는 장점을 지닌다.

Keywords