Title | ||
---|---|---|
Quantitative model verification in VANET based on interval probabilistic timed automata |
Abstract | ||
---|---|---|
VANET is developed as a standard means of communication among moving vehicles. In VANET a vehicle needs to periodically exchange message with its neighbors so that they are aware of any changes to the surrounding vehicles. But the emergency message is event driven, the occurrence of it is unpredictable. So it is important to verify that emergency message can transmit reliably on rapidly changing vehicular channels. In recent years, an automated verification technique for probabilistic models has been developed. In this paper, we propose a formal method to quantitatively verify the probability of message transmission under variant different conditions. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/CSCWD.2014.6846881 | CSCWD |
Keywords | Field | DocType |
event driven emergency message,vanet,interval probabilistic timed automata,quantitative modeling and verification,message transmission probability,probabilistic automata,vehicular ad hoc networks,telecommunication computing,quantitative model verification,interval probabilistic distribution,formal method,formal verification,probability,automated verification technique,reliability,automata,probabilistic logic | Computer science,Automaton,Communication channel,Probabilistic logic,Formal methods,Quantitative model,Vehicular ad hoc network,Distributed computing | Conference |
Citations | PageRank | References |
0 | 0.34 | 7 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Qiang Li | 1 | 84 | 19.63 |
Xiaoyan Wang | 2 | 0 | 0.68 |
Shufen Liu | 3 | 26 | 17.08 |