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


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


  • Presentations referencing similar topics