SPECIFYING DYNAMIC REAL-TIME SYSTEMS IN CRP

被引：0
|
作者：
SHYAMASUNDAR, RK
机构：
来源：
INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS | 1994年 / 51卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we show that the paradigm of Communicating Reactive Processes (CRP) can be effectively used for programming dynamic real-time systems. Timed CRP unifies asynchronous and perfectly synchronous mechanisms and can specify hybrid reactive systems. Here, we show that it can be used for specifying strict timing constraints and for achieving the notion of guarantee.
引用
收藏
页码：75 / 80
页数：6
相关论文
共 50 条
  • [1] TOOLS FOR SPECIFYING REAL-TIME SYSTEMS
    BUCCI, G
    CAMPANAI, M
    NESI, P
    [J]. REAL-TIME SYSTEMS, 1995, 8 (2-3) : 117 - 172
  • [2] Using TILCO for specifying real-time systems
    Mattolini, R
    Nesi, P
    [J]. SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 18 - 25
  • [3] Specifying real-time properties in autonomic systems
    Zhang, Ji
    Zhou, Zhinan
    Cheng, Betty H. C.
    McKinley, Philip K.
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2007, 3 (01) : 3 - 16
  • [4] SPECIFYING AND VERIFYING REQUIREMENTS OF REAL-TIME SYSTEMS
    RAVN, AP
    RISCHEL, H
    HANSEN, KM
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (01) : 41 - 55
  • [5] Formally specifying and verifying real-time systems
    Kemmerer, RA
    Kolano, PZ
    [J]. FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 112 - 120
  • [6] A graphical language for specifying and analyzing real-time systems
    Ben-Abdallah, H
    Lee, I
    [J]. INTEGRATED COMPUTER-AIDED ENGINEERING, 1998, 5 (04) : 279 - 301
  • [7] A technique for specifying interface modules for real-time systems
    Wang, YZ
    Peters, DK
    [J]. IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, : 709 - 714
  • [8] 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
  • [9] SPECIFYING A REAL-TIME KERNEL
    SPIVEY, JM
    [J]. IEEE SOFTWARE, 1990, 7 (05) : 21 - 28
  • [10] Specifying and Verifying Real-Time Self-Adaptive Systems
    Camilli, Matteo
    Gargantini, Angelo
    Scandurra, Patrizia
    [J]. 2015 IEEE 26TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2015, : 303 - 313
12345