Towards a modular timing analysis of real-time software systems

被引：0
|
作者：
deFigueiredo, JCA
Perkusich, A
机构：
来源：
SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION | 1997年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we present a timing Petri net extension based o fuzzy set theory to perform timing analysis of software systems. A modular timing analysis is defined by using a structure tool named G-Net. Finally, we make some considerations about the integration of this timing extension and G-CPN, an object-based Petri net.
引用
收藏
页码：4442 / 4447
页数：6
相关论文
共 50 条
  • [1] Towards Composable Timing for Real-Time Software
    Puschner, Peter
    Kirner, Raimund
    Pettit, Robert G.
    [J]. FIRST INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE DEPENDABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, : 1 - +
  • [2] Modular software for real-time quantum control systems
    Riesebos, Leon
    Bondurant, Brad
    Whitlow, Jacob
    Kim, Junki
    Kuzyk, Mark
    Chen, Tianyi
    Phiri, Samuel
    Wang, Ye
    Fang, Chao
    Van Horn, Andrew
    Kim, Jungsang
    Brown, Kenneth R.
    [J]. 2022 IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING (QCE 2022), 2022, : 545 - 555
  • [3] A MODULAR APPROACH TO REAL-TIME SOFTWARE
    CHAO, A
    [J]. COMPUTER DESIGN, 1986, 25 (18): : 85 - 88
  • [4] STATIC TIMING ANALYSIS OF REAL-TIME SYSTEMS
    JOURDAN, M
    MARANINCHI, F
    [J]. SIGPLAN NOTICES, 1995, 30 (11): : 79 - 87
  • [5] Parametric timing analysis for real-time systems
    Wang, F
    [J]. INFORMATION AND COMPUTATION, 1996, 130 (02) : 131 - 150
  • [6] Specification and Timing Analysis of Real-Time Systems
    Shuhua Wang
    Grace Tsai
    [J]. Real-Time Systems, 2004, 28 : 69 - 90
  • [7] Specification and timing analysis of real-time systems
    Wang, SH
    Tsai, G
    [J]. REAL-TIME SYSTEMS, 2004, 28 (01) : 69 - 90
  • [8] SAFETY ANALYSIS OF TIMING PROPERTIES IN REAL-TIME SYSTEMS
    JAHANIAN, F
    MOK, AK
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) : 890 - 904
  • [9] Model Driven Timing Analysis for Real-Time Systems
    Ouhammou, Yassine
    Grolleau, Emmanuel
    Richard, Michael
    Richard, Pascal
    [J]. 2012 IEEE 14TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS & 2012 IEEE 9TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (HPCC-ICESS), 2012, : 1458 - 1465
  • [10] Impact Analysis for Timing Requirements on Real-Time Systems
    Gezgin, Tayfun
    Henkler, Stefan
    Stierand, Ingo
    Rettberg, Achim
    [J]. 2014 IEEE 20TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), 2014,
12345