Performance modeling and validation of a software system in a RT-UML-based simulative environment

Proceedings - Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing

Volumn , Issue , 2004, Pages 52-59

  Cortellessa, Vittorio ^a   Gentile, Maurizio ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ANNOTATED MODEL; PERFORMANCE MODELING; RESOURCE SHARING; STATE DIAGRAMS;

COMPUTER SIMULATION; FUNCTIONS; INTEGRATION; PROBLEM SOLVING; REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

COMPUTER SOFTWARE;

EID: 4544311319     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2004.1300328     Document Type: Conference Paper

References (16)

1. H.H. Ammar, V. Cortellessa, A. Ibrahim. Modeling resources in a UML-based simulative environment. Proc. of ACS/IEEE International Conference on Computer Systems and Applica-tions, 2001.
2. L.B. Arief, N.A. Speir. A UML Tool for an Automatic Gener-ation of Simulation Programs. Proc. of 2nd International Work-shop on Software and Performance, 2000.
3. S. Balsamo, M. Marzolla. A Simulation-Based Approach to Software Performance Modeling. Proceedings of ESEC/FSE 2003.
4. M. Gentile. A methodology for performance modeling in a software development process based on RT-UML. Laurea the-sis (in italian), University of L'Aquila, 2003.
5. M. Abdulla, D. Wijesekera, H. Gomaa. Designing QoS Based Multimedia Systems Using UML. Ninth International Con-ference on Distributed Multimedia Systems, Miami, Florida, September 2003.
6. I. Ober, S. Graf, I. Ober. Validating timed UML models by simulation and verification, in International Workshop on Spec-ification and Validation of UML models for Real Time and Em-bedded Systems, in conjunction with UML 2003.
7. R.G. Pettit IV, Hassan Gomaa. Validation of Dynamic Be-havior in UML Using Colored Petri Nets. Ninth IEEE Inter-national Workshop on Object-Oriented Real-Time Dependable Systems (WORDS' 03), October 2003.
8. R. Pooley, C. Kabajunga. Simulation of UML Sequence Dia-grams. Proc. of 14th UK Performance Engineering Workshop, 1998.
9. Rolia, J. A., Sevcik, K.C. The method of Layers. IEEE Trans-actions on Software Engineering, vol.21, no.8, August 1995.
10. B. Selic, G. Gullekson, P.T. Ward. Real-Time Object-Oriented Modeling. John Wiley and Sons, 1994.
11. A. Silberschatz, P.B. Galvin, G. Gagne. Operating System Concepts. John Wiley and Sons, 2002.
12. S. Yacoub, A. Ibrahim, H.H. Ammar, K. Lateef. Verification of UML Dynamic Specification using Simulation-based Tim-ing Analysis. Proc. of 6th International Conference on Relia-bility and Quality in Design, 2000.
13. Proc. of ACM Workshop on Software and Performance. 1998, 2000, 2002, 2004.
14. UML Profile for Schedulability, Performance, and Time Specification, ptc/02-03-02, OMG Adopted Specification.
15. IBM Rational Rose Real Time, www.rational.com.
16. Real-Time and Distributed Systems Group, Carleton Univer-sity (Canada), www.sce.carleton.ca/rads/rads.html.