文献

J-GLOBAL ID：201902248276957339   整理番号：19A1774261

VANETプロトコルのための形式的検証の評価的レビュー【JST・京大機械翻訳】

An Evaluative Review of the Formal Verification for VANET Protocols

著者 (3件)： Fakhfakh Faten (ReDCAD, University of Sfax, Tunisia) ,  Tounsi Mohamed (ReDCAD, University of Sfax, Tunisia) ,  Mosbah Mohamed (LaBRI, University of Bordeaux, France)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2019  号： IWCMC  ページ： 1209-1214  発行年： 2019年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 車両アドホックネットワーク(VANET)技術は,過去数年にわたって活発な研究分野になった。それは,乗客と運転者の両方に対して,交通効率,道路安全性および快適性を改善する大きな可能性を持っている。この文脈において,最も困難な課題の一つは,VANETで使用されるプロトコルが,期待されるように適切に動作し,いかなる矛盾も引き起こさないことを保証することである。本論文では,VANETの正当性を形式的に検証する既存のアプローチの比較を提供するために,系統的文献レビュー(SLR)のガイドラインに従った。提案した解の分類を導入し,それらの目標,限界,検証技術などを論じた。本論文は,依然として取り組む必要があるVANETのいくつかの研究課題について結論した。そこで,本論文では,研究者と開発者に対する情報を提供し,それらの解決策を改善するために,既存の研究の寄与と課題を理解する。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *プロトコル ,  乗客 ,  快適性
準シソーラス用語： 道路安全 ,  形式的検証 ,  *VANET , 【Automatic Indexing@JST】

分類 (3件)： 移動通信  (ND08030H) ,  計算機網  (JC03000K) ,  図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (5件)： VANET ,  プロトコル ,  形式的検証 ,  評価 ,  レビュー