Loading...

A Stochastic Process Algebra for Ad Hoc Protocols Verification

Talebi, Mahmood | 2011

472 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 41701 (19)
  4. University: Sharif University of Technology
  5. Department: Computer Engineering
  6. Advisor(s): Movaghar, Ali
  7. Abstract:
  8. Processalgebras,acompositionalmethodofmodelingsystemsandtheirbehavioural features, have been a key instrument in the verification of systems and have strived to completely span a whole spectrum of verification solutions for diverse areas of applications. In this sense, modeling and analysis of the performance metrics in a Mobile Ad hoc Network (MANET) in contrast to other systems, face different challenges which demand different strategies. Hence, our goal here is to model and analyze the qualitative and quantitative aspects of MANETs within one especially designed compositional framework. To achieve this framework, we will first have a look at the different methods which aim to model MANETs and verify their properties and then we wil extend aspecific process algebra, the Restricted Broadcast Process Theory with stochastic features: we redesign the MANET’s lower layers abstraction, we extend the actions with delays and probabilities and we will tailor a whole different semantics model to accomodate performance evaluation which is particularly designed to emphasize the mobility features in MANETs. Also during these extensions we will try to give the reader a view of what challenges have been faced, what solutions does the literature suggest and what solutions we have chosen in our framework, together with the reason or proof for the preference of a solution. To further complete the framework we have proposed, we will also try to develop a toolset to support our framework and carry out the aforementioned analysis routines. Finally, we will demonstrate the utilization and applicability of our toolset with the implementation and analysis of a case study and by this a comprehensive proposal for the development of a toolset is made.
  9. Keywords:
  10. Performance Evaluation ; Ad Hoc Network ; Process Algebra ; Verification

 Digital Object List

 Bookmark

...see more