Simonetta Balsamo
Moreno Marzolla
Paola Inverardi
ABSTRACT
In this paper we describe our experience in performance analysis of the software architecture of the NICE ease study which is responsible for providing several secure communications in a naval communication system. We applied two complementary techniques, one based on stochastic process algebras and one based on simulation, in order to derive some performance indices at the software architectural level. The case study analysis allows us to point out the relative merit of the considered techniques including the performance model derivation, the type of analysis and performance results that we can carry out, and the feedback at the design level, e.g. performance results interpretation that we obtain. Finally, we discuss how to take advantage of the integration of different techniques in software architecture performance analysis.
- S. Balsamo and M. Marzolla. A simulation-based approach to software performance modeling. Tech. Rep. TR SAH/44, MIUR Sahara Project, Mar. 2003.Google Scholar
Digital Library
- S. Balsamo and M. Marzolla. Simulation modeling of UML software architectures. In D. Al-Dabass, editor, Proc. of ESM'03, the 17th European Simulation Multiconference, pages 562--567, Nottingham, UK, June 2003. SCS-European Publishing House.Google Scholar
- J. Banks, editor. Handbook of Simulation. Wiley-Interscience, 1998.Google ScholarCross Ref
- J. Banks, J. S. Carson, B. L. Nelson, and D. M. Nicol. Discrete-Event System Simulation. Prentice Hall, 3rd edition, 2000.Google Scholar
- M. Bernardo. Twotowers 3.0: Enhancing usability. In Proc. of MASCOT 2003, pages 188--193, Orlando (FL), 2003. IEEE-CS Press.Google Scholar
- M. Bernardo and M. Bravetti. Performance measurement sensitive congruences for markovian process algebras. Theoretical Computer Science, 290:117--160, 2003. Google ScholarDigital Library
- M. Bernardo, L. Donatiello, and P. Ciancarini. Stochastic process algebra: From an algebraic formalism to an architectural description language. Performance Evaluation of Complex Systems: Techniques and Tools, LNCS 2459:236--260, 2002. Google ScholarDigital Library
- D. Compare, P. Inverardi, P. Pelliccione, and A. Sebastiani. Integrating model-checking architectural analysis and validation in a real software life-cycle. In Proc. of FME 2003: Formal Methods, LNCS 2805, pages 114--132, Pisa, Italy, 2003.Google ScholarCross Ref
- D. Compare, A. D. Marco, A. D'Onofrio, and P. Inverardi. Our experience in the integration of process algebra based performance validation in an industrial context. Tech. Rep. TR SAH/047, MIUR Sahara Project, Oct. 2003.Google Scholar
- A. M. Law and W. D. Kelton. Simulation Modeling and Analysis. McGraw-Hill, 3rd edition, 2000. Google ScholarDigital Library
- R. Milner. Communication and Concurrency. Prentice-Hall International, 1989. International Series on Computer Science. Google ScholarDigital Library
- Object Management Group. UML profile for schedulability, performance and time specification. Final Adopted Specification ptc/02-03-02, Mar. 2002.Google Scholar
- Object Management Group. XML Metadata Interchange (XMI) specification, version 1.2, Jan. 2002.Google Scholar
Index Terms
- Experimenting different software architectures performance techniques: a case study
Recommendations
Performance evaluation of UML software architectures with multiclass Queueing Network models
WOSP '05: Proceedings of the 5th international workshop on Software and performanceSoftware performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We propose an approach based on queueing networks models for performance ...
Experimenting different software architectures performance techniques: a case study
In this paper we describe our experience in performance analysis of the software architecture of the NICE ease study which is responsible for providing several secure communications in a naval communication system. We applied two complementary ...
A simulation-based approach to software performance modeling
ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineeringQuantitative performance analysis of software systems should be integrated in the early stages of the development process. We propose a simulation-based performance modeling of software architectures specified in UML. We propose an algorithm for ...
Comments