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 条
  • [21] Analysis and design of robust motion controllers in the unified framework
    Kim, BK
    Choi, HT
    Chung, WK
    Suh, IH
    JOURNAL OF DYNAMIC SYSTEMS MEASUREMENT AND CONTROL-TRANSACTIONS OF THE ASME, 2002, 124 (02): : 313 - 321
  • [22] A unified framework for power-aware design of embedded systems
    Ayala, JL
    López-Vallejo, M
    INTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION, 2003, 2799 : 239 - 248
  • [23] DISTRIBUTED SYSTEMS-DESIGN - AN INTEGRATED SOFTWARE TOOL FOR PERFORMANCE ANALYSIS
    FEUGA, M
    RAYNAUD, Y
    MODELING TECHNIQUES AND TOOLS FOR COMPUTER PERFORMANCE EVALUATION, 1989, : 41 - 55
  • [24] A unified framework for knowledge assessment and progression analysis and design
    Wang, Shuhan
    He, Fang
    Andersen, Erik
    Conference on Human Factors in Computing Systems - Proceedings, 2017, 2017-May : 937 - 948
  • [25] Design and performance analysis of middleware-based distributed control systems
    Kang, W
    Kim, H
    Park, HS
    ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2001, : 253 - 260
  • [26] Distributed Consensus Seeking With Different Convergence Performance Requirements: A Unified Control Framework
    Huang, Na
    Liu, Danfu
    Sun, Zhiyong
    Duan, Zhisheng
    Lu, Qiang
    Chen, Zhangping
    IEEE TRANSACTIONS ON CYBERNETICS, 2023, 53 (09) : 5483 - 5496
  • [27] StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems
    Lin, Yixiao
    Mitra, Sayan
    ACM SIGPLAN NOTICES, 2015, 50 (05)
  • [28] A PERFORMANCE MEASUREMENT SYSTEMS DESIGN FRAMEWORK
    Duarte, R.
    Deschamps, F.
    Pinheiro de Lima, E.
    24TH INTERNATIONAL CONFERENCE ON PRODUCTION RESEARCH (ICPR), 2017, : 165 - 170
  • [29] A design framework of interactive distance learning in distributed systems
    Kamolphiwong, T
    Kamolphiwong, S
    Siriyuenyong, C
    INTERNATIONAL CONFERENCE ON COMPUTERS IN EDUCATION, VOLS I AND II, PROCEEDINGS, 2002, : 580 - 584
  • [30] A framework for design space exploration and performance analysis of networked embedded systems
    Dep. of Computer Science, University of Cantabria, Spain
    不详
    ACM Int. Conf. Proc. Ser.,