Improved Worst-Case Response-Time Calculations by Upper-Bound Conditions

被引：0
|
作者：
Pollex, Victor [1 ]
Kollmann, Steffen [1 ]
Albers, Karsten [1 ]
Slomka, Frank [1 ]
机构：
[1] Univ Ulm, Inst Embedded Syst Real Time Syst, D-89069 Ulm, Germany
来源：
DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3 | 2009年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possibility, to reduce the computation time required to calculate the worst-case response time of a task in a fixed-priority task set with jitter by a considerable amount of time. The correctness of the approach is proven analytically and experimental comparisons with the currently fastest known tests show the improvement of the new method.
引用
收藏
页码：105 / 110
页数：6
相关论文
共 50 条
  • [21] New worst-case upper bounds for SAT
    Hirsch, EA
    JOURNAL OF AUTOMATED REASONING, 2000, 24 (04) : 397 - 420
  • [22] New Worst-Case Upper Bounds for SAT
    Edward A. Hirsch
    Journal of Automated Reasoning, 2000, 24 : 397 - 420
  • [23] On the probablistic worst-case time of "Find"
    Devroye, L
    ALGORITHMICA, 2001, 31 (03) : 291 - 303
  • [24] On the Probablistic Worst-Case Time of ``Find''
    L. Devroye
    Algorithmica, 2001, 31 : 291 - 303
  • [25] Online Checkpointing with Improved Worst-Case Guarantees
    Bringmann, Karl
    Doerr, Benjamin
    Neumann, Adrian
    Sliacan, Jakub
    AUTOMATA, LANGUAGES, AND PROGRAMMING, PT I, 2013, 7965 : 255 - 266
  • [26] Rapid identification of worst-case conditions: improved planning of active distribution grids
    Wiest, Pascal
    Gross, Daniel
    Rudion, Krzyzstof
    Probst, Alexander
    IET GENERATION TRANSMISSION & DISTRIBUTION, 2017, 11 (09) : 2412 - 2417
  • [27] Online Checkpointing with Improved Worst-Case Guarantees
    Bringmann, Karl
    Doerr, Benjamin
    Neumann, Adrian
    Sliacan, Jakub
    INFORMS JOURNAL ON COMPUTING, 2015, 27 (03) : 478 - 490
  • [28] A worst-case bound for topology computation of algebraic curves
    Kerber, Michael
    Sagraloff, Michael
    JOURNAL OF SYMBOLIC COMPUTATION, 2012, 47 (03) : 239 - 258
  • [29] Use of Best- and Worst-Case Prognostic Calculations
    Brenner, R. J.
    Rupper, R.
    JOURNAL OF THE AMERICAN GERIATRICS SOCIETY, 2020, 70 : S98 - S98
  • [30] Determining the worst-case synchronous message response time in FDDI networks
    Zhang, SJ
    Lee, ES
    Burns, A
    COMPUTER JOURNAL, 2001, 44 (01): : 31 - 41
12345