Title :
Performance Evaluation by Ant Colony Algorithm
Author :
Chen, Jianfeng ; Wu, Jinzhao
Author_Institution :
Chengdu Inst. of Comput. Applic., Chinese Acad. of Sci., Chengdu, China
Abstract :
Besides traditional verification of system functions, performance evaluation in modern hardware and software systems has received extensive attention. Performance evaluation aims at obtaining quantitative measures of the system to test whether reliability-related properties are warranted. In this paper, model of the system is expressed in the form of IMC, a mixed model for describing both action-based and state-based systems. And by converting performance properties of the system into aCSL formulae, we can formally verify them by model checking. To accelerate the process of IMC performance evaluation, a modified version of ant colony algorithm is proposed in the paper. Compared with other numerical methods, the ant colony algorithm reduces unnecessary model elements and the execution efficiency is largely improved to tackle more complex system performance evaluation problems.
Keywords :
Markov processes; formal verification; optimisation; software performance evaluation; action based continuous stochastic logic; ant colony algorithm; interactive Markov chain; model checking; performance evaluation; state-based systems; Algorithm design and analysis; Analytical models; Complexity theory; Markov processes; Numerical models; Performance evaluation; Telescopes; ant colony algorithm; interactive markov chains; model checking; performance evaluation;
Conference_Titel :
Information Technology and Computer Science (ITCS), 2010 Second International Conference on
Conference_Location :
Kiev
Print_ISBN :
978-1-4244-7293-2
Electronic_ISBN :
978-1-4244-7294-9
DOI :
10.1109/ITCS.2010.40
