Retiming techniques for Statecharts

被引：0
|
作者：
MaggioloSchettini, A [1 ]
Peron, A [1 ]
机构：
[1] UNIV UDINE, DIPARTIMENTO MATEMAT & INFORMAT, I-33100 UDINE, ITALY
来源：
FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS | 1996年 / 1135卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We consider a version of Statecharts having transitions with durations. We relate occurrences of transitions with a dense time domain and enforce a strong time semantics. We examine how durations associated with transitions can be changed while preserving behaviour (a retiming). We discuss also how a class of changes of the temporal feature of the environment (i.e. from non-discrete to discrete and vice-versa, shift, speed-up and slow-down) affect behaviour.
引用
收藏
页码：55 / 71
页数：17
相关论文
共 50 条
  • [21] IMPLEMENTATION OF STATECHARTS WITH TRANSPUTERS
    CALVEZ, JP
    PASQUIER, O
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 133 - 139
  • [22] A refinement calculus for Statecharts
    Scholz, P
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 285 - 301
  • [23] ViSta - Visualizing statecharts
    Castello, R
    Mili, R
    Tollis, IG
    [J]. GRAPH DRAWING SOFTWARE, 2004, : 299 - 320
  • [24] Retiming control logic
    Maheshwari, N
    Sapatnekar, SS
    [J]. INTEGRATION-THE VLSI JOURNAL, 1999, 28 (01) : 33 - 53
  • [25] Automatic layout of statecharts
    Castello, R
    Mili, R
    Tollis, IG
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2002, 32 (01): : 25 - 55
  • [26] A translation of statecharts into signal
    Beauvais, JR
    Gautier, T
    Le Guernic, P
    Houdebine, R
    Rutten, E
    [J]. 1998 INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 1998, : 52 - 62
  • [27] A COMPOSITIONAL AXIOMATIZATION OF STATECHARTS
    HOOMAN, JJM
    RAMESH, S
    DEROEVER, WP
    [J]. THEORETICAL COMPUTER SCIENCE, 1992, 101 (02) : 289 - 335
  • [28] Hybrid MARTE statecharts
    Liu, Jing
    Liu, Ziwei
    He, Jifeng
    Mallet, Frederic
    Ding, Zuohua
    [J]. FRONTIERS OF COMPUTER SCIENCE, 2013, 7 (01) : 95 - 108
  • [29] Retiming: Theory and practice
    Synopsys Inc, Mountain View, United States
    [J]. Integr VLSI J, 1-2 (1-21):
  • [30] Physical planning with retiming
    Cong, J
    Lim, SK
    [J]. ICCAD - 2000 : IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, 2000, : 2 - 7
12345