Design and implementation of an analyzer for a timed pi-calculus

In this thesis, we design and implement an analysis tool for a language called kiltera which is a timed extension of pi-calculus. kiltera allows the modeling of concurrent, mobile, real-time and distributed systems. Our analyzer takes a kiltera model as input and performs analyses such as detection of deadlock states, stable states etc. To improve performance, the analyzer uses some transformation techniques to simplify the input kiltera model without changing its behavior. We provide a detailed description of the design and implementation of the analyzer and discuss some performance optimizations. Finally, we present some case studies to illustrate the capabilities of our analyzer.

Department dc:contributor.department

Computing

Year dc:date.issued

2010

Author dc:creator

• Rahman, MD Rezoanoor

Advisor dc:contributor.supervisor

• Dingel, Juergen

• kiltera
• piklt
• timed pi calculus
• analyzer

Language dc:language.iso

eng

Handle dc:identifier.uri

http://hdl.handle.net/1974/6108

OAI identifier oai:identifier

oai:queensu.scholaris.ca:1974/6108