• Jun 14, 2017 News!Vol.8, No.5 has been indexed by EI (Inspec).   [Click]
  • Jul 19, 2017 News!Vol.9, No.4 has been published with online version. 16 peer reviewed articles from 16 specific areas are published in this issue.   [Click]
  • Jun 14, 2017 News!Vol.9, No.3 has been published with online version. 15 peer reviewed articles from 8 specific areas are published in this issue.   [Click]
General Information
Editor-in-chief
Prof. Wael Badawy
Department of Computing and Information Systems Umm Al Qura University, Canada
I'm happy to take on the position of editor in chief of IJCTE. We encourage authors to submit papers concerning any branch of computer theory and engineering.
IJCTE 2017 Vol.9(3): 162-166 ISSN: 1793-8201
DOI: 10.7763/IJCTE.2017.V9.1131

Evaluating FTTT Protocol via PRISM, PRISM-symm and GRIP

Sania Bhatti, Mohsin Memon, and Sheeraz Memon
Abstract—Abstract—Probabilistic model checking is used for verifying stochastic behaviors of systems. Model checking plays imperative role for scrutinizing of novel protocols in almost every field including computer communications, networks, security, and biology prior to extensive simulations. In this paper we present an overview of few diverse case studies which are implemented using one of the leading probabilistic symbolic models checking tool, called Probabilistic Symbolic Model (PRISM). The successful applicability of PRISM in wider range of application domains motivated us to present a comparison of those applications in a precise manner. We also presented an enhanced version of Continuous-time Markov Chain (CTMC) model for evaluation of Fault Tolerant Target Tracking (FTTT) protocol implemented in wireless sensor networks. PRISM is preferred for the probabilistic modeling of FTTT protocol to aid symmetry reduction during modeling. We proceeded with probabilistic results which pinpointed the comparison of FTTT performance via PRISM, PRISM-symm and generic representatives in PRISM (GRIP) models. Modeling experiments confirmed that PRISM-symm is giving improved outcomes in comparison with PRISM and GRIP.

Index Terms—Index Terms—CTMC model, FTTT protocol, model checking, PRISM, PRISM-symm, GRIP.

S. Bhatti and M. Memon are with the Department of Software Engineering, Mehran University of Engineering and Technology, Jamshoro, Sindh, Pakistan (e-mail: sania.bhatti@faculty.muet.edu.pk, mohsin.memon@faculty.muet.edu.pk). S. Memon is with the Computer Systems Engineering Department, Mehran University of Engineering and Technology, Jamshoro, Sindh, Pakistan (e-mail: mesheeraz@hotmail.com).

[PDF]

Cite:Sania Bhatti, Mohsin Memon, and Sheeraz Memon, "Evaluating FTTT Protocol via PRISM, PRISM-symm and GRIP," International Journal of Computer Theory and Engineering vol. 9, no. 3, pp. 162-166, 2017.

Copyright © 2008-2015. International Journal of Computer Theory and Engineering. All rights reserved.
E-mail: ijcte@vip.163.com