A unified framework for design and performance analysis of distributed systems

被引：5
|
作者：
Jonkers, H [1 ]
Janssen, W [1 ]
Verschut, A [1 ]
Wierstra, E [1 ]
机构：
[1] Inst Telemat, NL-7500 AN Enschede, Netherlands
来源：
IEEE INTERNATIONAL COMPUTER PERFORMANCE AND DEPENDABILITY SYMPOSIUM -PROCEEDINGS | 1998年
关键词：
D O I：
10.1109/IPDS.1998.707714
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Although it becomes more and more accepted that it is important to take into account performance and dependability issues throughout the design process of distributed systems, design languages and quantitative modelling formalisms are still separate worlds. This is largely due to the fact that their requirements are very different: design languages must offer ways to easily build structured, comprehensible system specifications, while quantitative models should allow for efficient and accurate analysis. Moreover, system designers and performance modellers generally have a very different background. Aiming to bring these worlds together, we introduce a design language which includes quantitative properties of systems, and we show how specifications in this language can automatically be translated to a number of popular formalisms for quantitative distributed system modelling. The most appropriate performance modelling formalism to translate to is chosen based on the analysis goal and the characteristics of the design.
引用
收藏
页码：109 / 118
页数：10
相关论文
共 50 条
  • [41] Spectral Performance Analysis and Design for Distributed Control of Multi-Agent Systems
    Mousavi, Hossein K.
    Somarakis, Christoforos
    Motee, Nader
    2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
  • [42] UNIFIED SIMULATION AND ANALYSIS FRAMEWORK FOR DEEP SPACE NAVIGATION DESIGN
    Anzalone, Evan J.
    GUIDANCE, NAVIGATION, AND CONTROL 2014, 2014, 151 : 873 - 884
  • [43] Distributed Performance Analysis of Heterogeneous Systems
    Rantzer, Anders
    49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2010, : 2682 - 2685
  • [44] A UNIFIED FRAMEWORK FOR CONNECTIONIST SYSTEMS
    GOLDEN, RM
    BIOLOGICAL CYBERNETICS, 1988, 59 (02) : 109 - 120
  • [45] A Unified Algorithmic Framework for Distributed Composite Optimization
    Xu, Jinming
    Tian, Ye
    Sun, Ying
    Scutari, Gesualdo
    2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 2309 - 2316
  • [46] A Unified Framework for Automatic Distributed Active Learning
    Chen, Xu
    Wujek, Brett
    IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2022, 44 (12) : 9774 - 9786
  • [47] A Unified Framework for Period and Priority Optimization in Distributed Hard Real-Time Systems
    Zhao, Yecheng
    Gala, Vinit
    Zeng, Haibo
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2018, 37 (11) : 2188 - 2199
  • [48] PERFORMANCE ANALYSIS OF A CLASS OF TRANSIENT DETECTION ALGORITHMS - A UNIFIED FRAMEWORK
    PORAT, B
    FRIEDLANDER, B
    IEEE TRANSACTIONS ON SIGNAL PROCESSING, 1992, 40 (10) : 2536 - 2546
  • [49] A Unified Framework for lp Analysis and Synthesis of Linear Switched Systems
    Naghnaeian, Mohammad
    Voulgaris, Petros G.
    Dullerud, Geir E.
    2016 AMERICAN CONTROL CONFERENCE (ACC), 2016, : 715 - 720
  • [50] Further analysis for consensus of hybrid multiagent systems: A unified framework
    Zhao, Qi
    Zheng, Yuanshi
    Liu, Jian
    Liu, Bo
    INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2021, 31 (16) : 8109 - 8117
12345