Performance evaluation of polling-based communication systems using SPNs

Haverkort, Boudewijn R.

doi:10.1007/bfb0097777

Cited by 5 publications

(1 citation statement)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This case study facilitates a comparison with [3]. The cyclic polling server (CPS) system [16] is a queuing system consisting of a server and N stations each equipped with a queue of capacity 1, cf. Fig.…”

Section: Cyclic Polling Servermentioning

confidence: 99%

Efficient CTMC Model Checking of Linear Real-Time Objectives

Barbot

Chen

Han

et al. 2011

Tools and Algorithms for the Construction and Analysis of Systems

View full text Add to dashboard Cite

This paper makes verifying continuous-time Markov chains (CTMCs) against deterministic timed automata (DTA) objectives practical. We show that verifying 1-clock DTA can be done by analyzing subgraphs of the product of CTMC C and the region graph of DTA A. This improves upon earlier results and allows to only use standard analysis algorithms. Our graph decomposition approach naturally enables bisimulation minimization as well as parallelization. Experiments with various examples confirm that these optimizations lead to significant speed-ups. We also report on experiments with multiple-clock DTA objectives. The objectives and the size of the problem instances that can be checked with our prototypical tool go (far) beyond what could be checked so far.

show abstract

Section: Cyclic Polling Servermentioning

confidence: 99%

Efficient CTMC Model Checking of Linear Real-Time Objectives

Barbot

Chen

Han

et al. 2011

Tools and Algorithms for the Construction and Analysis of Systems

View full text Add to dashboard Cite

show abstract

A method for calculating successive approximate solutions for a class of block banded M/G/1 type Markovian models

Meo¹,

Silva²,

Marsan³

2001

Performance Evaluation

View full text Add to dashboard Cite

Supervision and control system of metropolitan scope based on public communication networks

Sempere¹,

Albero²,

Silvestre-Blanes³

2003

IFAC Proceedings Volumes

View full text Add to dashboard Cite

The present systems of control based on polling by radio frequency must evolve to be able to carry advanced telecommunication services, such as capture and multimedia information management as well as control information. In this paper a supervision and control system based in public networks that complements a classic polling system allowing to incorporate new information services and eliminating the typical long delays of these kinds of systems is described. Two alternatives of communication are evaluated, point to point connections and Virtual Private Networks, VPNs/IP on ISDN, for the interconnection of the stations and the control center. For this, images are transmitted as well as the control information through both types of connection, the throughput of the transmission is evaluated and its behavior is observed. Compression techniques are used and the different parameters that can influence the compressed image quality are analyzed. The viability of this type of solution in the proposed scenarios is demonstrated.

show abstract

Performance evaluation of polling-based communication systems using SPNs

Cited by 5 publications

References 24 publications

Efficient CTMC Model Checking of Linear Real-Time Objectives

Efficient CTMC Model Checking of Linear Real-Time Objectives

A method for calculating successive approximate solutions for a class of block banded M/G/1 type Markovian models

Supervision and control system of metropolitan scope based on public communication networks

Contact Info

Product

Resources

About