True Concurrency Semantics

Guellati, Souad; Kitouni, Ilham; Matmat, Riad; Saïdouni, Djamel Eddine

doi:10.4018/ijertcs.2014040103

Cited by 2 publications

(1 citation statement)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To verify some behavioural properties, the logic CTL (Computation Tree Logic) (Clarke et al, 1986) is used to specify those properties. In UPPAAL tool, the CTL properties are applied on the system's state space, in order to detect precocious errors in the progress (Guellati et al, 2014).…”

Section: Timed Automata (Alur and Dill 1994)mentioning

confidence: 99%

Two-Level Data Collection for an Energy-Efficient Solution in Wireless Sensor Networks

Benaziz

Kazar

Kahloul

et al. 2016

International Journal of Agricultural and Environmental Information Systems

Self Cite

View full text Add to dashboard Cite

Density in sensor networks often causes data redundancy, which is often the origin of high energy consumption. Data collection techniques are proposed to avoid retransmission of the same data by several sensors. In this paper, the authors propose a new data collection strategy based on static agents and clustering nodes in wireless sensor network (WSN) for an efficient energy consumption called: Two-Level Data Collection Strategy (TLDC). It consists in two-level hierarchy of nodes grouping. The technique is based on an experience building to perform a reorganization of the groups. Cooperation between agents can be used to reduce the communication cost significantly, by managing the data collection smartly. In order to validate the proposed scheme, the authors use the timed automata (TA) model and UPPAAL engine to validate the proposed strategy; the results after and before reorganization are compared. They establish that the proposed approach reduces the cost of communication in the group and thus minimizes the consumed energy.

show abstract

Section: Timed Automata (Alur and Dill 1994)mentioning

confidence: 99%