DocumentCode
3077499
Title
Automatic Analysis of TiMo Systems in PAT
Author
Ciobanu, Gabriel ; Manchun Zheng
Author_Institution
Inst. of Comput. Sci., Iasi, Romania
fYear
2013
fDate
17-19 July 2013
Firstpage
121
Lastpage
124
Abstract
TiMo is a process calculus for mobile systems where timers could be to used to control process mobility and interaction. Despite its syntactic simplicity, TiMo is able to describe complex systems. Interesting properties of such systems refers to process migration, time constraints, bounded liveness and optimal reachability. In this work we describe a tool, called TiMo@PAT, developed by using Process Analysis Toolkit (PAT), an extensible platform for model checkers. We illustrate the capability of TiMo@PAT by analyzing some properties of a distributed system.
Keywords
distributed processing; mathematics computing; mobile computing; process algebra; PAT; TiMo systems; automatic analysis; bounded liveness; distributed system; interaction process; mobile systems; mobility process; optimal reachability; process analysis toolkit; process calculus; process migration; time constraints; Analytical models; Clocks; Model checking; Process control; Semantics; Servers; Syntactics; Model Checking; PAT; TiMo; Timed Mobility;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems (ICECCS), 2013 18th International Conference on
Conference_Location
Singapore
Print_ISBN
978-0-7695-5007-7
Type
conf
DOI
10.1109/ICECCS.2013.25
Filename
6601812
Link To Document