Modeling and verifying clustering properties in a vehicular ad hoc network protocol with Event-B
Vehicular ad hoc network (VANET) routing protocols resort to clustering in order to optimize
broadcast traffic flooding. Clustering schemes usually rely on rules which apply to each …
broadcast traffic flooding. Clustering schemes usually rely on rules which apply to each …
On formal modeling and validation of wireless sensor network protocols
Formal verification is becoming more and more important in the field of wireless networks
(WSN). The general purpose formal method called Event-B is the latest incarnation of the B …
(WSN). The general purpose formal method called Event-B is the latest incarnation of the B …
Formal Development of a Delay-Tolerant Multicast Protocol for Wireless Sensors
E Sekerinski, T Zhou - IFIP International Internet of Things Conference, 2024 - Springer
We consider environmental monitoring in a remote area with limited connectivity where
motes can join and leave the network arbitrarily, the topology is dynamic, transmission is …
motes can join and leave the network arbitrarily, the topology is dynamic, transmission is …
Formalising the Optimised Link State Routing Protocol
R Barry, R van Glabbeek, P Höfner - arXiv preprint arXiv:2004.13285, 2020 - arxiv.org
Routing protocol specifications are traditionally written in plain English. Often this yields
ambiguities, inaccuracies or even contradictions. Formal methods techniques, such as …
ambiguities, inaccuracies or even contradictions. Formal methods techniques, such as …
Adaptive formal framework for WMN routing protocols
Abstract Wireless Mesh Networks (WMNs) are self-organising and self-healing wireless
networks that provide support for broadband communication without requiring fixed …
networks that provide support for broadband communication without requiring fixed …
[PDF][PDF] SMT-BASED VERIFICATION OF BUILDING MANAGEMENT SYSTEMS
P SADIGOVA - 2022 - kclpure.kcl.ac.uk
In this thesis, we present a formal framework for deciding the security of smart buildings.
Over the past decade, smart buildings have become increasingly prominent, largely due to …
Over the past decade, smart buildings have become increasingly prominent, largely due to …
De la modélisation formelle à la simulation à évènements discrets: application à la conception et à l'évaluation de protocoles sûrs et sécurisés pour les …
E Chebbi - 2019 - theses.hal.science
La conception de protocoles de communication repose généralement sur des modèles
fonctionnels élaborés à partir des besoins du système. Dans les systèmes de transport …
fonctionnels élaborés à partir des besoins du système. Dans les systèmes de transport …
Uppaal vs event-b for modelling optimised link state routing
In this paper we compare models developed in two formal frameworks, Uppaal and Event-B,
for the Optimised Link State Routing (OLSR) protocol. OLSR is one of the proactive routing …
for the Optimised Link State Routing (OLSR) protocol. OLSR is one of the proactive routing …