On the Conception of Executable Design Languages for Distributed Real-time Systems

被引:0
|
作者
Gotzhein, Reinhard [1 ]
机构
[1] TU Kaiserslautern, Networked Syst Grp, Kaiserslautem, Germany
来源
24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021) | 2021年
关键词
design language; real-time system; distributed system; system architecture; task; task scheduling; executable specification; UML;
D O I
10.1109/MODELS-C53483.2021.00119
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
The model-driven development of distributed real-time systems requires executable design languages with adequate expressiveness for system architecture, system behavior, and, in particular, real-time. Real-time expressiveness of existing design languages such as UML or SDL is strongly limited. To reduce this limitation, real-time design languages, e.g. UML-RT or SDL-RT, have been proposed. However, they are based on and have to comply with existing design languages, and therefore have to cope with conceptual decisions made earlier. In this paper, we will shed new light on the conception of executable design languages for distributed real-time systems, starting from scratch. In particular, we will work out a conceptual language framework that can be extended, and filled with concrete syntax later. We will formalize some of our conceptual decisions and illustrate them.
引用
收藏
页码:733 / 741
页数:9
相关论文
共 50 条
  • [41] TEMPORAL VERIFICATION OF REAL-TIME SYSTEMS
    CAMPOS, SV
    CLARKE, EM
    MARRERO, W
    MINEA, M
    HIRAISHI, H
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1995, E78D (07) : 796 - 801
  • [42] Research of Real Time Embedded Distributed Systems
    Huang GuangJun
    Musilek, Petr
    2008 INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATION: (ICMA), VOLS 1 AND 2, 2008, : 341 - +
  • [43] Checkpointing Scheme for Relevant Distributed Real-Time Tasks
    方明
    袁由光
    杨升春
    赵晓勇
    Journal of Donghua University(English Edition), 2005, (03) : 23 - 27
  • [44] Modeling distributed real-time applications with specification PEARL
    Gumzej, Roman
    Lu, Shourong
    REAL-TIME SYSTEMS, 2007, 35 (03) : 181 - 208
  • [45] Integrating dependability analysis into the real-time system design process
    Wattanapongsakorn, N
    Levitan, S
    ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM - 2000 PROCEEDINGS, 2000, : 327 - 334
  • [46] Testing of synchronization conditions for distributed real-time applications
    Kshemkalyani, AD
    PARALLEL AND DISTRIBUTED PROCESSING, 1998, 1388 : 1140 - 1152
  • [47] Modeling distributed real-time applications with specification PEARL
    Roman Gumzej
    Shourong Lu
    Real-Time Systems, 2007, 35 : 181 - 208
  • [48] Evaluating high-level models for real-time embedded systems design
    Brisolara, L
    Becker, LB
    Carro, L
    Wagner, FR
    Pereira, CE
    DESIGN METHODS AND APPLICATIONS FOR DISTRIBUTED EMBEDDED SYSTEMS, 2004, 150 : 277 - 286
  • [49] Optimal Reliability Design for Real-time Systems with Dynamic Voltage and Frequency Scaling
    Koga, Toshitaka
    Dohi, Tadashi
    Okamura, Hiroyuki
    2014 20TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2014), 2014, : 213 - 222
  • [50] A study on transaction scheduling in a real-time distributed system
    Singh, Y. Jayanta
    Al-Saedy, Hasan
    Mehrotra, S. C.
    7TH INDUSTRIAL SIMULATION CONFERENCE 2009, 2009, : 157 - +