UPPAAL을 이용한 VANET환경에서 안전 메시지 정형검증 방법 연구
- 주제(키워드) VANET , UPPAAL
- 발행기관 고려대학교 융합소프트웨어전문대학원
- 지도교수 민성기
- 발행년도 2015
- 학위수여년월 2015. 2
- 학위구분 석사
- 학과 융합소프트웨어전문대학원 임베디드소프트웨어학과
- 원문페이지 44 p
- 실제URI http://www.dcollection.net/handler/korea/000000058082
- 본문언어 한국어
- 제출원본 000045827018
초록/요약
해마다 도로의 차량이 증가함에 따라 교통사고 및 차량 안전에 관련한 지능형 교통 시스템(Intelligent Traffic System, ITS)의 발전이 비약적으로 성장하였다. 본 논문은 지능형 교통 시스템을 지원하는 VANET 환경에서 IEEE 802.11p 기반의 WAVE 통신 시스템 사용을 위한 기존의 IEEE 802.11 표준 통신 프로토콜의 구조 및 동작을 분석하고 VANET 환경을 고려하여 모델링한다. 본 논문의 주요 연구내용은 IEEE 802.11 표준 DCF 방식의 CSMA/CA 프로토콜의 모델링을 분석하여 VANET 환경에 맞춰 수정하고 간소화하여 모델링한다. 그리고 WAVE로 잘 알려진 IEEE 802.11p의 Control Channel(CCH)을 이용하여 차량 안전에 필요한 안전 메시지 전송을 위해 안전 애플리케이션 성능 분석 자료를 토대로 모델링하고 송신 된 메시지가 지정해 놓은 사양에 맞춰 수신이 이뤄지는 것을 확인한다. 또한 기존의 통신 프로토콜의 수정을 표준으로 맞춰가기 위해 수학적 접근 방식을 이용한 정형검증을 한다. 실시간 속성을 표현 할 수 있는 정형 검증 프로그램인 UPPAAL을 사용하여 패킷 전송의 안전성을 검증한다.
more목차
1. 서론 1
1.1 연구 배경 1
1.2 연구 목표 4
1.3 논문의 구성 5
2. 관련연구 6
2.1 VANET ENVIRONMENT 6
2.2 UPPAAL 11
3. DCF 및 Safety Message 14
3.1 Distributed Coordination Function 14
3.2 Safety Message 16
4. IEEE 802.11p를 위한 모델링 및 검증 19
4.1 시스템 모델 19
4.2 UPPAAL 모델링 23
4.3 모델 검증 27
5. 결론 및 향후 과제 30
참고 문헌 31
