Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2012.06b
  • /
  • Pages.247-249
  • /
  • 2012
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Research on Model Optimization by Analysis of Condition of Transition

Transition Condition 분석에 따른 모델 최적화 연구

  • Published : 2012.06.22

⟨ Previous Next ⟩

Abstract

본 연구에서는 MATLAB Simulink/Stateflow 기반으로 만든 모델의 transition의 condition을 미리 연산하고, 이를 바탕으로 모델을 최적화하는 모듈을 제안하고 이를 구현하였다. 구현한 모듈은 stateflow 내부의 transition condition의 label string을 이진트리로 구성하고, True/False를 판단한다. 그리고 condition의 True/False 판단 결과를 통해 모델의 최적화 과정을 수행한다. 제안하는 모듈을 이용하여 간단한 예시모델의 수정 과정을 보이고 테스트 커버리지가 향상되는 것을 검증하였다.

Keywords