Execution engine for real-time embedded software test design and realization

被引：0
|
作者：
Yin, Yongfeng [1 ]
Liu, Bin [1 ]
Wang, Chen [1 ]
机构：
[1] School of Reliability and Systems Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100191, China
来源：
Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics | 2010年 / 36卷 / 06期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
11
引用
收藏
页码：723 / 727
相关论文
共 50 条
  • [21] VERTAF: An application framework for the design and verification of embedded real-time software
    Hsiung, PA
    Lin, SW
    Tseng, CH
    Lee, TY
    Fu, JM
    Bin See, W
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (10) : 656 - 674
  • [22] A high dependability framework for real-time embedded control software design
    Zhang, Jing
    Rong, Hui
    Zhang, Chunhong
    Lu, Jing
    2009 INTERNATIONAL SYMPOSIUM ON COMPUTER NETWORK AND MULTIMEDIA TECHNOLOGY (CNMT 2009), VOLUMES 1 AND 2, 2009, : 1230 - +
  • [23] High Dependability Design Framework in Real-Time Embedded Control Software
    Zhang, Jing
    Yan, Feng
    Zhang, Chunhong
    Rong, Hui
    Xiang, Fenghong
    SECOND INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN, VOL 2, PROCEEDINGS, 2009, : 547 - +
  • [24] 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
  • [25] A Cache Design Assessment Approach for Embedded Real-time Systems Based on Execution Time Measurement
    Dias, Dario
    Lima, George
    Barros, Edna
    2016 VI BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC 2016), 2016, : 168 - 173
  • [26] Test Cases Generation for Embedded Real-time Software Based on Extended UML
    Yin Yongfeng
    Liu Bin
    Lu Minyan
    Li Zhen
    2009 INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND COMPUTER SCIENCE, VOL 1, PROCEEDINGS, 2009, : 69 - 74
  • [27] PORTING EMBEDDED REAL-TIME ADA SOFTWARE
    MAYMIRDUCHARME, FA
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 603 : 92 - 103
  • [28] Timed multitasking for real-time embedded software
    Liu, J
    Lee, EA
    IEEE CONTROL SYSTEMS MAGAZINE, 2003, 23 (01): : 65 - 75
  • [29] Concurrent embedded real-time software verification
    Hsiung, PA
    24TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COSPSAC 2000), 2000, 24 : 516 - 521
  • [30] Assured reconfiguration of embedded real-time software
    Strunk, EA
    Knight, JC
    2004 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2004, : 367 - 376
12345