@inproceedings{0fc554fae6be45f492bafd5b64f71a75,
title = "Software dependability analysis methodology",
abstract = "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.",
keywords = "Availability, Dependability, Hierarchically Combined Queuing Petri Nets, Reliability",
author = "Beoungil Cho and Hyunsang Youn and Eunseok Lee",
year = "2009",
doi = "10.1007/978-3-642-02457-3\_50",
language = "English",
isbn = "3642024564",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
number = "PART 2",
pages = "580--593",
booktitle = "Computational Science and Its Applications - ICCSA 2009 - International Conference, Proceedings",
edition = "PART 2",
note = "International Conference on Computational Science and Its Applications, ICCSA 2009 ; Conference date: 29-06-2009 Through 02-07-2009",
}