모델 체킹을 이용한 시스템의 자원 활용 분석 : System Resource Utilization Analysis based on Model Checking Method
System Resource Utilization Analysis based on Model Checking Method
- 주제(키워드) 정형기법 , 모델체킹 , 시제논리 , 성능 분석 , Formal Methods , Model Checking , Temporal Logic , Performance Analysis , Myrinet NIC , Formal Methods , Model Checking , Temporal Logic , Performance Analysis , Myrinet NIC
- 발행기관 한국정보과학회
- 발행년도 2003
- 총서유형 Journal
- UCI G704-B00398.2003.30.2.003
- KCI ID ART000905387
초록/요약
본 논문에서는 모델 체킹을 시스템의 성능상의 효율성 분석에 적용하는 방법에 대해 논한다. 시뮬레이션이나 실험적인 측정을 통해 시스템의 성능저하를 찾는 것은 쉽지만, 성능을 저하시키는 요인을 분석해 내는 것은 사실상 매우 어렵다. 특히, 시스템 자체가 매우 복잡해지고, 주위 다른 시스템과의 상호 동작을 하게 되면 소스코드의 분석을 통한 오류 발견은 거의 불가능해진다. 이에 본 논문에서는 모델 체킹에 사용되는 시제논리를 통해 시스템의 자원 활용도를 명세하고, 이를 이용해서 모델 체킹을 수행함으로써 성능 저하를 발생시키는 요인을 찾아내는 방법에 대해 논한다.
more