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

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… (More)
DOI: 10.1007/3-540-48046-3_22
View Slides

11 Figures and Tables

Topics

  • Presentations referencing similar topics