A Scenario-Aware Data Flow model for combined long-run average and worst-case performance analysis

被引:64
|
作者
Theelen, B. D. [1 ]
Geilen, M. C. W. [1 ]
Basten, T. [1 ]
Voeten, J. P. M. [1 ]
Gheorghita, S. V. [1 ]
Stuijk, S. [1 ]
机构
[1] Eindhoven Univ Technol, Dept Elect Engn, POB 513, NL-5600 MB Eindhoven, Netherlands
来源
FOURTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS | 2006年
关键词
D O I
10.1109/MEMCOD.2006.1695924
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing the dynamic aspects of modern streaming applications or they do not support relevant analysis techniques. The dynamism in modern streaming applications often originates from different modes of operation (scenarios) in which data production and consumption rates and/or execution times may differ. This paper introduces a scenario-aware generalisation of the Synchronous Data. Flow model, which uses a stochastic approach to model the order ill which scenarios occur: The formally defined operational semantics of a Scenario-Aware Data Flow model implies a Markov chain, which call be analysed for both long-run average and worst-case performance metrics using existing exhaustive or simulation-based techniques. The potential of using Scenario-Aware Data Flow models for performance analysis of modern streaming applications is illustrated with an MPEG-4 decoder example.
引用
收藏
页码:185 / +
页数:3
相关论文
共 20 条
  • [1] Long-Run Risk Is the Worst-Case Scenario
    Bidder, Rhys
    Dew-Becker, Ian
    AMERICAN ECONOMIC REVIEW, 2016, 106 (09): : 2494 - 2527
  • [2] Model Checking of Scenario-Aware Data flow with CADP
    Theelen, Bart
    Katoen, Joost-Pieter
    Wu, Hao
    DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012), 2012, : 653 - 658
  • [3] Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs
    Skelin, Mladen
    Geilen, Marc
    Catthoor, Francky
    Hendseth, Sverre
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (145): : 65 - 79
  • [4] Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow
    Katoen, Joost-Pieter
    Wu, Hao
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2016, 22 (01)
  • [5] Worst-case flow model of VL for worst-case delay analysis of AFDX
    Liu, Cheng
    Wang, Tong
    Zhao, Changxiao
    Xiong, Huagang
    ELECTRONICS LETTERS, 2012, 48 (06) : 327 - 328
  • [6] Stochastic streamflow and dissolved silica dynamics with application to the worst-case long-run evaluation of water environment
    Yoshioka, Hidekazu
    Yoshioka, Yumi
    OPTIMIZATION AND ENGINEERING, 2023, 24 (03) : 1577 - 1610
  • [7] Stochastic streamflow and dissolved silica dynamics with application to the worst-case long-run evaluation of water environment
    Hidekazu Yoshioka
    Yumi Yoshioka
    Optimization and Engineering, 2023, 24 : 1577 - 1610
  • [8] Data-Flow Frameworks for Worst-Case Execution Time Analysis
    Johann Blieberger
    Real-Time Systems, 2002, 22 : 183 - 227
  • [9] A Combined Average-Case and Worst-Case Analysis for an Integrated Hub Location and Revenue Management Problem
    Huo, Jia-Zhen
    Hou, Yan-Ting
    Chu, Feng
    He, Jun-Kai
    DISCRETE DYNAMICS IN NATURE AND SOCIETY, 2019, 2019
  • [10] Data-flow frameworks for worst-case execution time analysis
    Blieberger, J
    REAL-TIME SYSTEMS, 2002, 22 (03) : 183 - 227