Component-based model and its trustworthy verification for a real-time system

被引：0
|
作者：
Wang, Da [1 ]
Chang, Jian-Sheng [1 ]
Zhao, Jing [1 ]
机构：
[1] College of Computer Science, Beijing University of Technology, Beijing 100124, China
来源：
Beijing Gongye Daxue Xuebao/Journal of Beijing University of Technology | 2010年 / 36卷 / SUPPL. 2期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：43 / 48
相关论文
共 50 条
  • [21] Dynamic reconfiguration of component-based real-time software
    Rasche, A
    Polze, A
    WORDS 2005: 10TH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE, PROCEEDINGS, 2005, : 347 - 354
  • [22] Real-time dynamic guarantee in component-based middleware
    Tatibana, Cassia Yuri
    Montez, Carlos
    de Oliveira, Romulo Silva
    10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, : 214 - +
  • [23] Modeling urgency in component-based real-time systems
    Van Tang, Nguyen
    Van Hung, Dang
    Ogawa, Mizuhito
    ADVANCES IN COMPUTER SCIENCE - ASIAN 2006: SECURE SOFTWARE AND RELATED ISSUES, 2007, 4435 : 248 - +
  • [24] Component-Based Design in Multiprocessor Real-Time Systems
    Baruah, Sanjoy
    Fisher, Nathan
    2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2009, : 209 - +
  • [25] Real-time modelling of distributed component-based applications
    Lopez, Patricia
    Medina, Julio L.
    Drake, Jose M.
    32ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) - PROCEEDINGS, 2006, : 92 - +
  • [26] Database Proxies for Component-Based Real-Time Systems
    Hjertstrom, Andreas
    Nystrom, Dag
    Sjodin, Mikael
    22ND EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2010), 2010, : 79 - 89
  • [27] Adaptive Mechanisms for Component-Based Real-Time Systems
    Buttazzo, Giorgio
    Santinelli, Luca
    2015 NASA/ESA CONFERENCE ON ADAPTIVE HARDWARE AND SYSTEMS (AHS), 2015,
  • [28] THE CONTROLSHELL COMPONENT-BASED REAL-TIME PROGRAMMING SYSTEM, AND ITS APPLICATION TO THE MARSOKHOD-MARTIAN-ROVER
    SCHNEIDER, S
    CHEN, V
    STEELE, J
    PARDOCASTELLOTE, G
    SIGPLAN NOTICES, 1995, 30 (11): : 146 - 155
  • [29] A Model-Based Testing Technique for Component-Based Real-Time Embedded Systems
    Guan, Jing
    Offutt, Jeff
    2015 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2015,
  • [30] The GENESYS Architecture: A Conceptual Model for Component-Based Distributed Real-Time Systems
    Obermaisser, Roman
    Huber, Bernhard
    SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, PROCEEDINGS, 2009, 5860 : 296 - 307
12345