Performance Evaluation by Ant Colony Algorithm

Author

Chen, Jianfeng ; Wu, Jinzhao

Author_Institution

Chengdu Inst. of Comput. Applic., Chinese Acad. of Sci., Chengdu, China

fYear

2010

fDate

24-25 July 2010

Firstpage

138

Lastpage

141

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ITCS.2010.40

Filename

5557312