DocumentCode :
3092501
Title :
Modeling and Analysis of Self-Reflection Based on Continuous State-Space Approximation of PEPA
Author :
Lv, Hongwu ; Wang, Huiqiang ; Zhao, Qian ; Ma, Chunguang
Author_Institution :
Coll. of Comput. Sci. & Technol., Harbin Eng. Univ., Harbin, China
fYear :
2009
fDate :
12-14 Dec. 2009
Firstpage :
84
Lastpage :
89
Abstract :
With the application and popularization of autonomic computing in the field of aerospace exploration, large-scale database management and critical network control, existing self-reflection models based on natural language or diagram can not meet the requirements of analysis and verification. In this article, two kinds of self-reflection models, one is the static and the other is dynamic, capable of model checking and quantification analysis are separately built using performance evaluation process algebra (PEPA). Besides, huge state-spaces of models cause that the traditional Markov chains implied are hard to solve, thus we use an approach of continuous state-space approximation, a recent breakthrough in the analysis of stochastic process algebra, to generate ordinary differential system (ODE) from the PEPA model avoiding state-space explosion. By analyzing the ODEs, it is found that reducing the latency time of monitoring as well as shortening the length of execution instructions plays an important role in improving the performance of self-reflection.
Keywords :
Markov processes; approximation theory; fault tolerant computing; process algebra; program verification; Markov chains; PEPA model; aerospace exploration; autonomic computing; continuous state-space approximation; critical network control; large-scale database management; model checking; natural language; ordinary differential system; performance evaluation process algebra; self-reflection modelling; state-space explosion; stochastic process algebra; Aerodynamics; Aerospace control; Algebra; Computer network management; Computer networks; Databases; Large-scale systems; Natural languages; Performance analysis; Stochastic processes; ODEs; PEPA; autonomic computing; self-reflection;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Dependable, Autonomic and Secure Computing, 2009. DASC '09. Eighth IEEE International Conference on
Conference_Location :
Chengdu
Print_ISBN :
978-0-7695-3929-4
Electronic_ISBN :
978-1-4244-5421-1
Type :
conf
DOI :
10.1109/DASC.2009.98
Filename :
5380285
Link To Document :
بازگشت