ASADAL/OBJ Hybrid: An Object-Oriented Framework for Modeling and Validating Hybrid Systems

ASADAL/OBJ Hybrid: 고신뢰성 하이브리드 시스템 모델링을 위한 객체지향 프레임워크

  • Shin Seungyeob (Dept. of Computer Science and Engineering, POSTECH) ;
  • Kim Moonzoo (Dept. of Computer Science and Engineering, POSTECH) ;
  • Kang Kyo C. (Dept. of Computer Science and Engineering, POSTECH)
  • 신승엽 (포항공과대학교 컴퓨터공학과) ;
  • 김문주 (포항공과대학교 컴퓨터공학과) ;
  • 강교철 (포항공과대학교 컴퓨터공학과)
  • Published : 2005.07.01

Abstract

하이브리드 시스템이란 연속적인 변화와 이산적인 변화가 함께 존재하는 시스템으로 많은 임베디드 시스템이 하이브리드 시스템으로 모델링 된다. 이러한 하이브리드 시스템을 모델링하고 타당성을 검사(validation) 할 수 있는 도구의 제안은 시스템 개발자들에게 하이브리드 시스템의 복잡한 변화로 인한 시스템의 복잡성을 간소화 시킬 수 있는 방법을 제공하고, 고품질의 제어 소프트웨어를 개발할 수 있도록 해준다. 본 논문에서 소개하는 ASADAL/OBJ Hybrid는 고신뢰성 하이브리드 시스템 모델링을 위한 도구로써 객체지향 모델링에 따라 여러 하이브리드 시스템을 객체로 모델링하며, 이들 간의 통신은 이벤트와 데이터 전송으로 이루어지도록 한다. 환경 객체의 경우 3D 형태 정보를 가지고 있어서 3D 시뮬레이션을 통해 시스템의 변화 양상을 개발자에게 직관적으로 제공하도록 하고 있다.

Keywords