Stochastic Modeling Formalisms for Dependability, Performance and Performability
Performance Evaluation: Origins and Directions
Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets
IEEE Transactions on Software Engineering
Goal graph based performance improvement for self-adaptive modules
Proceedings of the 2nd international conference on Ubiquitous information management and communication
Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
Dependability can be verified at the integration phase of the software development life cycle. However the dependability verification processes that inspect software dependability in the late period of development have an effect in the development cost (e.g. time, human resources). Therefore, it is a very important issue to verify any nonfunctional requirements in the early stages of the development process. In this paper, we propose a software dependability analysis methodology of distributed component based software by using HQPNs (Hierarchically Combined Queuing Petri Nets) modeling. We prove the validity of the proposed methodology by applying it to a video conference system development.