An evaluative review of the formal verification for vanet protocols
Vehicular ad-hoc networks (VANETs) technology has become an active research area over
the last few years. It has a huge potential to improve traffic efficiency, road safety as well as …
the last few years. It has a huge potential to improve traffic efficiency, road safety as well as …
Direction based Hazard Routing Protocol (DHRP) for disseminating road hazard information using road side infrastructures in VANETs
This paper presents Direction based Hazard Routing Protocol (DHRP) for disseminating
information about fixed road hazards such as road blocks, tree fall, boulders on road, snow …
information about fixed road hazards such as road blocks, tree fall, boulders on road, snow …
[PDF][PDF] Dissemination of safety messages to vehicles and verification using model checking in VANETs
abstract Model checking is one of the formal verification techniques which is widely used to
validate and correct the design errors of communication protocols. Model checking uses …
validate and correct the design errors of communication protocols. Model checking uses …
GPCR-D: a topology and position based routing protocol in VANET
Compared with traditional GPCR, there are three differences in the new GPCR-D: 1) GPCR-
D is a topology and position based routing protocol. 2) It can detect dynamically the network …
D is a topology and position based routing protocol. 2) It can detect dynamically the network …
[引用][C] UPPAAL 을사용한VANET 환경안전메시지전송검증
최석원， 안소진， 임지훈， 최진영 - 한국정보과학회학술발표논문집, 2016 - dbpia.co.kr
요 약지능형 교통 시스템의 발달에 따라 차량의 안전성 및 효율성에 대한 연구가 증가하고 있다.
본 연구에서는 차량의 안전성 및 효율성을 높여주는 차량용 네트워크 (VANET, Vehicle Ad-hoc …
본 연구에서는 차량의 안전성 및 효율성을 높여주는 차량용 네트워크 (VANET, Vehicle Ad-hoc …