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 条
  • [41] Framework for component-based development of distributed real-time systems
    Villela, C
    Becker, LB
    Pereira, CE
    SIXTH INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 2001, : 85 - 90
  • [42] Component-based Construction of Heterogeneous Real-time Systems in BIP
    Sifakis, Joseph
    FUTURE OF SOFTWARE ENGINEERING, 2011, : 150 - 150
  • [43] Component-based design of large distributed real-time systems
    Kopetz, H
    CONTROL ENGINEERING PRACTICE, 1998, 6 (01) : 53 - 60
  • [44] Enabling Component-Based Design for Embedded Real-Time Software
    Wiklander, Jimmie
    Eliasson, Jens
    Kruglyak, Andrey
    Lindgren, Per
    Nordlander, Johan
    JOURNAL OF COMPUTERS, 2009, 4 (12) : 1309 - 1321
  • [45] Design of real-time component-based applications on open platforms
    Barros, Laura
    Lopez Martinez, Patricia
    Drake, Jose M.
    2011 37TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2011), 2011, : 65 - 72
  • [46] A Causality Analysis Framework for Component-Based Real-Time Systems
    Wang, Shaohui
    Ayoub, Anaheed
    Kim, BaekGyu
    Goessler, Gregor
    Sokolsky, Oleg
    Lee, Insup
    RUNTIME VERIFICATION, RV 2013, 2013, 8174 : 285 - 303
  • [47] Component-Based Mixed-Criticality Real-Time Scheduling on a Single Processor System
    Ma, Dandi
    IEEE ACCESS, 2024, 12 : 123208 - 123223
  • [48] Meta-model Validation of Integrated MARTE and Component-Based Methodology Component Model for Embedded Real-Time Software
    Zaki, Mohd Z. M.
    Isa, M. A.
    Jawawi, Dayang N. A.
    SOFTWARE ENGINEERING AND COMPUTER SYSTEMS, PT 3, 2011, 181 : 246 - 256
  • [49] COMPONENT-BASED OPERATING SYSTEM WORKS IN REAL TIME.
    Funck, Gary
    Electronic Systems Technology and Design/Computer Design's, 1984, 23 (08): : 203 - 204
  • [50] A new component-based real-time system based on timed high-order(THO) π calculus
    You, Tao
    Du, Chenglie
    Wang, Xiaowei
    Zheng, Wei
    Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University, 2009, 27 (06): : 906 - 911
12345