UML profiles for real-time systems and their applications

Journal of Object Technology

Volumn 5, Issue 4, 2006, Pages 149-169

  Gherbi, Abdelouahed ^a   Khendek, Ferhat ^a,b,c,d,e  

^a Civil and Environmental Engineering   (Canada)

^b L'Ordre des Ingenieurs du Quebec (OIQ)   (Canada)

^c Communication Society ^*  (Canada)

^d IEEE   (Canada)

^e SDL Forum Society   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33744794954     PISSN: 16601769     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2006.5.4.a5     Document Type: Article

References (34)

1. Ludivic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, and Pierre de Saqui-Sannes. TURTLE: A Real-Time UML Profile Supported by Formal Validation Toolkit. IEEE Trans. Software Eng., 30(7):473-487, 2004.
2. Ludivic Apvrille, Pierre de Saqui-Sannes, and Ferhat Khendek. TURTLE-P: A UML Profile for the Formal Validation of Critical and Distributed Systems. To appear in Software and Systems Modeling, Springer 2005.
3. Simonetta Balsamo, Antinisca Di Marco, Paola Inverardi, and Marta Simeoni. Model-Based Performance Prediction in Software Development: A Survey. IEEE Trans. Software Eng., 30(5):295-310, 2004.
4. Simonetta Balsamo and Moreno Marzolla. Performance Evaluation of UML Software Architectures with Multiclass Queueing Network Models. In Fifth International Workshop on Software and Performance, Palma, Illes Balears, Spain, July 2005.
5. Kirsten Berkenkotter. Using UML 2.0 in Real-Time Development: A Critical Review. In SVERTS, pages 41-54, San Francisco, USA, October 2003.
6. Simona Bernardi and Dorina C. Petriu. Comparing two UML Profiles for Non-functional Requirement Annotations: the SPT and QoS Profiles. In SVERTS, Lisbone, Portugal, October 2004.
7. C.M.Woodside and D.C. Petriu. Capabilities of the UML Profile for Schedulability Performance and Time (SPT). In Workshop SIVOES-SPT held in conjunction with the 10th IEEE RTAS'2004, Toronto, Canada, May 2004.
8. Miguel A. de Miguel. General Framework for the Description of QoS in UML. In IEEE Computer Society, editor, Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'03), pages 61-70, Hakodate, Hokkaido, Japan, May 2003.
9. Stephan Flake and Wolfgang Mueller. A UML profile for real-time constraints with the OCL. In Jean-Marc Jézéquel, Heinrich Hussmann, and Stephen Cook, editors, UML 2002 - The Unified Modeling Language. Model Engineering, Languages, Concepts, and Tools. 5th International Conference, Dresden, Germany, September/October 2002, Proceedings, volume 2460 of LNCS, pages 179-195. Springer, 2002.
10. S. Gérard and F. Terrier. UML for Real: Which Native Concepts to Use, chapter UML for Real-Time, pages 17-51. Kluwer Academic Publishers, 2003.
11. Susanne Graf and Ileana Ober. How useful is the UML profile SPT without semantics. In SVERTS, Lisbone, Portugal, October 2004.
12. Susanne Graf, Ileana Ober, and Iulian Ober. Timed annotations with UML. In SVERTS, San Francisco, USA, October 2003.
13. Z. Gu and K. G. Shin. Synthesis of Real-Time Implementation from UML-RT Models. In 2nd RTAS Workshop on Model-Driven Embedded Systems (MoDES '04), Toronto, Ontario, Canada, May 2004.
14. Zonghua Gu and Zhimin He. Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models. In Accepted to ACM SIGSOFT International Symposium on Component-Based Software Engineering (CBSE 2005), St. Louis, MO, 2005.
15. ITU-T. SDL combined with UML. 2000. ITU-T recommandation Z. 109.
16. Saehwa Kim, Sukjae Cho, and Seongsoo Hong. Automatic Implementation of Real-Time Object-Oriented Models and Schedulability Issues. In Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), pages 137-141, Rome, Italy.
17. Saehwa Kim, Sukjae Cho, and Seongsoo Hong. Schedulability-aware Mapping of Real-Time Object-Oriented Models to Multi-Threaded Implementations. In 7th International Workshop on Real- Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pages 7-14. IEEE Computer Society, 2000.
18. Sharath Kodase, Shige Wang, and Kang G. Shin. Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints. In Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany, pages 20170-20175. IEEE Computer Society, 2003.
19. Jamison Masse, Saehwa Kim, and Seongsoo Hong. Tool Set Implementation for Scenario-based Multithreading of UML-RT Models and Experimental Validation. In Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), May 27-30, 2003, Toronto, Canada, pages 70-77. IEEE Computer Society, 2003.
20. Jeffrey R. Merrick, Shige Wang, Kang G. Shin, Jing Song, and William Milam. Priority Refinement for Dependent Tasks in Large Embedded Real-Time Software. In 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'05). IEEE Computer Society, 2005.
21. Birger Møller-Pedersen. SDL Combined with UML. Telektronikk, 4:36-53, 2000.
22. OMG. UML Profile for Schedulability, Performance, and Time Specification. Version 1.0, formal/03-09-01, September 2003.
23. OMG. UML 2.0 Superstructure Specification. OMG Revised Final Adopted Specification (ptc/04-10-02), October 2004.
24. OMG. UML Profile for Modelling Quality of Service and Fault Tolerance Characteristics and Mechanisms. OMG Adopted Specification, ptc/2004-06-01, June 2004.
25. RTL. Software and Tools for Communicating Systems. http://www.laas.fr/ RTLOTOS/.
26. Hossein Saiedian and Srikrishnan Raguraman. Using UML-Based Rate Monotonic Analysis to Predict Schedulability. IEEE Computer, 37(10):56-63, 2004.
27. M. Saksena, P. Karvelas, and Y.Wang. Automated Synthesis of Multi-Tasking Implementations from Real-Time Object-Oriented Models. In 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), pages 360-367, Newport Beach, CA, USA, March 2000. IEEE Computer Society.
28. Manas Saksena and Panagiota Kervelas. Designing for Schedulability: Integrating Schedulability Analysis with Object-Oriendted Design. In The 12th Euromicro Conference on Real-Time Systems, June 2000.
29. B. Selic, G. Gullekson, and P.T. Ward. Real-Time Object-Oriented Modeling. John Wiley and Sons, 1994.
30. B. Selic and J. Rumbaugh. Using UML for Modeling Complex Real-Time Systems. March 1998. Whitepaper Available from www.objectime.com.
31. OMEGA ST. Project, http://www-omega.imag.fr/.
32. Telelogic. Telelogic Products, http://www.telelogic.com/products/.
33. TTool. A Toolkit for Editing and Validating TURTLE Diagrams. http://www.eurecom.fr/apvrille/TURTLE/index.html.
34. Jing Xu, C.M.Woodside, and D.C.Petriu. Performance Analysis of a Software Design using the UML Profile for Schedulability, Performance and Time. In P.Kemper and W.Sanders, editors, Proc. of 13th International Conference on Modelling Techniques and Tools for Computer Performace Evaluation - Performance TOOLS'2003, volume 2794 of LNCS, pages 291-307, Sept 2003.