Utilization Bound Scheduling Analysis for Nonpreemptive Uniprocessor Architecture Using UML-RT

被引:0
|
作者
Pushpa, S. Ewins Pon [1 ]
Devasigamani, Manamalli [2 ]
机构
[1] Anna Univ, Madras Inst Technol, Dept Elect Engn, Chennai 600044, Tamil Nadu, India
[2] Anna Univ, Madras Inst Technol, Dept Instrumentat Engn, Chennai 600044, Tamil Nadu, India
关键词
D O I
10.1155/2014/705929
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
The key for adopting the utilization-based schedulability test is to derive the utilization bound. Given the computation times, this paper proposes two utilization bound algorithms to derive interrelease times for nonpreemptive periodic tasks, using a new priority scheme, "RateMonotonic Algorithm-Shortest Job First." The obtained task set possesses the advantage of Rate Monotonic Algorithm and Shortest Job First priority scheme. Further, the task set is tested for schedulability, by first deriving a general schedulability condition from "problem window" analysis and, a necessary and sufficient schedulability condition for a task to be scheduled, at any release time are also derived. As a technical contribution, success ratio and effective processor utilization are analyzed for our proposed utilization bound algorithms on a uniprocessor architecture modeled using UML-RT.
引用
收藏
页数:11
相关论文
共 18 条
  • [1] System level voltage scheduling technique using UML-RT model
    Neishaburi, M. H.
    Daneshtalab, Masoud
    Nabi, Majid
    Mohammadi, Simak
    [J]. 2007 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2, 2007, : 500 - +
  • [2] A semantics for UML-RT using π-calculus
    Bezerra, Juliana de Melo
    Hirata, Celso Massaki
    [J]. RSP 2007: 18TH IEEE/IFIP INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2007, : 75 - +
  • [3] INTEGRATING SCHEDULABILITY ANALYSIS WITH UML-RT
    Gao, Q.
    Brown, L. J.
    Capretz, L. F.
    [J]. CONTROL AND INTELLIGENT SYSTEMS, 2006, 34 (02)
  • [4] Model Checking of UML-RT Models Using Lazy Composition
    Zurowska, Karolina
    Dingel, Juergen
    [J]. MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2013, 8107 : 304 - 319
  • [5] Verifying UML-RT Protocol Conformance Using Model Checking
    Moffett, Yann
    Beaulieu, Alain
    Dingel, Juergen
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 410 - +
  • [6] The Utilization Bound of Uniprocessor Preemptive Slack-Monotonic Scheduling is 50%
    Andersson, Bjoern
    [J]. APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 281 - 283
  • [7] Enhancing critical software development using HOORA/HOOD and UML-RT
    Méhaut, X
    Richard-Foy, M
    [J]. DASIA 99: DATA SYSTEMS IN AEROSPACE, 1999, 447 : 245 - 251
  • [8] Schedulability Analysis for Rate Monotonic Algorithm- Shortest Job First Using UML-RT
    Pushpa, S. Ewins Pon
    Devasikamani, Manamalli
    [J]. MODELLING AND SIMULATION IN ENGINEERING, 2014, 2014
  • [9] From scenarios to hierarchical broadcasting software architectures using UML-RT
    Krüger, I
    Prenninger, W
    Sandner, R
    Broy, M
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2002, 12 (02) : 155 - 174
  • [10] Interface-based design of systems-on-chip using UML-RT
    Chureau, A
    Savaria, Y
    Aboulhamid, EM
    [J]. 4TH IEEE INTERNATIONAL WORKSHOP ON SYSTEM-ON-CHIP FOR REAL-TIME APPLICATIONS, PROCEEDINGS, 2004, : 39 - 44