Software Architecture Modeling and Reliability Evaluation Based on Petri Net

2017 ◽  
Author(s):  
Chi Zhang ◽  
Yunyun Ma ◽  
Xiaohua Wang ◽  
Ruixue Wang
Keyword(s):  
Software Architecture ◽  
Petri Net ◽  
Reliability Evaluation ◽  
Architecture Modeling

Real-Time Embedded Software Architecture Modeling and Reliability Evaluation Based on Time-Extended Petri Net

2014 ◽  
Vol 651-653 ◽  
pp. 1888-1892 ◽  
Author(s):  
Hong Bing Li ◽  
Ming Wei Wang
Keyword(s):  
Software Architecture ◽  
Petri Net ◽  
System Reliability ◽  
Embedded Software ◽  
Reliability Evaluation ◽  
Good Ability ◽  
Software Quality Evaluation ◽  
Important Quality ◽  
Architecture Modeling ◽  
Set Up

Software reliability is one of the most important quality indices in software quality evaluation. Reliability analysis based on software architecture has become a researching hotspot. This paper makes a review on existed architecture-based reliability evaluation models, and puts forward the shortage of these models. As petri net has a good ability of description for concurrency and asynchronism, this paper focuses on the research of petri net model. Transitions are divided into time transitions and instantaneous transitions. Time-related reliability, including time-delay reliability and temporal reliability, are added. Then the reachable state transition matrix is set up and system reliability evaluation proceeds. The method above is used into a avionics embedded software. At last we accomplish the architecture modeling, reliability evaluation, proving the effectiveness and feasibility of this method.

scholarly journals SAM-SoS: A Stochastic Software Architecture Modeling and Verification Approach for Complex System-of-Systems

IEEE Access ◽  
2020 ◽  
Vol 8 ◽  
pp. 177580-177603 ◽  
Author(s):  
Ahmad Mohsin ◽  
Naeem Khalid Janjua ◽  
Syed M. S. Islam ◽  
Muhammad Ali Babar
Keyword(s):  
Complex System ◽  
Software Architecture ◽  
System Of Systems ◽  
Architecture Modeling

scholarly journals Reliability Evaluation for Manufacturing System Based on Dynamic Adaptive Fuzzy Reasoning Petri Net

IEEE Access ◽  
2020 ◽  
Vol 8 ◽  
pp. 167276-167287
Author(s):  
Lixiang Wang ◽  
Wei Dai ◽  
Jun Ai ◽  
Weiwei Duan ◽  
Yu Zhao
Keyword(s):  
Petri Net ◽  
Manufacturing System ◽  
Fuzzy Reasoning ◽  
Reliability Evaluation ◽  
Adaptive Fuzzy
Sign in / Sign up

Export Citation Format

Share Document