Acknowledgement
이 논문(저서)은 2007년도 정부재원(교육인적자원부 학술연구조성사업비)으로 한국학술진흥재단의 지원을 받아 연구되었음(KRF-2007-331-D00360)
Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2008.11a
- /
- Pages.868-871
- /
- 2008
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
Frequency Based Model Checking for Embedded System
임베디드 시스템을 위한 빈도 기반 모델 검증 기법
- Sung-Hoon Lee (Dept of Information and Communication, Korea University) ;
- Dong-Hyun Lee (Dept of Information and Communication, Korea University) ;
- Hoh Peter In (Dept of Information and Communication, Korea University)
- Published : 2008.11.14
Abstract
Model Checking 기법은 시스템을 검증하고 반례를 제시해 주는 검증 방법으로 최근에 여러 분야에서 쓰이고 있다. 하지만 임베디드 시스템과 같이 그 검증에 있어서 시간, 자원적인 제한을 가지고 있는 분야에서는 검증할 항목을 임의로 선택해서 하는 경우가 대부분이다. 따라서 이 논문에서는 검증에 있어서 우선시 해야 할 기능들을 효율적으로 선정하는 빈도 기반 모델 검증 기법을 제안하고자 한다.
Keywords