计算机工程 ›› 2007, Vol. 33 ›› Issue (21): 15-17.doi: 10.3969/j.issn.1000-3428.2007.21.006

• 博士论文 • 上一篇    下一篇

管道-过滤器风格的并行软件可靠性建模

吴 震,孟洛明   

  1. (北京邮电大学网络与交换国家重点实验室,北京 100876)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-11-05 发布日期:2007-11-05

Reliability Modeling for Parallel Software with Pipe-filter Style

WU Zhen, MENG Luo-ming   

  1. (State Key Laboratory of Networking and Switching, Beijing University of Posts and Telecommunications, Beijing 100876)
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-11-05 Published:2007-11-05

摘要: 当前基于体系结构的软件可靠性评估技术存在2个问题:不适合具有并行性质的软件和难以分析部件级的失效恢复行为。针对这2个问题,以管道-过滤器风格的并行软件为研究对象,该文使用基于时间的Petri网分析了管道-过滤器风格的并行软件运行阶段可靠性,并根据Petri网模型的特点,提出了一种分解模型和近似求解方法。数字实例证明了该方法的有效性和简便性。

关键词: 软件可靠性, 管道-过滤器风格, 并行软件, Petri网

Abstract: Current architecture-based software reliability evaluation is suitable for sequential software but not parallel software, and it is difficult to analyze the failure and restart behavior of component. To solve these problems, parallel software with pipe-filter style is selected as the research object and a new model is proposed to analyze the reliability of it by using time-based Petri nets. According to the characteristics of its model, a specifical solution to decompose and compute approximately the Petri net model is presented and it can avoid the explosion of state space. Numerical examples show the method is valid and convenient.

Key words: software reliability, pipe-filter style(PFS), parallel software, Petri net

中图分类号: