Decomposing real-time specifications

被引：0
|
作者：
Olderog, ER [1 ]
Dierks, H [1 ]
机构：
[1] Carl von Ossietzky Univ Oldenburg, Fachbereich Informat, D-26111 Oldenburg, Germany
来源：
COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE | 1998年 / 1536卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we show that every real-time system specified in a certain subset of Duration Calculus [24] can be decomposed into an untimed system communicating with suitable timers. Both asynchronous and synchronous communication are considered.
引用
收藏
页码：465 / 489
页数：25
相关论文
共 50 条
  • [1] Real-time specifications
    David, Alexandre
    Larsen, Kim G.
    Legay, Axel
    Nyman, Ulrik
    Traonouez, Louis-Marie
    Wasowski, Andrzej
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (01) : 17 - 45
  • [2] Real-time specifications
    Alexandre David
    Kim G. Larsen
    Axel Legay
    Ulrik Nyman
    Louis-Marie Traonouez
    Andrzej Wąsowski
    [J]. International Journal on Software Tools for Technology Transfer, 2015, 17 : 17 - 45
  • [3] REAL-TIME PROGRAMMING SPECIFICATIONS
    HEAD, RV
    [J]. COMMUNICATIONS OF THE ACM, 1963, 6 (07) : 376 - 383
  • [4] Refactoring Real-time Specifications
    Smith, Graeme
    McComb, Tim
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 214 (0C) : 359 - 380
  • [5] Real-time specifications of the geospace environment
    Kamide, Y
    Kihn, EA
    Ridley, AJ
    Cliver, EW
    Kadowaki, Y
    [J]. SPACE SCIENCE REVIEWS, 2003, 107 (1-2) : 307 - 316
  • [6] Automatic abstractions of real-time specifications
    Brockmeyer, M
    [J]. FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 147 - 158
  • [7] Real-Time Specifications of the Geospace Environment
    Y. Kamide
    E.A. Kihn
    A.J. Ridley
    E.W. Cliver
    Y. Kadowaki
    [J]. Space Science Reviews, 2003, 107 : 307 - 316
  • [8] Synthesizing controllers from real-time specifications
    Dierks, H
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1999, 18 (01) : 33 - 43
  • [9] TIMED SPECIFICATIONS FOR THE DEVELOPMENT OF REAL-TIME SYSTEMS
    JARAY, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 67 - 83
  • [10] Optimization of real-time systems timing specifications
    Andrei, Stefan
    Cheng, Albert Mo Kim
    [J]. 12TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2006, : 68 - +
12345