A formalism for arrival time analysis of real-time tasks based on UML models

Canadian Conference on Electrical and Computer Engineering

Volumn , Issue , 2008, Pages 1575-1580

  Garousi, Vahid ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Arrival patterns; Real time systems; Release times; UML

Indexed keywords

CHLORINE COMPOUNDS; COMPUTER SIMULATION LANGUAGES; TECHNOLOGY; UNIFIED MODELING LANGUAGE;

ARRIVAL PATTERNS; ARRIVAL TIME; ARRIVAL TIMES; ELECTRICAL AND COMPUTER ENGINEERING; REAL-TIME TASKS; RELEASE TIMES; TIME INTERVALS; UML; UML MODELING;

REAL TIME SYSTEMS;

EID: 51849123376     PISSN: 08407789     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CCECE.2008.4564807     Document Type: Conference Paper

References (15)

1. Object Management Group (OMG), "UML Profile for Schedulability, Performance, and Time (v1.1)," 2005.
2. J. Tsai, Y. Bi, S. Yang, and R. Smith, Distributed Real-Time Systems: Monitoring, Visualization, Debugging, and Analysis: John Wiley & Sons, 1996.
3. V. Swaminathan and K. Chakrabarty, "Real-time Task Scheduling for Energy-aware Embedded Systems," Journal of the Franklin Institute, vol. 338, no. 6, pp. 729-750, 2001.
4. T. Pender, UML Bible: Wiley, Sept. 2003.
5. Object Management Group (OMG), "UML 2.1.1 Superstructure Specification," 2007.
6. Object Management Group (OMG), "Unified Modeling Language Specification (v1.3)," 1999.
7. V. Garousi, L. Briand, and Y. Labiche, "Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models using Genetic Algorithms," Elsevier Journal of Systems and Software, Special Issue on Model-Based Software Testing, vol. 81, no. 2, pp. 161-185, 2008.
8. Telelogic Corporation, "Telelogic Rhapsody," http://modeling.telelogic.com/products/rhapsody, last accessed: Dec. 2007.
9. IBM Corporation, "IBM Rational Test RealTime ®," http://www-128.ibm.com/developerworks/rational/products/testrealtime , last accessed: Dec. 2007.
10. IBM Corporation, "IBM Rational Rose Technical Developer®, "http://www-306.ibm.com/software/awdtools/developer/technical, last accessed: Dec. 2007.
11. D. Xu, X. He, and Y. Deng, "Compositional Schedulability Analysis of Real-Time Systems using Time Petri Nets," IEEE Transactions on Software Engineering, vol. 28, no. 10, pp. 984-996, 2002
12. Object Management Group (OMG), "UML 2.0 OCL Specification," www.omg.org/docs/ptc/03-10-14.pdf, 2003.
13. B. Stojkovic and I. Vujosevic, "A compact SCADA system for a smaller size electric power system control-a fast, object-oriented and cost-effective approach," in IEEE Power Engineering Society Winter Meeting, 2002, pp. 695-700.
14. N. Toshida, M. Uesugi, Y. Nakata, M. Nomoto, and T. Uchida, "Open Distributed EMS/SCADA System," Hitachi Review, vol. 47, no. 5, pp. 208-213, 1998.
15. V. Garousi, "GARUS (Genetic Algorithm-based test Requirement tool for real-time distribUted Systems)," http://www.enel.ucalgary.ca/ ∼vgarousi/tools/GARUS/, 2006.