전체 선택해제
총 1건 검색
본문검색 결과만 보기
-
실시간 소프트웨어 모텔에서 만족된 속성을 코드에서 확인하는 체계적 기법 및 사례연구
홍광의, 지은경, 서동원, 배두환, Hong. Gwangui, Jee. Eunkyong, Seo. Dongwon, Bae. Doohwan 한국정보과학회 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 10 Pages
한국정보과학회 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 2013, Vol.40 No.12 764-773 (10 pages)
실시간 시스템을 모델기반 개방 방법론을 적용하여 개발 시, 타임드 오토마타 모델을 만들고 모델 대상으로 정형 검증을 수행한 후, 검증된 모델로부터 코드를 생성할 수 있다. 안전이 보장된 실시간 소프트웨어를 만들기 위해서는 검증된 모델로부터 코드를 생성 시, 모델에서 만족된 속성들이 코드 상에서도 만족되는지 여부를 확인해야 한다. 본 연구는 타임드 오토마타 모델로부터 체계적으로 생성된 코드를 대상으로 모델에서 만족된 속성이 코드에서도 만족되는지 여부를 확인할 수 있는 방법을 제안하고, 심장박동기의 VVI 모드와...