An object-oriented real time systems modeling and verification methodology

被引：1
|
作者：
Kung, DC [1 ]
Oksanen, SR [1 ]
Lin, JJ [1 ]
机构：
[1] UNIV TEXAS,DEPT COMP SCI & ENGN,ARLINGTON,TX 76019
来源：
TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS | 1996年 / 20卷
关键词：
D O I：
10.1109/CMPSAC.1996.544618
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：490 / 495
页数：6
相关论文
共 50 条
  • [1] Object-oriented real time systems modeling and verification
    Kung, DC
    Lin, J
    Hsia, P
    Carroll, B
    [J]. THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 224 - 231
  • [2] An object-oriented methodology for embedded real-time systems
    Alvarez, JM
    Diaz, M
    Llopis, L
    Pimentel, E
    Troya, JM
    [J]. COMPUTER JOURNAL, 2003, 46 (02): : 123 - 145
  • [3] Automated verification of the dependability of object-oriented real-time systems
    Ding, H
    Zheng, C
    Agha, G
    Sha, L
    [J]. NINTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, 2004, : 171 - 178
  • [4] Methodology for performance Modeling of object-oriented systems
    Smarkusky, D
    Ammar, R
    Sholl, H
    [J]. PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2000, : 1 - 6
  • [5] Object-oriented methodology to the development of embedded real-time systems
    Wehrmeister, MA
    Pereira, CE
    Becker, LB
    [J]. 2005 3rd IEEE International Conference on Industrial Informatics (INDIN), 2005, : 68 - 73
  • [6] Real-time object-oriented modeling
    Smith, KW
    [J]. DR DOBBS JOURNAL, 1997, 22 (12): : 64 - &
  • [7] Modeling time in object-oriented specifications of real-time imaging systems
    Neill, CJ
    Laplante, PA
    [J]. LOW-LIGHT-LEVEL AND REAL-TIME IMAGING SYSTEMS, COMPONENTS, AND APPLICATIONS, 2003, 4796 : 200 - 206
  • [8] Modeling behavior and dependability of object-oriented real-time systems
    Hammer, DK
    Hanish, AA
    Dillon, TS
    [J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1998, 13 (03): : 139 - 150
  • [9] Integrated environment based on object-oriented methodology for real-time systems
    Keum, CS
    Lee, JK
    Lee, D
    Lee, BS
    [J]. FIRST INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC '98), 1998, : 284 - 288
  • [10] REAL-TIME OBJECT-ORIENTED PROGRAMMING SYSTEMS
    BARRY, BM
    [J]. COMPUTER DESIGN, 1992, 31 (09): : 105 - 105
12345