Applying formal methods to networking: theory, techniques, and applications
Despite its great importance, modern network infrastructure is remarkable for the lack of rigor
in its engineering. The Internet, which began as a research experiment, was never designed …
in its engineering. The Internet, which began as a research experiment, was never designed …
UPPAAL-SMC: Statistical model checking for priced timed automata
This paper offers a survey of uppaalsmc, a major extension of the real-time verification tool
uppaal. uppaalsmc allows for the efficient analysis of performance properties of networks of …
uppaal. uppaalsmc allows for the efficient analysis of performance properties of networks of …
Statistical model checking for networks of priced timed automata
This paper offers a natural stochastic semantics of Networks of Priced Timed Automata
(NPTA) based on races between components. The semantics provides the basis for …
(NPTA) based on races between components. The semantics provides the basis for …
A formal model and analysis of an IoT protocol
B Aziz - Ad Hoc Networks, 2016 - Elsevier
We present a formal model of the MQ Telemetry Transport version 3.1 protocol based on a
timed message-passing process algebra. We explain the modelling choices that we made …
timed message-passing process algebra. We explain the modelling choices that we made …
Parameterized verification of ad hoc networks
We study decision problems for parameterized verification of a formal model of Ad Hoc
Networks with selective broadcast and spontaneous movement. The communication …
Networks with selective broadcast and spontaneous movement. The communication …
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
PC Ölveczky, S Thorvaldsen - Theoretical Computer Science, 2009 - Elsevier
The purpose of this paper is to show how the rewriting-logic-based Real-Time Maude
language and tool can be used to formally model, simulate, and model check advanced …
language and tool can be used to formally model, simulate, and model check advanced …
Wireless sensor networks for environmental research: A survey on limitations and challenges
A De La Piedra, F Benitez-Capistros… - Eurocon …, 2013 - ieeexplore.ieee.org
Wireless Sensor Networks (WSNs) have permeated the entire fabric of academic disciplines
that greatly rely on control and decision-making processes such as medical health care …
that greatly rely on control and decision-making processes such as medical health care …
Automated analysis of AODV using UPPAAL
This paper describes an automated, formal and rigorous analysis of the Ad hoc On-Demand
Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh …
Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh …
On the complexity of parameterized reachability in reconfigurable broadcast networks
We investigate the impact of dynamic topology reconfiguration on the complexity of
verification problems for models of protocols with broadcast communication. We first …
verification problems for models of protocols with broadcast communication. We first …
Tdma versus csma/ca for wireless multihop communications: A stochastic worst-case delay analysis
Wireless networks have become a very attractive solution for soft real-time data transport in
the industry. For such technologies to carry real-time traffic, reliable bounds on end-to-end …
the industry. For such technologies to carry real-time traffic, reliable bounds on end-to-end …