Performance modeling and reporting for the UML 2.0 design of embedded systems

2005 International Symposium on System-on-Chip, Proceedings

Volumn 2005, Issue , 2005, Pages 50-53

  Kukkala, Petri ^a   Hännikäinen, Marko ^a   Hämäläinen, Timo D ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONSTRAINT THEORY; MATHEMATICAL MODELS; NETWORK PROTOCOLS; REAL TIME SYSTEMS; SEMANTICS;

AUTOMATED MODEL TRANSFORMATION; MEDIUM ACCESS CONTROL; MESSAGE LATENCY; SEQUENCE DIAGRAMS;

EMBEDDED SYSTEMS;

EID: 33847189217     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/issoc.2005.1595642     Document Type: Conference Paper

References (8)

1. P. Kukkala, M. Hännikäinen, and T. D. Hämälä inen, "Design and implementation of a WLAN terminal using UML 2.0 based design flow," in Lecture Notes in Computer Science, vol. 3553. Springer, 2005, pp. 403-412.
2. Object Management Group (OMG), UML Profile for Schedulability, Performance, and Time Specification (Version 1.1), Jan. 2005.
3. A. J. Bennett, A. J. Field, and C. M. Woodside, "Experimental evaluation of the UML profile for Schedulability, performance, and time," in Lecture Notes in Computer Science, vol. 3273. Springer, 2004, pp. 143-157.
4. D. N. Jansen, H. Hermanns, and J.-P. Katoen, "A QoS-oriented extension of UML statecharts," in Lecture Notes in Computer Science, vol. 2863. Springer, 2003, pp. 76-91.
5. J. Merseguer, S. Bernardi, J. Campos, and S. Donatelli, "A compositional semantics for UML state machines aimed at performance evaluation," in Proceedings of the 6th International Workshop on Discrete Event Systems, Oct. 2002, pp. 295-302.
6. C. Canevet, S. Gilmore, J. Hillston, M. Prowse, and P. Stevens, "Performance modelling with UML and stochastic process algebras," IEE Proceedings: Computers and Digital Techniques, vol. 150, no. 2, pp. 107-120, Mar. 2003.
7. S. Gnesi, D. Latella, and M. Massink, "Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking," Journal of Logic and Algebraic Programming, vol. 51, no. 1, pp. 43-75, 2002.
8. P. Kukkala, J. Riihimäki, M. Hännikäinen, T. D. Hämäläinen, and K. Kronlöf, "UML 2.0 profile for embedded system design." in Proceedings of the Design, Automation and Test in Europe Conference and Exposition, vol. 2, Mar. 2005, pp. 710-715.