Logo

examples

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

FMS

Description - Model Specification - Analysis


Description

A polling server system modeled given in [ PCSC ], which is based on [ IT90 ].


Model specification

Snoopy - APNN* - Rewards


Snoopy model with five stations (N=5)

APNN* model for the SPN version (pollingN5.apnn,pollingN10.apnn,pollingN15.apnn,pollingN20.apnn)



Analysis

Reachability graph

Nstatesstate transitions
5200800
1015,36089,600
15737,2806,144,000
2031,457,280340,787,200
251,258,291,20016,777,216,000

CSL formulas

Steady state probability that station 1 is waiting.
Transient probability that station 1 is waiting at time t.

the end

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy