Title :
Automatic Analysis of TiMo Systems in PAT
Author :
Ciobanu, Gabriel ; Manchun Zheng
Author_Institution :
Inst. of Comput. Sci., Iasi, Romania
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;
Conference_Titel :
Engineering of Complex Computer Systems (ICECCS), 2013 18th International Conference on
Conference_Location :
Singapore
Print_ISBN :
978-0-7695-5007-7
DOI :
10.1109/ICECCS.2013.25
