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 条
  • [1] Automatic verification of component-based real-time CORBA applications
    Madl, G
    Abdelwahed, S
    Karsai, G
    25TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2004, : 231 - 240
  • [2] COMPONENT-BASED OPERATING SYSTEM WORKS IN REAL-TIME
    FUNCK, G
    COMPUTER DESIGN, 1984, 23 (08): : 203 - &
  • [3] Real-time component-based systems
    Wang, SQ
    Rho, S
    Mai, ZB
    Bettati, R
    Zhao, W
    RTAS 2005: 11th IEEE Real Time and Embedded Technology and Applications Symposium, Proceedings, 2005, : 428 - 437
  • [4] Component-Based Real-Time Operating System for Embedded Applications
    Loiret, Frederic
    Navas, Juan
    Babau, Jean-Philippe
    Lobry, Olivier
    COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5582 : 209 - +
  • [5] Formal verification of embedded real-time software in component-based application frameworks
    Hsiung, PA
    See, WB
    Lee, TY
    Fu, JM
    Chen, SJ
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 71 - 78
  • [6] EMERALD: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems
    Zhang, Yizhou
    Lin, Hao
    Li, Guoqiang
    2012 12TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2012, : 120 - 123
  • [7] Design of component-based real-time applications
    Lopez Martinez, Patricia
    Barros, Laura
    Drake, Jose M.
    JOURNAL OF SYSTEMS AND SOFTWARE, 2013, 86 (02) : 449 - 467
  • [8] Blaming in Component-Based Real-Time Systems
    Gossler, Gregor
    Astefanoaei, Lacramioara
    2014 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2014,
  • [9] Search-based execution-time verification in object-oriented and component-based real-time system development
    Gross, HG
    Mayer, N
    EIGHTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 2003, : 113 - 120
  • [10] RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems
    Ben-Rayana, Souha
    Bozga, Marius
    Bensalem, Saddek
    Combaz, Jacques
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 394 - 406
12345