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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Basili, Bohem: Software Defect Reduction Top 10 List. IEEE Computer Society 34(1), 135–137 (2001)
Goseva-Popstojanova, K., Trivedi, K.S.: Stochastic modeling formalisms for dependability, performance and performability. In: Reiser, M., Haring, G., Lindemann, C. (eds.) Dagstuhl Seminar 1997. LNCS, vol. 1769, pp. 403–422. Springer, Heidelberg (2000)
Bause, F., Buchholz, P., Kemper, P.: Hierarchically Combined Queueing Petri Nets. Lecture Notes in Control Information Sciences, vol. 199, pp. 176–182 (1994)
Kounev, S.: Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets. IEEE Transactions on Software Engineering 32(7), 486–502 (2006)
Xu, D.: Threat-Driven and Verification of Secure Software Using Aspect-Oriented Petri Nets. IEEE Transactions on Software Engineering 32(4), 265–278 (2006)
Park, J., Lee, J., Lee, E.: Goal graph based Performance Improvement for Self-Adaptive Modules. In: ACM SIGKDD International Conference on Ubiquitous Information Management and Communication (ACM SIGKDD ICUIMC 2008), Feburary 2008, pp. 68–72 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cho, B., Youn, H., Lee, E. (2009). Software Dependability Analysis Methodology. In: Gervasi, O., Taniar, D., Murgante, B., Laganà, A., Mun, Y., Gavrilova, M.L. (eds) Computational Science and Its Applications – ICCSA 2009. ICCSA 2009. Lecture Notes in Computer Science, vol 5593. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02457-3_50
Download citation
DOI: https://doi.org/10.1007/978-3-642-02457-3_50
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02456-6
Online ISBN: 978-3-642-02457-3
eBook Packages: Computer ScienceComputer Science (R0)