GENERATION OF REAL-TIME EXECUTIVE SYSTEMS

被引：0
|
作者：
BARADELLO, CS
CARLONI, G
机构：
来源：
ELECTRICAL COMMUNICATION | 1986年 / 60卷 / 3-4期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：259 / 265
页数：7
相关论文
共 50 条
  • [1] EPICS on the RTEMS real-time executive for multiprocessor systems
    Norum, WE
    REVIEW OF SCIENTIFIC INSTRUMENTS, 2002, 73 (03): : 1560 - 1562
  • [2] A REAL-TIME FORTRAN EXECUTIVE
    CROWL, DA
    IEEE MICRO, 1985, 5 (04) : 48 - 66
  • [3] ARCHITECTURE OF A REAL-TIME EXECUTIVE
    WHITTAKER, GA
    ISA TRANSACTIONS, 1971, 10 (02) : 183 - +
  • [4] Experimental test generation for real-time systems
    Fouchal, H
    Rabat, C
    Rollet, A
    Tarhini, A
    INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2004, : 284 - 289
  • [5] REAL-TIME EXECUTIVE JUGGLES MULTICONTROL SYSTEMS LIKE A PRO
    SMITH, RM
    ELECTRONIC PRODUCTS MAGAZINE, 1985, 27 (16): : 76 - 81
  • [6] Modular Network Stacks in the Real-Time Executive for Multiprocessor Systems
    Banerjee, Vijay
    Hounsinou, Sena
    Gerber, Harrison
    Bloom, Gedare
    2021 RESILIENCE WEEK (RWS), 2021,
  • [7] RMX - REAL-TIME MULTITASKING EXECUTIVE
    WANG, JCH
    JOURNAL OF MICROCOMPUTER APPLICATIONS, 1983, 6 (01): : 79 - 84
  • [8] INTEGRAL REAL-TIME EXECUTIVE FOR MICROCOMPUTERS
    BURGETT, K
    ONEIL, EF
    COMPUTER DESIGN, 1977, 16 (07): : 77 - 82
  • [9] Test cases generation for nondeterministic real-time systems
    Khoumsi, A
    Jéron, T
    Marchand, H
    FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 131 - 146
  • [10] A test generation framework for quiescent real-time systems
    Briones, LB
    Brinksma, E
    FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 64 - 78
12345