Real-time scheduling techniques for implementation synthesis from component-based software models

Lecture Notes in Computer Science

Volumn 3489, Issue , 2005, Pages 235-250

  Gu, Zonghua ^a   He, Zhimin ^a  

^a University of Virginia   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE; DATA HANDLING; LOGIC PROGRAMMING; MATHEMATICAL MODELS; MULTITASKING; REAL TIME SYSTEMS; SCHEDULING;

COMPONENT-BASED SOFTWARE MODELS; LOGICAL SOFTWARE MODEL; MESSAGE PASSING; REAL-TIME SCHEDULING;

SOFTWARE ENGINEERING;

EID: 24944524857     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11424529_16     Document Type: Conference Paper

References (29)

1. B. Selic, G. Gullekson, and P. T. Ward, Real-Time Object Oriented Modeling. Addison Wesley, 1994.
2. (2004) The IBM Rational website. [Online]. Available: http://www-306.ibm.com/software/rational/
3. (2004) The Quantum Framework website. [Online]. Available: http://www.quantum-leaps.com/qf.htm
4. D. Schmidt, D. Levine, and T. Harrison, "The design and performance of a real-time CORBA object event service," in Proc. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, 1997, pp. 434-445.
5. Z. Gu, S. Kodase, S. Wang, and K. G. Shin, "A model-based approach to system-level dependency and real-time analysis of embedded software," in Proc. IEEE Real-Time Technology and Applications Symposium (RTAS), 2003, pp. 78-85.
6. M. Saksena and P. Karvelas, "Designing for schedulability: integrating schedulability analysis with object-oriented design," in Proc. IEEE Euro-Micro Conference on Real-Time Systems, 2000, pp. 101-108.
7. J. Masse, S. Kim, and S. Hong, "Tool set implementation for scenario-based multithreading of uml-rt models and experimental validation," in Proc. IEEE Real-Time and Embedded Technology and Applications Symposium, 2003, pp. 70-77.
8. M. H. Klein, T. Ralya, B. Pollak, and R. Obenza, A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonie Analysis for Real-Time Systems. Kluwer Academic Publishers, 1993.
9. M. Harbour, M. H. Klein, and J. Lehoczky, "Timing analysis for fixed-priority scheduling of hard real-time systems," IEEE Trans. Software Eng., vol. 20, no. 2, pp. 13-28, 1994.
10. S. Tripakis, "Description and schedulability analysis of the software architecture of an automated vehicle control system," in Proc. International Workshop on Embedded Software, 2002, pp. 123-137.
11. H. Gomaa, Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison-Wesley, 2000.
12. K. Tindell and J. Clark, "Holistic schedulability analysis for distributed hard real-time systems," Microprocessing and Microprogramming - Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems), vol. 40, pp. 117-134, 1994. [Online]. Available: citeseer.nj.nec.com/ tindell94holistic.html
13. J. Muskens and M. Chaudron, "Prediction of run-time resource consumption in multi-task component-based software systems," in Proc. International Symposium on Component-Based Software Engineering, LNCS 3054, 2004, pp. 162-177.
14. K. Sandstrom, J. Predriksson, and M. Akerholm, "Introducing a component technology for safety critical embedded real-time systems," in Proc. International Symposium on Component-Based Software Engineering, LNCS 3054, 2004, pp. 194-208.
15. A. Wall, M. Larsson, and C. Norstrom, "Towards an impact analysis for component based real-time product line architectures," in Proc. Euromicro Conference, 2002, pp. 81-88.
16. E. Eskenazi, A. Fioukov, and D. Hammer, "Performance prediction for component compositions," in Proc. International Symposium on Component-Based Software Engineering, LNCS 3054, 2004, pp. 280-193.
17. M. Diaz, D. Garrido, L. M. Llopis, F. Rus, and J. M. Troya, "Integrating real-time analysis in a component model for embedded systems," in Proc. EUROMICRO Conference, 2004, pp. 14-21.
18. K. Balasubramanian, J. Balasubramanian, J. Parsons, A. Gokhale, and D. C. Schmidt, "A platform-independent component modeling language for distributed real-time and embedded systems," in Proc. IEEE Real-Time and Embedded Technology and Applications Symposium, 2004.
19. J. A. Stankovic, R. Zhu, R. Poornalingam, C. Lu, Z. Yu, M. Humphrey, and B. Ellis, "Vest: an aspect-based composition tool for real-time systems," in Proc. IEEE Real-Time and Embedded Technology and Applications Symposium, 2003, pp. 58-69.
20. D. de Niz and R. Rajkumar, "Time weaver: A software-throuhg-models framework for embedded real-time systems," in Proc. ACM Conference on Languages, Compilers and Tools For Embedded Systems, 2003, pp. 133-143.
21. J. Hatcliff, W. Deng, M. Dwyer, G. Jung, and V. Prasad, "Cadena: An integrated development, analysis, and verification environment for component-based systems," in Proc. IEEE International Conference on Software Engineering, 2003.
22. Z. Gu, S. Wang, S. Kodase, and K. G. Shin, "An end-to-end tool chain for multi-view modeling and analysis of avionics mission computing software," in Proc. IEEE Real-Time Systems Symposium (RTSS), 2003, pp. 78-81.
23. _, "Multi-view modeling and analysis of embedded real-time software with meta-modeling and model-transformation," in Proc. IEEE International Symposium on High Assurance Systems Engineering, 2004, pp. 32-41.
24. Z. Gu and K. G. Shin, "Model-checking of component-based real-time embedded software based on corba event service," in Proc. IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC), 2005.
25. G. Karsai, "Design tool integration: An exercise in semantic interoperability," in Proc. IEEE Conference on Engineering of Computer Based Systems, 2000.
26. P. K. Sharma, J. P. Loyall, G. T. Heineman, R. E. Schantz, R. Shapiro, and G. Duzan, "Component-based dynamic qos adaptations in distributed real-time and embedded systems," in International Symposium on Distributed Objects and Applications, 2004, pp. 25-29.
27. (2004) The Object Management Group website. [Online]. Available: http://www.omg.org
28. OMG, "Uml profile for schedulability,performance, and time specification," Object Management Group, Tech. Rep., 2003. [Online]. Available: http://www.omg.org/technology/documents/formal/schedulability.htm
29. _, "Uml profile for corba components specification," Object Management Group, Tech. Rep., 2004. [Online]. Available: http://www.omg.org/cgi- bin/doc?ptc/2004-03-04