Stochastic Modelling of Communication Protocols from Source Code | Zendy

M. J. A. Smith | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Stochastic Modelling of Communication Protocols from Source Code

Author(s) -

M. J. A. Smith

Publication year - 2007

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2007.08.013

Subject(s) - computer science , abstraction , source code , construct (python library) , theoretical computer science , protocol (science) , code (set theory) , simple (philosophy) , model checking , programming language , function (biology) , interpretation (philosophy) , process (computing) , process calculus , integer (computer science) , algorithm , set (abstract data type) , medicine , philosophy , alternative medicine , epistemology , pathology , evolutionary biology , biology

A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe and motivate similar extensions to quantitative / performance analyses, with particular emphasis on communication protocols. The central aim is to extract a stochastic model (in the PEPA language) from such source code. We construct a model compositionally, so that each function in the system corresponds to a sequential PEPA process. Such a process is derived by abstract interpretation over the state machine of a function, using interval abstraction to represent linear expressions of integer variables. We illustrate this by an analysis of a simple protocol

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research