Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components

  • Julio L. Medina
  • J. Javier Gutiérrez
  • José M. Drake
  • Michael González Harbour
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2361)

Abstract

The paper proposes a methodology for modeling distributed real-time applications written in Ada 95 and its Annexes D and E. The real-time model obtained is analyzable with a set of tools that includes multiprocessor priority assignment and worst-case schedulability analysis for checking hard real-time requirements. This methodology models independently the platform (processors, communication networks, operating systems, or peripheral drivers), the logical components used (processing requirements, shared resources or remote components), and the real-time situations of the application itself (real-time transactions, workload or timing requirements). It automates the modeling of local and remote access to distributed services. The methodology is formulated with UML, and therefore the software logic design as well as its real-time model may be represented inside any UML CASE tool. The real-time model obtained is analyzable with a set of tools that includes multiprocessor priority assignment and worst-case schedulability analysis for checking hard real-time requirements.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    S. Tucker Taft, and R.A. Duff (Eds.) “Ada 95 Reference Manual. Language and Standard Libraries”. International Standard ISO/IEC 8652:1995(E), in LNCS 1246, Springer, 1997.Google Scholar
  2. [2]
    L. Pautet and S. Tardieu, “Inside the Distributed Systems Annex”, Intl. Conf. on Reliable Software Technologies, Ada-Europe’98, Uppsala, Sweden, in LNCS 1411, Springer, pp. 65–77, June 1998.CrossRefGoogle Scholar
  3. [3]
    L. Pautet and S. Tardieu: “GLADE: a Framework for Building Large Object-Oriented Real-Time Distributed Systems. Proc. of the 3rd IEEE”. Intl. Symposium on Object-Oriented Real-Time Distributed Computing, (ISORC’00) Newport Beach, USA, March 2000.Google Scholar
  4. [4]
    Luís Miguel Pinho, “Distributed and Real-Time: Session summary”, 10th.Intl. Real-Time Ada Workshop, IRTAW’01, Ávila, Spain, in Ada Letters, Vol. XXI, Number 1, March 2001.Google Scholar
  5. [5]
    Ada-Core Technologies, Ada 95 GNAT Pro, http:// www.gnat.com/
  6. [6]
    J.J. Gutiérrez García, and M. González Harbour: “Prioritizing Remote Procedure Calls in Ada Distributed Systems”, ACM Ada Letters, XIX, 2, pp. 67–72, June 1999.CrossRefGoogle Scholar
  7. [7]
    J.J. Gutiérrez García, and M. González Harbour: “Towards a Real-Time Distributed Systems Annex in Ada”, ACM Ada Letters, XXI, 1, pp. 62–66, March 2001.CrossRefGoogle Scholar
  8. [8]
    M. González Harbour, J.J. Gutiérrez, J.C. Palencia and J.M. Drake: “MAST: Modeling and Analysis Suite for Real-Time Applications” Proceedings of the Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001.Google Scholar
  9. [9]
    J.L. Medina, M. González Harbour, and J.M. Drake: “MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems” RTSS’01, London, December, 2001Google Scholar
  10. [10]
    J.C. Palencia, and M. González Harbour, “Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems”. Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Julio L. Medina
    • 1
  • J. Javier Gutiérrez
    • 1
  • José M. Drake
    • 1
  • Michael González Harbour
    • 1
  1. 1.SantanderSpain

Personalised recommendations