Skip to main content
SpringerLink
Log in

Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models

  • Conference paper
Component-Based Software Engineering (CBSE 2005)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3489))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object Oriented Modeling. Addison-Wesley, Reading (1994)

    MATH  Google Scholar 

  2. The IBM Rational website (2004), [Online] Available http://www-306.ibm.com/software/rational/

  3. The Quantum Framework website (2004), [Online] Available http://www.quantum-leaps.com/qf.htm

  4. 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)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. 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)

    Article  Google Scholar 

  10. 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)

    Google Scholar 

  11. Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison-Wesley, Reading (2000)

    Google Scholar 

  12. 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

    Google Scholar 

  13. 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)

    Chapter  Google Scholar 

  14. 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)

    Chapter  Google Scholar 

  15. 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)

    Google Scholar 

  16. 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)

    Chapter  Google Scholar 

  17. 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)

    Google Scholar 

  18. 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)

    Google Scholar 

  19. 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)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. 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)

    Google Scholar 

  22. 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)

    Google Scholar 

  23. 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)

    Google Scholar 

  24. 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)

    Google Scholar 

  25. Karsai, G.: Design tool integration: An exercise in semantic interoperability. In: Proc. IEEE Conference on Engineering of Computer Based Systems (2000)

    Google Scholar 

  26. 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)

    Google Scholar 

  27. The Object Management Group website (2004), [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. 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

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University of Virginia, Charlottesville, VA, 22903, USA

    Zonghua Gu & Zhimin He

Authors
  1. Zonghua Gu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhimin He
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Worcester Polytechnic Institute, 100 Institute Road, 01609, Worcester, MA, USA

    George T. Heineman

  2. School of Innovation, Design and Engineering, Mälardalen University, Västerås, Sweden

    Ivica Crnkovic

  3. Centre for Distributed Systems and Software Engineering, Monash University, Melbourne, Australia

    Heinz W. Schmidt

  4. Tufts University, Computer Science, Boston, 161 College Avenue, 02155, Medford, MA, USA

    Judith A. Stafford

  5. Microsoft, USA

    Clemens Szyperski

  6. Software Engineering Institute,  

    Kurt Wallnau

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation