LNCS 2788 Automatic Timeliness Verification of a Public Mobile Network 1st Edition by Ciancamerla, Minichino, Serro, Tronci  ISBN 3540398783 9783540398783

LNCS 2788 – Automatic Timeliness Verification of a Public Mobile Network 1st Edition by E. Ciancamerla, M. Minichino, S. Serro, E. Tronci  – Ebook PDF Instant Download/Delivery. 3540398783, 9783540398783

Full download LNCS 2788 – Automatic Timeliness Verification of a Public Mobile Network 1st Edition after payment

 

 

Product details:

ISBN 10: 3540398783 

ISBN 13: 9783540398783

Author:  E. Ciancamerla, M. Minichino, S. Serro, E. Tronci  

LNCS 2788 – Automatic Timeliness Verification of a Public Mobile Network 1st Edition: 

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 Murphi 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.

 

LNCS 2788 – Automatic Timeliness Verification of a Public Mobile Network 1st Edition Table of contents:

1 Introduction

2 Public Mobile Network

3 Assumptions for the PMN Model

4 Murphi Model of PMN

4.1 Model of the Base Station

4.2 Model of the Mobile Nodes

5 Experimental Results

6 Discussion and Conclusions

 

People also search for LNCS 2788 – Automatic Timeliness Verification of a Public Mobile Network 1st Edition:

automated verification of employment
    
an automatic process
    
an automatic transmission
    
b automatic transmission
    
c8 automatic extension