Analysing Real-time Distributed Systems using Timed Actors

被引：0
|
作者：
Sirjani, Marjan [1 ]
机构：
[1] Malardalen Univ, Software Engn, Vasteras, Sweden
来源：
2019 IEEE/ACM 23RD INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT) | 2019年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：324 / 324
页数：1
相关论文
共 50 条
  • [1] Using timed automata for response time analysis of distributed real-time systems
    Bradley, S
    Henderson, W
    Kendall, D
    [J]. REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 209 - 214
  • [2] Real-time dependable decisions in timed asynchronous distributed systems
    Raynal, M
    [J]. THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 283 - 290
  • [3] Distributed Timed Multitasking - A model of computation for hard real-time distributed systems
    Angelov, Christo
    Berthing, Jesper
    [J]. FROM MODEL-DRIVEN DESIGN TO RESOURCE MANAGEMENT FOR DISTRIBUTED EMBEDDED SYSTEMS, 2006, 225 : 145 - +
  • [4] Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling
    Bashkin, Vladimir A.
    Lomazova, Irina A.
    Novikova, Yulia A.
    [J]. PARALLEL COMPUTING TECHNOLOGIES (PACT 2013), 2013, 7979 : 13 - 25
  • [5] A nonblocking timed atomic commit protocol for distributed real-time database systems
    Wong, JSK
    Mitra, S
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 34 (02) : 161 - 170
  • [6] Synthesizing distributed real-time systems modeled by a timed version of a subset of LOTOS
    Khoumsi, A
    [J]. ISSS'01: 14TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, 2001, : 268 - 273
  • [7] Verification of Distributed Embedded Real-Time Systems and Their Low-Level Implementations using Timed CSP
    Bartels, Bjoern
    Glesner, Sabine
    [J]. 2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011), 2011, : 195 - 202
  • [8] TIMED SPECIFICATIONS FOR THE DEVELOPMENT OF REAL-TIME SYSTEMS
    JARAY, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 67 - 83
  • [9] REAL-TIME DISTRIBUTED SYSTEMS
    BARBACCI, MR
    [J]. COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 3 - 12
  • [10] Modelling and simulation of asynchronous real-time systems using Timed Rebeca
    Reynisson, Arni Hermann
    Sirjani, Marjan
    Aceto, Luca
    Cimini, Matteo
    Jafari, Ali
    Ingolfsdottir, Anna
    Sigurdarson, Steinar Hugi
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 89 : 41 - 68
12345