Skip to main content

Modelling and Evaluating Real-Time Software Architectures

  • Conference paper
Reliable Software Technologies – Ada-Europe 2009 (Ada-Europe 2009)

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

Included in the following conference series:

Abstract

We describe the tool supported approach we developed for real-time systems modelling and schedulability analysis performed at the architecting phase of the software lifecycle. This approach integrates the “Pipelines of Processes in Object Oriented Architectures” (or PPOOA for short) method and tool for architecting real-time systems using UML notation, with the Cheddar tool for simulation and schedulability analysis of real-time software intensive systems. PPOOA and Cheddar were developed independently, so we have to adapt PPOOA, the method and tool we had developed, to be integrated with the Cheddar tool developed by the University of Brest. The goal of the paper is to show how this approach can be applied seamlessly to the architecting of small and medium real-time systems, identifying and solving concurrency problems at the architecture phase thus saving later testing and debugging efforts. An illustrative example of modelling and evaluation of an elevator control system is presented.

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

Access this chapter

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. Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-Based Performance Prediction in Software Development: A Survey. IEEE Transactions on Software Engineering 30(5) (May 2004)

    Google Scholar 

  2. Feiler, P., Niz, D., Raistrick, C., Lewis, B.A.: From PIMs to PSMs. In: 12th IEEE International Conference on Engineering Complex Computer Systems, Auckland, New Zeland (July 2007)

    Google Scholar 

  3. Fernandez, J., Martinez, J.C.: Implementing a Real-Time Architecting Method in a Commercial CASE Tool. In: 16th International Conference on Software & Systems Engineering, Paris, France (December 2003)

    Google Scholar 

  4. Fernandez, J.L., Marmol, G.: An Effective Collaboration of a Modeling Tool and a Simulation and Evaluation Framework. 18th Annual International Symposium, INCOSE 2008. Systems Engineering for the Planet, The Netherlands (June 2008)

    Google Scholar 

  5. Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML. Addisson-Wesley, Upper Saddle River (2000)

    Google Scholar 

  6. Lammalle, P.: A Successful New Standard for Europe. In: Interlift 2005, October 20 (2005)

    Google Scholar 

  7. Saiedian, H., Raguraman, S.: Using UML-Based Rate Monotonic Analysis to Predict Schedulability. IEEE Computer (October 2004)

    Google Scholar 

  8. Singhoff, F., Legrand, J., Nana, L., Marcé, L.C.: A Flexible Real Time Scheduling Framework. In: Proceedings of the ACM SIGAda International Conference, Atlanta, November 15-18 (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fernández Sánchez, J.L., Mármol Acitores, G. (2009). Modelling and Evaluating Real-Time Software Architectures. In: Kordon, F., Kermarrec, Y. (eds) Reliable Software Technologies – Ada-Europe 2009. Ada-Europe 2009. Lecture Notes in Computer Science, vol 5570. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01924-1_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-01924-1_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-01923-4

  • Online ISBN: 978-3-642-01924-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics