Paper Title:
Evaluation of Software Dependability Based on Pi Calculus
  Abstract

Evaluation is an important and basic issue for software dependability. However, traditional researches mostly focused on the conceptions and properties of dependability, which resulted in lots of different views about software dependability. Based upon Pi Calculus, dependable action path of software and real action path are set up through series of actions, which is decomposed by running software behaviors. In addition, three kinds of relationships between behaviors are defined. Consequently, the dependability is calculated by comparing the real running software actions to the decomposed ones based on the defined relationships. Experimental result conducted by MWB shows that the proposed method in one behavior is reasonable. At last, a real experiment proves the proposed measure method is more valid than traditional one.

  Info
Periodical
Key Engineering Materials (Volumes 439-440)
Edited by
Yanwen Wu
Pages
832-837
DOI
10.4028/www.scientific.net/KEM.439-440.832
Citation
Q. Zhao, H. Q. Wang, G. S. Feng, H. W. Lv, "Evaluation of Software Dependability Based on Pi Calculus", Key Engineering Materials, Vols. 439-440, pp. 832-837, 2010
Online since
June 2010
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Yan Kun Li
Abstract:For the subjectivity of attribute value in the fuzzy attribute information system, this paper proposes a construction method of fuzzy...
130
Authors: Li Ming Yu, Shou Qiang Wei, Tian Tian Xing, Hong Liang Liu
Chapter 3: Engineering Technology
Abstract:Generalized stochastic Petri nets is adopted to develop the reliability models of two operating modes of the hybrid actuation system, which...
1914
Authors: Qing Quan Meng, Jun Ling Kan
Chapter 11: Artificial Intelligence
Abstract:The relationship was analyzed among dependability of core attribute and other mono-attributes in terms of mono-attribute dependability and...
1700
Authors: Xiao Hai Han, Yao Hui Zhang, Shao Hua Wang, Guang Ming Zhang, Shuai Shuai Wang
Chapter 11: Industrial Engineering, Production Management, Operations, Quality and Control
Abstract:This paper evaluated the equipment’s dependability by the way of analytical method, and built the model of it. Combined the equipment’s...
1906