Abstract
Software architectural choices have a profound influence on the quality attributes supported by a system. Architecture analysis can be used to evaluate the influence of design decisions on important quality attributes such as maintainability, performance and dependability. As software architecture gains appreciation as a critical design level for software systems, techniques and tools to support testing, understanding, debugging and maintaining these architectures are expected to become readily available. In addition to providing the desired support, data collected from these tools also provides a rich source of information from the point of view of performance and dependability analysis of the architecture. This paper presents a performance and dependability analysis methodology which illustrates the use of such data. The methodology thus seeks a three way integration of distinct and important areas, namely, formal specification, specification simulation/testing and performance and dependability analysis. We illustrate the key steps in the methodology with the help of a case study.
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
R. Allen. “A formal approach to software architecture”. PhD thesis, Dept. of Computer Science, Carnegie Mellon University, Pittsburgh, NC, 1997.
A. Bondavalli, I. Mura, and I. Majzik. “Automated dependability analysis of UML designs”. In Proc. of Second IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 1998.
G. Ciardo, J. Muppala, and K.S. Trivedi. “SPNP: Stochastic Petri Net Package”. In Proceedings of the International Workshop on Petri Nets and Performance Models, pages 142–150, Los Alamitos, CA, December 1989. IEEE Computer Society Press.
D. Garlan, R.T. Monroe, and D. Wile. “ACME: An architecture description interchange language”. In Proc. of CASCON 97, pages 169–183, Toronto, Canada, November 1997.
D. Garlan and M. Shaw. Advances in Software Engineering and Knowledge Engineering, Volume 1, edited by V. Ambriola and G. Torotora, chapter An Introduction to Software Architecture. World Scientific Publishing Company, New Jersey, 1993.
S. Gokhale, W.E. Wong, K.S. Trivedi, and J.R. Horgan. “An analytic approach to architecture-based software reliability prediction”. In Proc. of Intl. Performance and Dependability Symposium (IPDS 98), pages 13–22, Durham, NC, September 1998.
E. Heck and D. Hogrefe. “Hierarchical performance evaluation based on formally specified communication protocols”. IEEE Trans. on Computers, 40(4):500–513, April 1991.
P.B. Krutchen. “The 4+1 view model of architecture”. IEEE Software, pages 42–50, November 1995.
J.J. Li and J.R. Horgan. “A toolsuite for testing software architectural specification”. Software Quality Journal, 8(4), June 2000.
J.J. Li and J.R. Horgan. “Simulation-trace-based software component performance prediction”. In Proc. of 33rd Annual Simulation Symposium, April 2000.
D. Luckham, L.A. Augustin, J. Kenney, J. Veera, D. Bryan, and W. Mann. “Specification and analysis of system architecture using Rapide”. IEEE Tran. on Software Engineering, 21(4):336–355, April 1995.
M.A. Marsan, A. Bianco, L. Ciminera, R. Sisto, and A. Valenzano. “A LOTOS extension for the performance analysis of distributed systems”. IEEE/ACM Transactions on Networking, 2(2):151–165, April 1994.
J.D. Musa. “Operational profiles in software-reliability engineering”. IEEE Software, 10(2): 14–32, March 1993.
A. Reibman, R. Smith, and K.S. Trivedi. “Markov and Markov Reward Model Transient Analysis: An Overview of Numerical Approaches”. European Journal of Operational Research, 40:257–267, 1989.
M. Shaw, R. DeLine, D.V. Klein, T.L. Ross, D.M. Young, and G. Zelesnik. “Abstractions for software architecture and tools to support them”. IEEE Trans. on Software Engineering, 21(4):314–335, April 1995.
M. Steppler and B. Walke. “Performance analysis of communication systems formally specified in SDL”. In Proc. of Workshop on Software and Performance, Santa Fe, NM, 1998.
L.A. Tomek and K.S. Trivedi. Software Fault Tolerance, Edited by M. R. Lyu, chapter Analyses Using Stochastic Reward Nets, pages 139–165. John Wiley and Sons Ltd., New York, 1995.
M.E.R. Vieira, M.S. Dias, and D.J. Richardson. “Analyzing software architectures with Argus-i”. In Proc. of the Intl. Conference on Software Engineering, pages 758–761, 2000.
C.Y. Wang and K.S. Trivedi. “Integration of specification for modeling and specification for system design”. In Proc. of Fourteenth Intl. Conference on Applications and Theory of Petri Nets, pages 24–31, 1993.
C. Wohlin and D. Rapp. “Performance analysis in the early design of software”. In Proc. of 7th International Conference on Software Engineering for Telecommunication Switching Systems, pages 114–121, Bournemouth, England, 1993.
J. Zhao. New Technologies on Computer Software, M. Li, Editor, chapter “Using Dependence Analysis to Support Software Architecture Understanding”, pages 135–142. International Academic Publishers, September 1997.
International Telegraph and Telephone Consultative Committee. “SDL User Guideliness”, Blue Book, IXth Plenary Assembly, pages 14–25, International Telecommunication Union, November 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gokhale, S.S., Horgan, J.R., Trivedi, K.S. (2003). Specification-Level Integration of Simulation and Dependability Analysis. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds) Architecting Dependable Systems. Lecture Notes in Computer Science, vol 2677. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45177-3_11
Download citation
DOI: https://doi.org/10.1007/3-540-45177-3_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40727-0
Online ISBN: 978-3-540-45177-8
eBook Packages: Springer Book Archive