A DESIGN APPROACH FOR ULTRARELIABLE REAL-TIME SYSTEMS

被引：5
|
作者：
LALA, JH
HARPER, RE
ALGER, LS
机构：
来源：
COMPUTER | 1991年 / 24卷 / 05期
关键词：
D O I：
10.1109/2.76283
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：12 / 22
页数：11
相关论文
共 50 条
  • [1] An approach for integrated specification and design of real-time systems
    Tanurhan, Y
    Schmerler, S
    Golz, HP
    MullerGlaser, KD
    [J]. EURO-DAC '96 - EUROPEAN DESIGN AUTOMATION CONFERENCE WITH EURO-VHDL '96 AND EXHIBITION, PROCEEDINGS, 1996, : 258 - 263
  • [2] A practical approach to formal design of real-time systems
    Baresi, L
    Braberman, V
    Felder, M
    Pezze, M
    Piezianek, F
    [J]. INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 1014 - 1019
  • [3] An approach to design for testability in hard real-time systems
    Jevtic, MS
    Damnjanovic, MS
    [J]. 1997 21ST INTERNATIONAL CONFERENCE ON MICROELECTRONICS - PROCEEDINGS, VOLS 1 AND 2, 1997, : 849 - 852
  • [4] DISCIPLINED APPROACH TO REAL-TIME SYSTEMS-DESIGN
    FIDGE, CJ
    LISTER, AM
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1992, 34 (09) : 603 - 610
  • [5] AN APPROACH TO THE DESIGN OF DISTRIBUTED REAL-TIME OPERATING-SYSTEMS
    CVIJOVIC, M
    KUNC, M
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 1992, 16 (02) : 81 - 89
  • [6] An ADL centric approach for the formal design of real-time systems
    Faucou, S
    Déplanche, AM
    Trinquet, Y
    [J]. Architecture Description Languages, 2004, 176 : 67 - 82
  • [7] A parametric model checking approach for real-time systems design
    Sathawornwichit, C
    Katayama, T
    [J]. 12th Asia-Pacific Software Engineering Conference, Proceedings, 2005, : 584 - 591
  • [8] DESIGN AND TESTING OF REAL-TIME SYSTEMS
    KARJALAINEN, J
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 109 - 109
  • [9] Verification of real-time systems design
    Emilia Cambronero, M.
    Valero, Valentin
    Diaz, Gregorio
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 20 (01): : 3 - 37
  • [10] STEPWISE DESIGN OF REAL-TIME SYSTEMS
    KURKISUONIO, R
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (01) : 56 - 69
12345