Modelling and analyzing dynamic source routing protocol with general distributions

被引：0
作者：
Benzekri, A [1 ]
Salem, O [1 ]
机构：
[1] Univ Toulouse 3, Inst Rech Informat Toulouse, F-31062 Toulouse 04, France
来源：
ASMTA 2004: 11TH INTERNATIONAL CONFERENCE ON ANALYTICAL AND STOCHASTIC MODELLING TECHNIQUESAND APPLICATIONS, PROCEEDINGS | 2004年
关键词：
SPA; CTMC; performance evaluation; general distributions; insensitivity; MANETs; DSR;
D O I：
暂无
中图分类号：
O21 [概率论与数理统计]; C8 [统计学];
学科分类号：
020208 ; 070103 ; 0714 ;
摘要：
In this paper, we present an integrated algebraic model of the dynamic source routing protocol used in ad hoc networks. Algebraic description of this protocol has been realized by means of powerful operators of Extended Markovian Process Algebra EMPA and by exploiting value passing feature in order to express activities execution delay with general distribution. Afterwards, functional properties of the model are formally verified using mu-calculus/CTL model checking formulas and performance parameters are assessed via simulation through the EMPA software tool.
引用
收藏
页码：173 / 179
页数：7
相关论文
共 19 条
  • [1] ALDINI A, 2001, ACM T MODELING COMPU, P1
  • [2] BENZEKRI A, 2002, 17 INT S COMP INF SC, P415
  • [3] A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
    Bernardo, M
    Gorrieri, R
    [J]. THEORETICAL COMPUTER SCIENCE, 1998, 202 (1-2) : 1 - 54
  • [4] Bernardo M., 1996, LECT NOTES COMPUTER, V1119, P315
  • [5] BERNARDO M, 1997, P 5 INT WORKSH PROC, P35
  • [6] BERNARDO M, 1996, P 4 INT WORKSH PROC, P58
  • [7] BERNARDO M, 2003, ACM T COMPUTATIONAL
  • [8] BERNARDO M, 1998, INT J INFORMATIN COM, V144, P120
  • [9] INTRODUCTION TO THE ISO SPECIFICATION LANGUAGE LOTOS
    BOLOGNESI, T
    BRINKSMA, E
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 14 (01): : 25 - 59
  • [10] Bravetti M, 1998, LECT NOTES COMPUT SC, V1466, P405, DOI 10.1007/BFb0055638
12