실시간 내장형 소프트웨어 개발 방법론(COMET) 에서의 룰 기반의 모델링 평가 및 지원도구