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 条
  • [31] Component-based system design: Analytic real-time interfaces for state-based component implementations
    Lampka K.
    Perathoner S.
    Thiele L.
    International Journal on Software Tools for Technology Transfer, 2013, 15 (3) : 155 - 170
  • [32] Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties
    Hill, James H.
    Gokhale, Aniruddha
    2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, 2008, : 3766 - 3773
  • [33] Reusable component analysis for component-based embedded real-time systems
    Fredriksson, Johan
    Land, Rikard
    PROCEEDINGS OF THE ITI 2007 29TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2007, : 615 - +
  • [34] Towards aspectual component-based development of real-time systems
    Tesanovic, A
    Nyström, D
    Hansson, J
    Norström, C
    REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 558 - 577
  • [35] Static analysis of real-time component-based systems configurations
    Attanasio, C
    Corradini, F
    Inverardi, P
    COORDINATION LANGUAGES AND MODELS, 1999, 1594 : 323 - 339
  • [36] Component-based design of large distributed real-time systems
    Kopetz, H
    DISTRIBUTED COMPUTER CONTROL SYSTEMS 1997 (DCCS'97), 1997, : 141 - 147
  • [37] On Component-Based Software Development for Multiprocessor Real-Time Systems
    Khalilzad, Nima
    Behnam, Moris
    Nolte, Thomas
    2015 IEEE 21ST INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, 2015, : 132 - 140
  • [38] Optimizing resource usage in component-based real-time systems
    Fredriksson, J
    Sandström, K
    Åkerholm, M
    COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3489 : 49 - 65
  • [39] Static analysis of real-time component-based systems configurations
    Attanasio, C
    Corradini, F
    Inverardi, P
    SCIENCE OF COMPUTER PROGRAMMING, 2003, 46 (1-2) : 5 - 30
  • [40] Dynamic guarantee in component-based distributed real-time systems
    Tatibana, Cssia Yuri
    de Oliveira, Romulo Silva
    Montez, Carlos
    ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, 2005, : 7 - 14
12345