[논문]MANET에서 CSP/FDR을 이용한 EAODV 라우팅 프로토콜 검증

안영아; 전철욱; 김일곤; 이명선; 최진영

MANET에서 CSP/FDR을 이용한 EAODV 라우팅 프로토콜 검증
CSP/FDR Using Verification of EAODV Routing Protocol in MANET 원문보기

안영아 (고려대학교 컴퓨터학과) , 전철욱 (고려대학교 컴퓨터학) , 김일곤 (고려대학교 컴퓨터학) , 이명선 (고려대학교 컴퓨터학) , 최진영 (고려대학교 컴퓨터학과)

MANET에서 라우팅 경로가 설정되었다고 하더라도 노드의 이동성으로 인하여 네트워크의 끊김 현상이 발생하여 재라우팅을 해야 하는 오버헤드와 전송 지연이 발생한다. 이러한 문제를 해결하기 위하여 각 노드의 에너지를 기반으로 에너지 그룹을 형성하고, 반응적 라우팅 프로토콜인 AODV를 수정하여 EAODV(Energy aware ADODV)를 제안하고 이를 정형 기법을 통해 명세하고 항상 라우팅 패스를 찾는다는 속성을 검증한다.

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

문제 정의

이러한 문제를 해결하기 위한 방법으로 본 논문에서는 반응적 라우팅 방식인 AODV 라우팅 프로토콜을 기반으로 에너지를 고려한 에너지 그룹울 제안하고 에너지 그룹을 통해서 패킷올 라우팅하므로 네트워크의 끊김 현상을 방지하는 EAODV(Energy aware AODV) 프로토콜을 제안한다.

제안 방법

AODV 라우팅 프로토콜에서 트리 형태의 검색을 이용하여 에너지 그룹올 형성한다. 각 노드의 초기 배터리 레벨과 초기 신용 레벨, 상수 비용을 이용하여 에너지를 결정한다.
[그림 5]는 CSP 로 명세한 모델을 FDRI4]올 통해 검증한 결과이다. 검중은 assert 를 통해 스펙과 구현 모델의 trace 집합을 통해 safety 를 검증하였다. 각 모델의 스펙가 구현 모델의 명세이다.
본 논문에서는 MANET에서 라우텅 경로가 설정되었다고 하더라도 노드의 이동성으로 인하여 네트워크의 끊김 현상이 발생하여 재라우팅을 해야 하는 오버헤드와 전송 지연이 발생한다. 이러한 문제를 해결하기 위하여 각 노드의 에너지를 기반으로 에너지 그룹올 형성하고, 반응적 라우팅 프로토콜인 AODV 를 수정하여 EAODV(Energy aware ADODV)롤 제안하고 이를 정형 기법올 통해 명세하고 향상 라우텅 패스是 찾는다는 속성올 검중한다.
본 논문은 MANET 에서 라우팅 경로가 설정되었다고 하더라도 노드의 이동성으로 인하여 네트워크의 끊김 현상이 발생하여 재라우팅올 해야 하눈 오버헤드와 전송 지연이 발생한다. 이러한 문제를 해결하기 위하여 각 노드의 에너지를 기반으로 에너지 그룹을 형성하고, 반옹적 라우팅 프로토콜인 AODV 를 수정하여 EAODV(Energy awai■연 ADODV)를 제안하고 이롤 정형 기법을 통해 명세하고 항상 라우팅 패스를 찾는다는 속성을 검증한다.

성능/효과

[그림 6]은 CSP 로 명세한 모델을 FDR 을 통해서 검증한 결과이다. 검중 결과로 SPEC 에서 말하는 모든 노드는 에너지 그룹을 통해서 라우팅 해야 한다는 요구 사항을 구현에서 다 만족함올 나타낸 것이다. 이러한 결과를 통해서 에너지 그룹을 통해서 라우팅 하는 노드는 항상 라우팅 될 수 있음을 정형 모델로 검증하였다.
모든 노드는 라우팅 그룹을 통해서만 라우팅 할 수 있다. 에너지 그룹온 노드의 에너지 정보를 주고 받아 일정한 임계값 이상의 에너지를 가진 노드의 그룹올 형성하여 이둘 에너지 그룹만 라우팅에 참여하므로 네트워크의 연결성과 가용성을 제공해 주며 특정한 노드에 집중하는 현상을 막고, 네트워크의 끊김 현상을 줄일 수 있다.
검중 결과로 SPEC 에서 말하는 모든 노드는 에너지 그룹을 통해서 라우팅 해야 한다는 요구 사항을 구현에서 다 만족함올 나타낸 것이다. 이러한 결과를 통해서 에너지 그룹을 통해서 라우팅 하는 노드는 항상 라우팅 될 수 있음을 정형 모델로 검증하였다.

후속연구

향후 연구 과제로는 이 제안한 방법올 시뮬레이션을 통해 성눙을 평가해 보는 것이며, 노드가 무한히 증가하더라도 에너지 그룹을 이용하여 라우팅이 가능한지를 정형 모델을 통해 검증하고자 한다.

원문 보기

ScienceON 원문보기

*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.

이 논문과 함께 이용한 콘텐츠

[논문] CSP/FDR을 이용한 리더 선출 알고리즘의 검증

내보내기 메뉴

내보내기 구분

파일저장
인쇄
메일전송

구성항목

기본정보
상세정보

관리번호, 논문명, 저널/프로시딩명, 저자 , 발행년, 권, 호, 시작페이지, 끝페이지, 발행기관

저장형식

Text(ASCII format)
Excel format
RefWorks Direct Export
RIS format (for Reference Manager, ProCite, EndNote), Scholar's Aids, Mendeley

메일정보

받는사람 (필수): @
보내는사람 (선택): @
제목
내용: KISTI 검색결과 이메일 서비스

안내

총 건의 자료가 검색되었습니다.

다운받으실 자료의 인덱스를 입력하세요. (1-10,000)

검색결과의 순서대로 최대 10,000건 까지 다운로드가 가능합니다.

데이타가 많을 경우 속도가 느려질 수 있습니다.(최대 2~3분 소요)

다운로드 파일은 UTF-8 형태로 저장됩니다.
파일의 내용이 제대로 보이지 않을실 때는 웹브라우저 상단의 보기 -> 인코딩 -> 자동선택 여부를 확인하십시오.

Text(ASCII format)
Excel format

표제어: PCR

동의어: Packet Collision Rate

용어 설명 출처 목록 (6)

용어 설명: PCR은 세균 특이성이 있는 primer를 이용하여 적은 수의 세균이 있을지라도 쉽게 검출할 수 있는 유용한 방법이며, 이를 이용하여 구강 내 치면세균막이나 타액에서 직접 세균을 검출할 수 있게 되었다[8].

AI-Helper ※ AI-Helper는 을 사용합니다.

AI-Helper

안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

연합인증

MANET에서 CSP/FDR을 이용한 EAODV 라우팅 프로토콜 검증
CSP/FDR Using Verification of EAODV Routing Protocol in MANET 원문보기

초록
AI-Helper