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 条

[1] Retiming techniques for statecharts
[J]. Lect Notes Comput Sci, (55):
[2] RETIMING AND RESYNTHESIS - OPTIMIZING SEQUENTIAL NETWORKS WITH COMBINATIONAL TECHNIQUES
MALIK, S
SENTOVICH, EM
BRAYTON, RK
SANGIOVANNIVINCENTELLI, A
[J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1991, 10 (01) : 74 - 84
[3] Theoretical constraints on multi-dimensional retiming design techniques
Passos, NL
Defoe, DC
Bailey, RJ
Halverson, R
Simpson, R
[J]. VISUAL INFORMATION PROCESSING X, 2001, 4388 : 238 - 245
[4] MULTIPLEXING ASYNCHRONOUS SIGNALS USING BIT STUFFING AND RETIMING TECHNIQUES
NAJJAR, HF
[J]. IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 1969, AES5 (04) : 661 - &
[5] Compiling timed Statecharts into region Statecharts
Qian, J. Y.
Xu, B. W.
[J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 1668 - 1673
[6] Theoretical comparison between sequential redundancy addition and removal and retiming optimization techniques
San Millan, E
Entrena, L
Espejo, JA
Lopez, C
[J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2003, 49 (12-15) : 529 - 541
[7] Integration of statecharts
Frank, H
Eder, J
[J]. 3RD IFCIS INTERNATIONAL CONFERENCE ON COOPERATIVE INFORMATION SYSTEMS - PROCEEDINGS, 1998, : 364 - 372
[8] Refactoring of Statecharts
Abadi, Moria
Feldman, Yishai A.
[J]. NEXT GENERATION INFORMATION TECHNOLOGIES AND SYSTEMS, 2009, 5831 : 50 - +
[9] Equivalences of statecharts
Maggiolo-Schettini, Andrea
Peron, Adriano
Tini, Simone
[J]. Lecture Notes in Computer Science, 1119
[10] The equivalence of statecharts
Long, Q
Qiu, ZY
Qin, SC
[J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2885 : 125 - 143

← 1 2 3 4 5 →