Abstract
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After building a logical software model, it is necessary to synthesize a multi-threaded implementation that runs on a given target hardware platform and satisfies timing constraints. Commercial code generators generate functional code, but ignore concurrency and timing issues. In this paper, we compare alternative multi-threading strategies for implementation synthesis from this class of software models, and describe real-time scheduling analysis techniques that are useful during design space exploration for implementation synthesis. We use the elevator control application to illustrate our analysis techniques.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object Oriented Modeling. Addison-Wesley, Reading (1994)
The IBM Rational website (2004), [Online] Available http://www-306.ibm.com/software/rational/
The Quantum Framework website (2004), [Online] Available http://www.quantum-leaps.com/qf.htm
Schmidt, D., Levine, D., Harrison, T.: The design and performance of a realtime CORBA object event service. In: Proc. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 434–445 (1997)
Gu, Z., Kodase, S., Wang, S., Shin, K.G.: A model-based approach to systemlevel dependency and real-time analysis of embedded software. In: Proc. IEEE Real-Time Technology and Applications Symposium (RTAS), pp. 78–85 (2003)
Saksena, M., Karvelas, P.: Designing for schedulability: integrating schedulability analysis with object-oriented design. In: Proc. IEEE Euro-Micro Conference on Real-Time Systems, pp. 101–108 (2000)
Masse, J., Kim, S., Hong, S.: 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, pp. 70–77 (2003)
Klein, M.H., Ralya, T., Pollak, B., Obenza, R.: A Practitioner’s Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, Dordrecht (1993)
Harbour, M., Klein, M.H., Lehoczky, J.: Timing analysis for fixed-priority scheduling of hard real-time systems. IEEE Trans. Software Eng. 20(2), 13–28 (1994)
Tripakis, S.: Description and schedulability analysis of the software architecture of an automated vehicle control system. In: Proc. International Workshop on Embedded Software, pp. 123–137 (2002)
Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison-Wesley, Reading (2000)
Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming - Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems) 40, 117–134 (1994), [Online] Available citeseer.nj.nec.com/tindell94holistic.html
Muskens, J., Chaudron, M.: Prediction of run-time resource consumption in multi-task component-based software systems. In: Crnković, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 162–177. Springer, Heidelberg (2004)
Sandstrom, K., Fredriksson, J., Akerholm, M.: Introducing a component technology for safety critical embedded real-time systems. In: Crnković, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 194–208. Springer, Heidelberg (2004)
Wall, A., Larsson, M., Norstrom, C.: Towards an impact analysis for component based real-time product line architectures. In: Proc. Euromicro Conference, pp. 81–88 (2002)
Eskenazi, E., Fioukov, A., Hammer, D.: Performance prediction for component compositions. In: Crnković, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 280–293. Springer, Heidelberg (2004)
Diaz, M., Garrido, D., Llopis, L.M., Rus, F., Troya, J.M.: Integrating real-time analysis in a component model for embedded systems. In: Proc. EUROMICRO Conference, pp. 14–21 (2004)
Balasubramanian, K., Balasubramanian, J., Parsons, J., Gokhale, A., Schmidt, D.C.: 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)
Stankovic, J.A., Zhu, R., Poornalingam, R., Lu, C., Yu, Z., Humphrey, M., Ellis, B.: Vest: an aspect-based composition tool for real-time systems. In: Proc. IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 58–69 (2003)
de Niz, D., Rajkumar, R.: Time weaver: A software-throuhg-models framework for embedded real-time systems. In: Proc. ACM Conference on Languages, Compilers and Tools For Embedded Systems, pp. 133–143 (2003)
Hatcliff, J., Deng, W., Dwyer, M., Jung, G., Prasad, V.: Cadena: An integrated development, analysis, and verification environment for component-based systems. In: Proc. IEEE International Conference on Software Engineering (2003)
Gu, Z., Wang, S., Kodase, S., Shin, K.G.: An end-to-end tool chain for multiview modeling and analysis of avionics mission computing software. In: Proc. IEEE Real-Time Systems Symposium (RTSS), pp. 78–81 (2003)
Gu, Z., Wang, S., Kodase, S., Shin, K.G.: 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, pp. 32–41 (2004)
Gu, Z., Shin, K.G.: 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)
Karsai, G.: Design tool integration: An exercise in semantic interoperability. In: Proc. IEEE Conference on Engineering of Computer Based Systems (2000)
Sharma, P.K., Loyall, J.P., Heineman, G.T., Schantz, R.E., Shapiro, R., Duzan, G.: Component-based dynamic qos adaptations in distributed real-time and embedded systems. In: International Symposium on Distributed Objects and Applications, pp. 25–29 (2004)
The Object Management Group website (2004), [Online] Available http://www.omg.org
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
OMG, 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
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gu, Z., He, Z. (2005). Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models. In: Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds) Component-Based Software Engineering. CBSE 2005. Lecture Notes in Computer Science, vol 3489. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11424529_16
Download citation
DOI: https://doi.org/10.1007/11424529_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25877-3
Online ISBN: 978-3-540-32049-4
eBook Packages: Computer ScienceComputer Science (R0)