CONCURRENT ENGINEERING FOR REAL-TIME SYSTEMS

被引：3
|
作者：
PULLI, PJ
HEIKKINEN, MP
机构：
来源：
IEEE SOFTWARE | 1993年 / 10卷 / 06期
关键词：
D O I：
10.1109/52.241965
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
[No abstract available]
引用
收藏
页码：39 / 44
页数：6
相关论文
共 50 条
  • [1] ENGINEERING REAL-TIME SYSTEMS
    RODD, MG
    [J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 1995, 6 (05): : 233 - 240
  • [2] DEADLOCK PREVENTION IN CONCURRENT REAL-TIME SYSTEMS
    DAVIDSON, S
    LEE, I
    WOLFE, VF
    [J]. REAL-TIME SYSTEMS, 1993, 5 (04) : 305 - 318
  • [3] Symbolic simulation of real-time concurrent systems
    Wang, F
    Huang, GD
    Yu, F
    [J]. REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 595 - 617
  • [4] REQUIREMENTS ENGINEERING FOR REAL-TIME SYSTEMS
    GOLDSACK, SJ
    FINKELSTEIN, ACW
    [J]. SOFTWARE ENGINEERING JOURNAL, 1991, 6 (03): : 101 - 115
  • [5] REAL-TIME CONCURRENT-C - A LANGUAGE FOR PROGRAMMING DYNAMIC REAL-TIME SYSTEMS
    GEHANI, N
    RAMAMRITHAM, K
    [J]. REAL-TIME SYSTEMS, 1991, 3 (04) : 377 - 405
  • [6] Timing coverification of concurrent embedded real-time systems
    Hsiung, PA
    [J]. PROCEEDINGS OF THE SEVENTH INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CODESIGN (CODES'99), 1999, : 110 - 114
  • [7] Flow analysis for concurrent, reactive, real-time systems
    Vishnuvajjala, R
    Subramanian, S
    Tsai, WT
    Mojdehbakhsh, R
    Elliot, L
    [J]. IEEE HIGH-ASSURANCE SYSTEMS ENGINEERING WORKSHOP, PROCEEDINGS, 1997, : 176 - 183
  • [8] Timing coverification of concurrent embedded real-time systems
    Hsiung, Pao-Ann
    [J]. Hardware/Software Codesign - Proceedings of the International Workshop, 1999, : 110 - 114
  • [9] Parameter synthesis for hierarchical concurrent real-time systems
    Étienne André
    Yang Liu
    Jun Sun
    Jin-Song Dong
    [J]. Real-Time Systems, 2014, 50 : 620 - 679
  • [10] Formal modeling and verification of real-time concurrent systems
    Yan, Fei
    Tang, Tao
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON VEHICULAR ELECTRONICS AND SAFETY, PROCEEDINGS, 2007, : 219 - 224
12345