PARADIGMS FOR REAL-TIME SYSTEMS

被引:0
|
作者
KOYMANS, R [1 ]
KUIPER, R [1 ]
ZIJLSTRA, E [1 ]
机构
[1] FOXBORO NEDERLAND NV, 3762 EC SOEST, NETHERLANDS
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:159 / 174
页数:16
相关论文
共 50 条
  • [1] Programming Paradigms for Real-Time Systems
    Landauer, Christopher
    Bellman, Kirstie L.
    [J]. 2014 IEEE 17TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2014, : 366 - 373
  • [2] WHAT ARE THE CORRECT PARADIGMS FOR DESIGNING DEPENDABLE DISTRIBUTED AND REAL-TIME SYSTEMS
    LELANN, G
    [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 596 - 597
  • [3] Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
    Bersani, Marcello M.
    Furia, Carlo A.
    Pradella, Matteo
    Rossi, Matteo
    [J]. SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 13 - +
  • [4] In pursuit of correct paradigms for object-oriented real-time distributed systems
    Carrère, P
    Hermant, JF
    Le Lann, G
    [J]. 2ND IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC'99), PROCEEDINGS, 1999, : 271 - 279
  • [5] Real-time results without real-time systems
    Fox, R
    Kasten, E
    Orji, K
    Bolen, C
    Maurice, C
    Venema, J
    [J]. IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2004, 51 (03) : 571 - 575
  • [6] Communication paradigms for high-integrity distributed systems with hard real-time requirements
    Uruena, Santiago
    Zamorano, Juan
    Pulido, Jose A.
    de la Puente, Juan A.
    [J]. DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES, 2008, : 151 - 160
  • [7] REAL-TIME SYSTEMS
    KARJALAINEN, J
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 475 - 476
  • [8] Real-time systems
    Wedde, HF
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2000, 46 (04) : 303 - 304
  • [9] Real-time systems
    Abdelzaher, T
    Sharp, D
    [J]. REAL-TIME SYSTEMS, 2005, 29 (2-3) : 99 - 99
  • [10] REAL-TIME SYSTEMS
    不详
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1982, 10 (04): : 282 - 283