Verifying timing properties for distributed real-time systems using timing constraint Petri nets

被引：1
|
作者：
Tsai, JJP [1 ]
Yang, SJ [1 ]
Chang, YH [1 ]
Juan, EYT [1 ]
机构：
[1] UNIV ILLINOIS,DEPT ELECT ENGN & COMP SCI,CHICAGO,IL 60680
来源：
TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS | 1996年 / 20卷
关键词：
D O I：
10.1109/CMPSAC.1996.542423
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：36 / 40
页数：5
相关论文
共 50 条
  • [1] TIMING CONSTRAINT PETRI NETS AND THEIR APPLICATION TO SCHEDULABILITY ANALYSIS OF REAL-TIME SYSTEM SPECIFICATIONS
    TSAI, JJP
    YANG, SJ
    CHANG, YH
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (01) : 32 - 49
  • [2] Improving real-time identification of Petri Nets using timing information
    Basile, Francesco
    Chiacchio, Pasquale
    De Tommasi, Gianmaria
    [J]. 2009 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (EFTA 2009), 2009,
  • [3] Verifying timing constraints in real-time systems
    [J]. Bai, X. (baixy@tsinghua.edu.cn), 1600, Tsinghua University (52):
  • [4] Testing of Timing Properties in Real-Time Systems: Verifying Clock Constraints
    Saadatmand, Mehrdad
    Sjodin, Mikael
    [J]. 2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 2, 2013, : 152 - 158
  • [5] Timing constraint remapping to avoid time discontinuities in distributed real-time systems
    Ryu, M
    Park, J
    Hong, S
    [J]. PROCEEDINGS OF THE FIFTH IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, 1999, : 89 - 98
  • [6] Specifying and verifying real-time systems with timing uncertainty
    Bae, HS
    Chung, IS
    Kwon, YR
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2000, 50 (01) : 85 - 96
  • [7] Time Constraint Research based on Fuzzy Timing Petri Nets
    Liu, Yongshan
    Wang, Jianjun
    [J]. 2009 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL 2, PROCEEDINGS, 2009, : 257 - 260
  • [8] Timing constraint remapping to achieve time equi-continuity in distributed real-time systems
    Ryu, M
    Park, J
    Hong, S
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2001, 50 (12) : 1310 - 1320
  • [9] COPING WITH TIMING UNCERTAINTIES IN DISTRIBUTED REAL-TIME SYSTEMS
    SMITH, TB
    [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 599 - 599
  • [10] Verifying timing constraints of real-time systems by means of evolutionary testing
    Wegener, J
    Grochtmann, M
    [J]. REAL-TIME SYSTEMS, 1998, 15 (03) : 275 - 298
12345