From UML/SPT models to schedulability analysis: A metamodel-based transformation

Proceedings - Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2006

Volumn , Issue , 2006, Pages 343-350

  Gherbi, Abdelouahed ^a   Khendek, Ferhat ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DATA STRUCTURES; REAL TIME SYSTEMS; REQUIREMENTS ENGINEERING; SCHEDULING;

RULE-BASED TRANSFORMATION; SCHEDULABILITY ANALYSIS; UNIFIED MODELING LANGUAGE (UML);

COMPUTER PROGRAMMING LANGUAGES;

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

References (21)

1. G. Batori and D. Asztalos. Using TTCN-3 for Testing Platform Independent Models. In F. Khendek and R. Dssouli, editors, Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference (TestCom 2005), volume 3502 of LNCS, pages 289-303, 2005.
2. L. C. Briand, Y. Labiche, and Y. Miao. Towards the Reverse Engineering of UML Sequence Diagrams. In A. van Deursen, E. Stroulia, and M.-A. D. Storey, editors, 10th Working Conference on Reverse Engineering (WCRE 2003), pages 57-66, Victoria, Canada, 13-16 November 2003. IEEE Computer Society.
3. E. Cariou, R. Marvie, L. Seinturier, and L. Duchien. OCL for the Specification of Model Transformation Contracts. In In the Workshop OCL and Model Driven Engineering of the Seventh International Conference on UML, pages 69-83, October 12.
4. V. Garousi, L. C. Briand, and Y. Labiche. Control flow analysis of uml 2.0 sequence diagrams. In Model Driven Architecture - Foundations and Applications, First European Conference, ECMDA-FA 2005, volume 3748 of LNCS, pages 160-174, Nuremberg, Germany, November 7-10 2005. Springer.
5. A. Gherbi and F. Khendek. On the Design and Schedulability Analysis of Distributed Object-Oriented Real-Time Systems. In Work in progress Session of 17th Euromicro Conference On Real-Time Systems (ECRTS 05), Palma de Mallorca, Baleartic Islands, Spain, July 2005.
6. G. P. Gu and D. C. Petriu. From UML to LQN by XML Algebra-based Model Transformations. In WOSP '05: Proceedings of the 5th International Workshop on Software, and Performance, pages 99-110, New York, NY, USA, 2005. ACM Press.
7. Z. Gu and Z. He. Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models. In 8th International Symposium Component-Based Software Engineering, volume 3489 of LNCS, pages 235-250, St. Louis, MO, USA, 2005. Springer.
8. S. Kim, S. Cho, and S. 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.
9. M. H. Klein, T. Ralya, B. Pollak, R. Obenza, and M. G. Harbour. A practitioner's handbook for real-time analysis. Kluwer Academic Publishers, Norwell, MA, USA, 1993.
10. A. Kleppe, J. Warmer, and W. Bast. MDA Explained: The Model Driven Architecture: Practice and Promise. Object Technology. Addison-Wesley, 2003.
11. J. Koehler, R. Hauser, S. Sendall, and M. Wahler. Declarative Techniques for Model-Driven Business Process Integration. IBM Systems Journal, 44(1), 2005.
12. C. L. Liu and J. W. Layland. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. Journal of the ACM, 20(1):46-61, 1973.
13. OMG. UML Profile for Schedulability, Performance, and Time Specification. Version 1.0, formal/03-09-01, September 2003.
14. OMG. UML2.0 Testing Profile. Version 1.0, formal/05-07-07, July 2005.
15. 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.
16. M. Saksena and P. Kervelas. Designing for Schedulability: Integrating Schedulability Analysis with Object-Oriendted Design. In The 12th Euromicro Conference on Real-Time Systems, June 2000.
17. J. Skene and W. Emmerich. A Model-Driven Approach to Non-Functional Analysis of Software Architectures. In 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pages 236-239. IEEE Computer Society, 2003.
18. K. Tindell and J. Clark. Hollistic Schedulability Analysis for Distributed Hard Real-Time Systems. Microprocessing & Microprogramming, 50(2-3): 117-134, April 1994.
19. T. Verdickt, B. Dhoedt, F. Gielen, and P. Demeester. Automatic Inclusion of Middleware performance Attributes into Architectural UML Software Models. IEEE Trans. Software Eng., 31(8):695-711, 2005.
20. Y. Wang and M. Saksena. Scheduling Fixed-Priority Tasks with Preemption Threshold. In 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China. IEEE Computer Society.
21. J. Zander, Z. R. Dai, I. Schieferdecker, and G. Din. From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing. In F. Khendek and R. Dssouli, editors, Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference(TestCom 2005), volume 3502 of LNCS, pages 289-303, 2005.