Operators for Analyzing Software Reliability with Petri net

被引：1
|
作者：
Yu Ruiqiang [1 ]
Huang Zhiqiu [1 ]
机构：
[1] Nanjing Univ Aeronaut & Astronaut, Coll Informat Sci & Technol, Nanjing 210016, Peoples R China
来源：
ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 2 | 2008年
关键词：
Petri net; software reliability; operator; reduction; decomposition;
D O I：
10.1109/ISISE.2008.100
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Reliability is one of the most important indicators for software quality. Among the present researches of software reliability, majority focus on the appliance of probability statistics model for the whole software system. Few work based on software model for analyzing the software reliability is learned. Reliability Petri Net (RPN) is presented in this paper. In RPN, transaction means the function or module of software, and is marked with reliability gene. Based on analyzing the Petri net structure, four reliability operators are developed to perform the relationships between tractions. Reliability formulas are provided respectively for the reduction and decomposition operations of Petri net. Furthermore, priority of these reliability operators is given. With this research, more complex Petri net model could be greatly simplified and the reliability of the system could be evaluated effectively and easily. An example is provided for demonstrating the practicability of this reliability analysis method.
引用
收藏
页码：358 / 361
页数：4
相关论文
共 50 条
  • [31] A new software project simulator based on generalized stochastic Petri-net
    Kusumoto, S
    Mizuno, O
    Kikuno, T
    Hirayama, Y
    Takagi, Y
    Sakamoto, K
    PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, : 293 - 302
  • [32] OR-transition Colored Petri Net and its Application in Modeling Software System
    Yu, Yong
    Li, Tong
    Liu, Qing
    Dai, Fei
    Zhao, Na
    WKDD: 2009 SECOND INTERNATIONAL WORKSHOP ON KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 2009, : 15 - 18
  • [33] RELIABILITY ANALYSIS OF FPSO OIL AND GAS PROCESSING SYSTEM BASED ON PETRI NET
    Kang, Jichuan
    Geng, Xinyuan
    Sun, Liping
    Jin, Peng
    PROCEEDINGS OF THE ASME 39TH INTERNATIONAL CONFERENCE ON OCEAN, OFFSHORE AND ARCTIC ENGINEERING, OMAE2020, VOL 2A, 2020,
  • [34] A Petri net tool for software performance estimation based on upper throughput bounds
    Rodriguez, Ricardo J.
    AUTOMATED SOFTWARE ENGINEERING, 2017, 24 (01) : 73 - 99
  • [35] Petri Net-Based Reliability Assessment and Migration Optimization Strategy of SFC
    Rui, Lanlan
    Chen, Xushan
    Gao, Zhipeng
    Li, Wenjing
    Qiu, Xuesong
    Meng, Luoming
    IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 2021, 18 (01): : 167 - 181
  • [36] Extensional Petri net
    Dong, Xiaoju
    Fu, Yuxi
    Varacca, Daniele
    FORMAL ASPECTS OF COMPUTING, 2019, 31 (01) : 47 - 58
  • [37] Soft Petri Net
    Bandyopadhyay, Sibasis
    Suraj, Zbigniew
    Nayak, Prasun Kumar
    ROUGH SETS, IJCRS 2019, 2019, 11499 : 253 - 264
  • [38] Petri Net distributed simulation using HLA based on Petri net components
    Combettes, S
    Nketsa, A
    Modelling and Simulation 2003, 2003, : 503 - 507
  • [39] System of Systems Architecture Modeling and Mission Reliability Analysis Based on DoDAF and Petri Net
    Chen Zhiwei
    Zhao Tingdi
    Jiao Jian
    Li Yaqiu
    2019 ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2019) - R & M IN THE SECOND MACHINE AGE - THE CHALLENGE OF CYBER PHYSICAL SYSTEMS, 2019,
  • [40] An improved petri net for fault analysis of an electronic system with hybrid fault of software and hardware
    Bai, Song
    Li, Yan-Feng
    Huang, Hong-Zhong
    Yu, Aodi
    Zeng, Ying
    ENGINEERING FAILURE ANALYSIS, 2021, 120
12345