Fujitsu researchers using PRISM win Best Paper Award at the IEEE International Conference on Cloud Computing (CLOUD 2011) in Washington.

Shinji Kikuchi and Yasuhide Matsumoto from Fujitsu Laboratories,  used PRISM to model and analyse performance of live migration in cloud computing systems.

PRISM is a probabilistic model checker developed in the group of Professor Marta Kwiatkowska. It has been applied to analyse performance, reliability, security and dependability of a wide rage of computer systems and protocols. For more information about the Fujitsu approach and PRISM see www.prismmodelchecker.org