A METHODOLOGY FOR DESIGN, TEST, AND EVALUATION OF REAL-TIME SYSTEMS

被引：2
|
作者：
SHERE, KD [1 ]
CARLSON, RA [1 ]
机构：
[1] BDM CORP,MCLEAN,VA
来源：
COMPUTER | 1994年 / 27卷 / 02期
关键词：
D O I：
10.1109/2.261919
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：35 / 48
页数：14
相关论文
共 50 条
  • [31] Time-optimal test cases for real-time systems
    Hessel, A
    Larsen, KG
    Nielsen, B
    Pettersson, P
    Skou, A
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 234 - 245
  • [32] Design of real-time emulators of electromechanical systems
    Ben Saoud, S
    Gajski, DD
    [J]. POWERCON 2002: INTERNATIONAL CONFERENCE ON POWER SYSTEM TECHNOLOGY, VOLS 1-4, PROCEEDINGS, 2002, : 828 - 833
  • [33] Design and Dynamic Update of Real-Time Systems
    Yi, Wang
    [J]. 2019 IEEE 40TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2019), 2019, : 1 - 3
  • [34] Design and Evaluation of an Adaptive Real-time Microprocessor
    Bauer, Michael
    Lohn, Daniel
    Betting, Benjamin
    Brinkschulte, Uwe
    [J]. PROCEEDINGS OF THE 2013 IEEE INTERNATIONAL CONFERENCE ON EVOLVABLE SYSTEMS (ICES), 2013, : 81 - 88
  • [35] Module design guidelines for real-time systems
    Janik, D
    [J]. DR DOBBS JOURNAL, 2001, 26 (02): : 108 - +
  • [36] Networks On Chip Design for Real-Time Systems
    Mahdoum, A.
    [J]. 2014 27TH IEEE INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE (SOCC), 2014, : 165 - 170
  • [37] DESIGN OF REAL-TIME SYSTEMS - A METHOD AND A TOOL
    PEDERSEN, BG
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 379 - 385
  • [38] Package speeds design of real-time systems
    不详
    [J]. IEEE SPECTRUM, 1999, 36 (05) : 76 - 76
  • [39] A formal design notation for real-time systems
    Felder, M
    Pezzè, M
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2002, 11 (02) : 149 - 190
  • [40] Integrating methods for the design of real-time systems
    Hooman, J
    Vain, J
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 1996, 42 (6-7) : 489 - 502
12345