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 条
  • [41] Real-time systems
    Mezzalira, L
    JOURNAL OF SYSTEMS ARCHITECTURE, 1996, 42 (6-7) : 387 - 390
  • [42] How 'real time' are real-time systems?
    Gallimore, Heath
    Electronic Products (Garden City, New York), 2011, 53 (09):
  • [43] Exploiting real-time FPGA based adaptive systems technology for real-time Sensor Fusion in next generation automotive safety systems
    Chappell, S
    Macarthur, A
    Preston, D
    Olmstead, D
    Flint, B
    Sullivan, C
    DESIGNERS' FORUM: DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2005, : 180 - 185
  • [44] TucanVirtual prototype generation and time constraints analysis of real-time embedded systems
    Horacio Hoyos-Rodríguez
    Fernando Jiménez
    Rubby Casallas
    Darío Correal
    Design Automation for Embedded Systems, 2013, 17 : 129 - 165
  • [45] Real-time TTCN for testing real-time and multimedia systems
    Walter, T
    Grabowski, J
    TESTING OF COMMUNICATING SYSTEMS, VOL 10, 1997, : 37 - 54
  • [46] Real-time calculus for scheduling hard real-time systems
    Thiele, L
    Chakraborty, S
    Naedele, M
    ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL IV: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, 2000, : 101 - 104
  • [47] REAL-TIME EUCLID - A LANGUAGE FOR RELIABLE REAL-TIME SYSTEMS
    KLIGERMAN, E
    STOYENKO, AD
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) : 941 - 949
  • [48] MICROPROCESSOR REAL-TIME EXECUTIVE FOR FUNCTIONALLY-PARTITIONED PARALLEL COMPUTER SYSTEMS.
    Summer, C.F.
    Trask, Michael J.
    Pettus, Robert O.
    Proceedings of SOUTHEASTCON Region 3 Conference, 1981, : 444 - 446
  • [49] Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS
    Andrade, Wilkerson L.
    Machado, Patricia D. L.
    Alves, Everton L. G.
    Almeida, Diego R.
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2009, 5902 : 54 - 69
  • [50] A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems
    Carnevali, Laura
    Ridi, Lorenzo
    Vicario, Enrico
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (03) : 292 - 304
12345