Matches in SemOpenAlex for { <https://semopenalex.org/work/W3108573523> ?p ?o ?g. }
- W3108573523 endingPage "15397" @default.
- W3108573523 startingPage "15385" @default.
- W3108573523 abstract "In this article, we focus on the usage of MQTT (Message Queuing Telemetry Transport) within Connected Vehicles (CVs). Indeed, in the original version of MQTT protocol, the broker is responsible “only” for sending received data to subscribers; abstracting then the underlying mechanism of data exchange. However, within CVs context, subscribers (i.e., the processing infrastructure) may be overloaded with irrelevant data, in particular when the requirement is real or near real-time processing. To overcome this issue, we propose MQTT-CV; a new variant of MQTT protocol, in which the broker is able to perform local processing in order to reduce the workload at the infrastructure; i.e., filtering data before sending them. In this article, we first validate formally the correctness of MQTT-CV protocol (i.e., the three components of the proposed protocol are correctly interacting), through the use of Promela language and its system verification tool; the model checker SPIN. Secondly, using real-world data provided by our car manufacturer partner, we have conducted real implementation and experiments. The obtained results show the effectiveness of our approach in term of data workload reduction at the processing infrastructure. The mean improvement, besides the fact that it is dependent of the target application, was in general about 10 times less in comparison to native MQTT protocol." @default.
- W3108573523 created "2020-12-07" @default.
- W3108573523 creator A5012195474 @default.
- W3108573523 creator A5030673446 @default.
- W3108573523 creator A5053213988 @default.
- W3108573523 creator A5070464735 @default.
- W3108573523 date "2020-12-01" @default.
- W3108573523 modified "2023-10-17" @default.
- W3108573523 title "Formal Verification and Performance Analysis of a New Data Exchange Protocol for Connected Vehicles" @default.
- W3108573523 cites W1517296227 @default.
- W3108573523 cites W1547063305 @default.
- W3108573523 cites W1557855756 @default.
- W3108573523 cites W1973906278 @default.
- W3108573523 cites W2023808162 @default.
- W3108573523 cites W2070652410 @default.
- W3108573523 cites W2111619626 @default.
- W3108573523 cites W2115032392 @default.
- W3108573523 cites W2115309705 @default.
- W3108573523 cites W2126200554 @default.
- W3108573523 cites W2144607680 @default.
- W3108573523 cites W2166656159 @default.
- W3108573523 cites W2728858269 @default.
- W3108573523 cites W604094558 @default.
- W3108573523 doi "https://doi.org/10.1109/tvt.2020.3040817" @default.
- W3108573523 hasPublicationYear "2020" @default.
- W3108573523 type Work @default.
- W3108573523 sameAs 3108573523 @default.
- W3108573523 citedByCount "7" @default.
- W3108573523 countsByYear W31085735232021 @default.
- W3108573523 countsByYear W31085735232022 @default.
- W3108573523 countsByYear W31085735232023 @default.
- W3108573523 crossrefType "journal-article" @default.
- W3108573523 hasAuthorship W3108573523A5012195474 @default.
- W3108573523 hasAuthorship W3108573523A5030673446 @default.
- W3108573523 hasAuthorship W3108573523A5053213988 @default.
- W3108573523 hasAuthorship W3108573523A5070464735 @default.
- W3108573523 hasBestOaLocation W31085735232 @default.
- W3108573523 hasConcept C110251889 @default.
- W3108573523 hasConcept C111919701 @default.
- W3108573523 hasConcept C120314980 @default.
- W3108573523 hasConcept C132868160 @default.
- W3108573523 hasConcept C142724271 @default.
- W3108573523 hasConcept C149635348 @default.
- W3108573523 hasConcept C151730666 @default.
- W3108573523 hasConcept C199360897 @default.
- W3108573523 hasConcept C204787440 @default.
- W3108573523 hasConcept C26324664 @default.
- W3108573523 hasConcept C2776329536 @default.
- W3108573523 hasConcept C2778476105 @default.
- W3108573523 hasConcept C2779343474 @default.
- W3108573523 hasConcept C2780385302 @default.
- W3108573523 hasConcept C31258907 @default.
- W3108573523 hasConcept C41008148 @default.
- W3108573523 hasConcept C55439883 @default.
- W3108573523 hasConcept C71924100 @default.
- W3108573523 hasConcept C77088390 @default.
- W3108573523 hasConcept C79403827 @default.
- W3108573523 hasConcept C81860439 @default.
- W3108573523 hasConcept C86803240 @default.
- W3108573523 hasConceptScore W3108573523C110251889 @default.
- W3108573523 hasConceptScore W3108573523C111919701 @default.
- W3108573523 hasConceptScore W3108573523C120314980 @default.
- W3108573523 hasConceptScore W3108573523C132868160 @default.
- W3108573523 hasConceptScore W3108573523C142724271 @default.
- W3108573523 hasConceptScore W3108573523C149635348 @default.
- W3108573523 hasConceptScore W3108573523C151730666 @default.
- W3108573523 hasConceptScore W3108573523C199360897 @default.
- W3108573523 hasConceptScore W3108573523C204787440 @default.
- W3108573523 hasConceptScore W3108573523C26324664 @default.
- W3108573523 hasConceptScore W3108573523C2776329536 @default.
- W3108573523 hasConceptScore W3108573523C2778476105 @default.
- W3108573523 hasConceptScore W3108573523C2779343474 @default.
- W3108573523 hasConceptScore W3108573523C2780385302 @default.
- W3108573523 hasConceptScore W3108573523C31258907 @default.
- W3108573523 hasConceptScore W3108573523C41008148 @default.
- W3108573523 hasConceptScore W3108573523C55439883 @default.
- W3108573523 hasConceptScore W3108573523C71924100 @default.
- W3108573523 hasConceptScore W3108573523C77088390 @default.
- W3108573523 hasConceptScore W3108573523C79403827 @default.
- W3108573523 hasConceptScore W3108573523C81860439 @default.
- W3108573523 hasConceptScore W3108573523C86803240 @default.
- W3108573523 hasIssue "12" @default.
- W3108573523 hasLocation W31085735231 @default.
- W3108573523 hasLocation W31085735232 @default.
- W3108573523 hasLocation W31085735233 @default.
- W3108573523 hasLocation W31085735234 @default.
- W3108573523 hasLocation W31085735235 @default.
- W3108573523 hasOpenAccess W3108573523 @default.
- W3108573523 hasPrimaryLocation W31085735231 @default.
- W3108573523 hasRelatedWork W2770233943 @default.
- W3108573523 hasRelatedWork W2808909086 @default.
- W3108573523 hasRelatedWork W2920851310 @default.
- W3108573523 hasRelatedWork W2981826255 @default.
- W3108573523 hasRelatedWork W3108573523 @default.
- W3108573523 hasRelatedWork W3191127435 @default.
- W3108573523 hasRelatedWork W4296712975 @default.
- W3108573523 hasRelatedWork W4327884610 @default.
- W3108573523 hasRelatedWork W4379141734 @default.