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 条
  • [41] A Method for Dynamic Software Updating in Real-Time Systems
    Seifzadeh, Habib
    Kazem, Ali Asghar Pourhaji
    Kargahi, Mehdi
    Movaghar, Ali
    [J]. PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 34 - +
  • [42] Low Cost Dynamic Scrubbing for Real-Time Systems
    Santos, Leonardo P.
    Nazar, Gabriel L.
    Carro, Luigi
    [J]. APPLIED RECONFIGURABLE COMPUTING, ARC 2016, 2016, : 144 - 156
  • [43] Real-Time State Detection in Highly Dynamic Systems
    Kettle, Ryan A.
    Dick, Andrew J.
    Dodson, Jacob C.
    Foley, Jason R.
    Anton, Steven R.
    [J]. ROTATING MACHINERY, HYBRID TEST METHODS, VIBRO-ACOUSTICS AND LASER VIBROMETRY, VOL 8, 2016, : 27 - 34
  • [44] Scheduling of Dynamic Participants in Real-Time Distributed Systems
    Sin, Mong Leng
    Bouroche, Melanie
    Cahill, Vinny
    [J]. 2011 30TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), 2011, : 245 - 254
  • [45] Specification and modeling of dynamic, distributed real-time systems
    Welch, LR
    Ravindran, B
    Shirazi, BA
    Bruggeman, C
    [J]. 19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1998, : 72 - 81
  • [46] Dynamic reconfiguration for adaptive multiversion real-time systems
    Lima, George
    Camponogara, Eduardo
    Sokolonski, Ana Carolina
    [J]. ECRTS 2008: PROCEEDINGS OF THE 20TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, 2008, : 115 - +
  • [47] Dynamic Partial Reconfiguration Profitability for Real-Time Systems
    Valente, Giacomo
    Di Mascio, Tania
    Pomante, Luigi
    D'Andrea, Gabriella
    [J]. IEEE EMBEDDED SYSTEMS LETTERS, 2021, 13 (03) : 102 - 105
  • [48] REAL-TIME DYNAMIC SIMULATION OF NONLINEAR MIMO SYSTEMS
    PIMENTA, PCC
    DEAZEVEDO, SF
    [J]. COMPUTERS & CHEMICAL ENGINEERING, 1993, 17 : S343 - S348
  • [49] A dynamic scheduling algorithm for real-time expert systems
    Campos, AM
    García, DF
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS, 2002, 2527 : 775 - 784
  • [50] Dynamic memory management for embedded real-time systems
    Crespo, A.
    Ripoll, I.
    Masmano, M.
    [J]. FROM MODEL-DRIVEN DESIGN TO RESOURCE MANAGEMENT FOR DISTRIBUTED EMBEDDED SYSTEMS, 2006, 225 : 195 - +
12345