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

DOI: 10.1007/3-540-48046-3_22

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2361)
Cite this paper as:
Medina J.L., Gutiérrez J.J., Drake J.M., Harbour M.G. (2002) Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components. In: Blieberger J., Strohmeier A. (eds) Reliable Software Technologies — Ada-Europe 2002. Ada-Europe 2002. Lecture Notes in Computer Science, vol 2361. Springer, Berlin, Heidelberg

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.

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