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 条
  • [21] Automatic model generation for black box real-time systems
    Feng, Thomas Huining
    Wang, Lynn
    Zheng, Wei
    Kanajan, Sri
    Seshia, Sanjit A.
    2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2007, : 930 - +
  • [22] Fifth Workshop on Next Generation Real-Time Embedded Systems
    Yomsi, Patrick Meumeu
    Wildermann, Stefan
    OpenAccess Series in Informatics, 2024, 117
  • [23] Using multiagent systems to improve real-time map generation
    Jabeur, Nafaa
    Boulekrouche, Boubaker
    Moulin, Bernard
    ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4013 : 37 - 48
  • [24] Test Case Generation for Flexible Real-Time Control Systems
    Nilsson, Robert
    Henriksson, Dan
    ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2005,
  • [25] DMOC Approach of Real-Time Trajectory Generation for Mechanical Systems
    Zhang, Weizhong
    Inanc, Tamer
    Marsden, Jerrold E.
    2008 10TH INTERNATIONAL CONFERENCE ON CONTROL AUTOMATION ROBOTICS & VISION: ICARV 2008, VOLS 1-4, 2008, : 2192 - +
  • [26] NEXT GENERATION REAL-TIME TRAFFIC ADAPTIVE MANAGEMENT SYSTEMS
    Mirchandani, Pitu
    TRANSPORTATION SYSTEMS: ENGINEERING & MANAGEMENT, 2007, : 397 - 397
  • [27] A Code Generation Framework for Distributed Real-Time Embedded Systems
    Bambagini, Mario
    Di Natale, Marco
    2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
  • [28] An efficient state space generation for the analysis of real-time systems
    Kang, I
    Lee, I
    Kim, YS
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (05) : 453 - 477
  • [29] Automatic Code Generation from Real-Time Systems Specifications
    Carnevali, L.
    D'Amico, D.
    Ridi, L.
    Vicario, E.
    RSP 2009: TWENTIETH IEEE/IFIP INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2009, : 102 - 105
  • [30] Enhancing the Parallel State Space Generation for Real-Time Systems
    Bensetira, Imene
    Saidouni, Djamel-Eddine
    PROCEEDINGS OF 2015 THIRD IEEE WORLD CONFERENCE ON COMPLEX SYSTEMS (WCCS), 2015,
12345