Integrating software models and platform models for performance analysis

IEEE Transactions on Software Engineering

Volumn 33, Issue 6, 2007, Pages 385-401

  Cortellessa, Vittorio ^a   Pierini, Pierluigi ^b   Rossi, Daniele ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b TechnoLabs SpA   (Italy)

Author keywords

Platform model; Simulation; Software model; Software performance; UML

Indexed keywords

COMPUTER SIMULATION; DIGITAL LIBRARIES; MARKUP LANGUAGES; MATHEMATICAL MODELS;

PLATFORM MODEL; SOFTWARE MODEL;

SOFTWARE ENGINEERING;

EID: 34248658828     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2007.1014     Document Type: Article

References (32)

1. H.H. Ammar, V. Cortellessa, and A. Ibrahim, "Modeling Resources in a UML-Based Simulative Eenvironment," Proc. ACS/IEEE Int'l Conf. Computer Systems and Applications, 2001.
2. L.B. Arief and N.A. Speir, "A UML Tool for an Automatic Generation of Simulation Programs," Proc. Second Int'l Workshop Software and Performance, 2000.
3. S. Balsamo, A. Di Marco, P. Inverardi, and M. Simeoni, "Model-Based Performance Prediction in Software Development: A Survey," IEEE Trans. Software Eng., vol. 30, no. 5, pp. 295-310, May 2004.
4. S. Balsamo and M. Marzolla, "A Simulation-Based Approach to Software Performance Modeling," Proc. European Software Eng. Conf./ACM SIGSOFT Symp. Foundations of Software Eng., 2003.
5. S. Bernardi, S. Donatelli, and J. Merseguer, "From UML Sequence Diagrams and Statecharts to Analysable Petri Net Models," Proc. Third Int'l Workshop Software and Performance, 2002.
6. V. Cortellessa and M. Gentile, "Performance Modeling and Validation of a Software System in a RT-UML-Based Simulative Environment," Proc. Int'l Symp. Object-Oriented Real-Time Distributed Computing, 2004.
7. V. Cortellessa, P. Pierini, and D. Rossi, "On the Adequacy of UML-RT for Performance Validation of an SDH Telecommunication System," Proc. Int'l Symp. Object-Oriented Real-Time Distributed Computing, 2005.
8. V. Cortellessa, P. Pierini, and D. Rossi, "Software Performance Validation in UML-RT," Technical Report TRCS 002-2007, Dipartimento di Informatica, University of L'Aquila, www.di.univaq.it/cortelle/docs/ UMLRTreport.pdf, 2007.
9. H. Gomaa, Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison Wesley, 2000.
10. H. Harreld, "NASA Delays Satellite Launch after Finding Bugs in Software Program," Federal Computer Week, www.fcw.com, 1998.
11. E.D. Lazowska, J. Zahorjan, G.S. Graham, and K.C. Sevcik,, Quantitative System Performance: Computer System Analysis Using Queueing Network Models. Prentice Hall, 1984.
12. Model-Driven Architecture Guide, omg/2003-06-01, J. Miller, ed., www.omg.org/mda, 2003.
13. A. Mitschele-Thiel and B. Muller-Clostermann, "Performance Engineering of SDL/MSC Systems," Computer Networks, vol. 31, pp. 1801-1815, 1999.
14. I. Ober, S. Graf, and I. Ober, "Validating Timed UML Models by Simulation and Verification," Proc. Int'l Workshop Specification and Validation of UML Models for Real Time and Embedded Systems (UML '03 satellite event), 2003.
15. R. Pooley and C. Kabajunga, "Simulation of UML Sequence Diagrams," Proc. 14th UK Performance Eng. Workshop, 1998.
16. J.A. Rolia, K.C. Sevcik, "The Method of Layers," IEEE Trans. Software Eng., vol. 21, no. 8, pp. 689-700, 1995.
17. H. Ryan, "Too Big to Fail?" Outlook 2000, no. 1, pp. 3-9, 2000.
18. P.P. Sancho, C. Juiz, and R. Pugjaner, "Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation," Lecture Notes in Computer Sciences, vol. 3236, pp. 278-292, 2004.
19. B. Selic, "Some Unresolved Problems in Real-Time Design," Proc. Int'l Symp. Object-Oriented Real-time Distributed Computing, 2004.
20. B. Selic, "On Software Platforms, Their Modeling with UML2, and Platform-Independent Design," Proc. Int'l Symp. Object-Oriented Real-time Distributed Computing, 2005.
21. B. Selic, "Using UML for Modeling Complex Real-Time Systems," Lecture Notes in Computer Sciences, vol. 1474, pp. 250-260, 1998.
22. M. Woodside, C. Hrischuk, B. Selic, and S. Bayarov, "A Wideband Approach to Integrating Performance Prediction into a Software Design Environment," Proc. First Int'l Workshop Software and Performance 1998.
23. M. Woodside, C. Hrischuk, B. Selic, and S. Bayarov, "Automated Performance Modeling of Software Generated by a Design Environment," vol. 45, Performance Evaluation, pp. 107-123, 2001.
24. M. Woodside, D.C. Petriu, D.B. Petriu, H. Shen, T. Israr, and J. Merseguer, "Performance by Unified Model Analysis (PUMA)," Proc. Fifth Int'l Workshop Software and Performance, 2005.
25. S. Yacoub, A. Ibrahim, H.H. Ammar, and K. Lateef, "Verification of UML Dynamic Specification Using Simulation-Based Timing Analysis," Proc. Sixth Int'l Conf. Reliability and Quality in Design, 2000.
26. C. Yilmaz, A.S. Krishna, A. Memon, A. Porter, D.C. Schmidt, A. Gokhale, and B. Natarajan, "Empirical Software Engineering: Main Effects Screening: A Distributed Continuous Quality Assurance Process for Monitoring Performance Degradation in Evolving Software Systems," Proc. Int'l Conf. Software Eng., 2005.
27. "Engineering Performance Early in the Application Life Cycle," white paper, HyPerformix, www.hyperformix.com/2006-apsproceedings/ Documents/Designer-white-paper.pdf, 2005.
28. Proc. First Int'l Workshop Software and Performance, portal.acm.org, 1998.
29. "UML Profile for Schedulability, Performance, and Time Specification," formal/2005-01-02, OMG full specification, http://www.omg.org/technology/documents/formal/schedulability.htm, 2007.
30. IBM Rational Rose Real Time, www.rational.com, 2007.
31. Real-Time and Distributed Systems Group, Carleton Univ., www.sce.carleton.ca/rads/rads.html, 2007.
32. Surpass Series Products, Siemens Information and Comm. Network, www.siemens.com/surpass, 2007.