TY  - CONF
AU  - Ciancamerla, Ester
AU  - Minichino, Michele
AU  - Serro, Stefano
AU  - Tronci, Enrico
ED  - Anderson, S.
ED  - Felici, M.
ED  - Littlewood, B.
PY  - 2003
DA  - 2003//
TI  - Automatic Timeliness Verification of a Public Mobile Network
BT  - 22nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP)
T3  - Lecture Notes in Computer Science
SP  - 35
EP  - 48
VL  - 2788
PB  - Springer
CY  - Edinburgh, UK
AB  - This paper deals with the automatic verification of the timeliness of Public Mobile Network (PMN), consisting of Mobile Nodes (MNs) and Base Stations (BSs). We use the Mur$\varphi$ Model Checker to verify that the waiting access time of each MN, under different PMN configurations and loads, and different inter arrival times of MNs in a BS cell, is always below a preassigned threshold. Our experimental results show that Model Checking can be successfully used to generate worst case scenarios and nicely complements probabilistic methods and simulation which are typically used for performance evaluation.
SN  - 978-3-540-20126-7
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Ciancamerla2003.pdf
UR  - https://doi.org/10.1007/978-3-540-39878-3_4
DO  - 10.1007/978-3-540-39878-3_4
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=38), last updated on Thu, 22 Nov 2012 14:59:18 +0100
ID  - Ciancamerla_etal2003
ER  -