초록

용어보기논문에서 용어와 풀이말을 자동 추출한 결과로, 시범 서비스 중입니다. AI-Helper

시스템의 안정성을 검증하는 Model Checking(모델 검증)은 여러 가지 분야에서 기본적으로 중요하게 사용되어왔다. 하지만 Model Checking의 특성상 Computing Power가 많이 필요한 점과 최근 소프트웨어의 대형화, Ubiquitous 환경에서의 잦은 변화가 필요한 점 등으로 Model Checking 을 그대로 적용하기 어렵다. 따라서 이 논문은 점증적인 변화에 따른 필요한 부분만 검증하는 점증적 모델 검증을 소개한다.

시스템의 안정성을 검증하는 Model Checking(모델 검증)은 여러 가지 분야에서 기본적으로 중요하게 사용되어왔다. 하지만 Model Checking의 특성상 Computing Power가 많이 필요한 점과 최근 소프트웨어의 대형화, Ubiquitous 환경에서의 잦은 변화가 필요한 점 등으로 Model Checking 을 그대로 적용하기 어렵다. 따라서 이 논문은 점증적인 변화에 따른 필요한 부분만 검증하는 점증적 모델 검증을 소개한다.

AI 본문요약

엑셀 다운로드 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

• 연구 주제
• 연구 방법

문제 정의

• Model checking에 대한 일반적인 방법을 소개한다. 앞서 설 명한 것처럼 우선 시스템을 Model화 하고 검증하고자 하는 조건울 특정 Form니a로 표현하여 적용시켜 검증한다.
• 이 논문에서는 Ubiquitous Computing에서 저전력, 대웅량 검중읗 위하여 Graph# 기반으로 하는 Iriccemental Model Checkinge 제안한다. 간략하게 설명하자면 우선 Model 아治eking을 수햄한다.
• 때문에 새로운 방법 에서는 Model이 변화된 부분에 따라 검증이 필요한 부분과 필요 없는 부분을 구분하는 것이 필요하다. 이 논문에서는 state룔 검증이 필요한 것과 그렇지 않은 것둫을 구분할 수 있게 색깔로 표시하여 집합을 구성하는 방법을 소개한다. Mod기 변화에는 Transition의 추가와 삭제, state의 추가와 삭 제, state의 property 추가와 삭제가 있다.

제안 방법

• Model checking에 대한 일반적인 방법을 소개한다. 앞서 설 명한 것처럼 우선 시스템을 Model화 하고 검증하고자 하는 조건울 특정 Form니a로 표현하여 적용시켜 검증한다. 일반적으로 Modele kripke structure로 표현하고 입력이 되는 Fo「m니a는 CTUComputation Tree Logic)올 사용한다.

본문요약 정보가 도움이 되었나요? 예 아니오 제출

이 논문을 인용한 문헌

더보기