Object-oriented method for real-time systems based on timed automaton

被引:0
|
作者
Yamane, S [1 ]
机构
[1] SHIMANE UNIV,DEPT COMP SCI,MATSUE,SHIMANE,JAPAN
关键词
D O I
10.1109/WORDS.1996.506285
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:210 / 217
页数:8
相关论文
共 50 条
  • [31] AN OBJECT-ORIENTED REAL-TIME PROGRAMMING LANGUAGE
    ISHIKAWA, Y
    TOKUDA, H
    MERCER, CW
    COMPUTER, 1992, 25 (10) : 66 - 73
  • [32] OBJECT-ORIENTED DESIGN OF REAL-TIME SOFTWARE
    BIHARI, T
    GOPINATH, P
    SCHWAN, K
    REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1989, : 194 - 201
  • [33] Real-time design goes object-oriented
    Grehan, R
    COMPUTER DESIGN, 1997, 36 (12): : 57 - +
  • [34] Using timed CSP during object oriented design of real-time systems
    ODonoghue, PG
    Hull, MEC
    INFORMATION AND SOFTWARE TECHNOLOGY, 1996, 38 (02) : 89 - 102
  • [35] Adding real-time filters to object-oriented specification of time critical systems
    Periyasamy, K
    Alagar, VS
    2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 28 - 39
  • [36] An object-oriented platform-based design process for embedded real-time systems
    Wehrmeister, MA
    Becker, LB
    Wagner, FR
    Pereira, CE
    ISORC 2005: Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Proceedings, 2005, : 125 - 128
  • [37] In pursuit of correct paradigms for object-oriented real-time distributed systems
    Carrère, P
    Hermant, JF
    Le Lann, G
    2ND IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC'99), PROCEEDINGS, 1999, : 271 - 279
  • [38] Classifying object-oriented real-time systems: Ada 95 and Deal
    Hammer, DK
    Welch, LR
    vanRoosmalen, OS
    IEEE SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1996, : 324 - 331
  • [39] DROL - AN OBJECT-ORIENTED PROGRAMMING LANGUAGE FOR DISTRIBUTED REAL-TIME SYSTEMS
    TAKASHIO, K
    TOKORO, M
    SIGPLAN NOTICES, 1992, 27 (10): : 276 - 294
  • [40] Object-oriented specification and design of embedded hard real-time systems
    Nebel, W
    Oppenheimer, F
    Schumacher, G
    Kabous, L
    Radetzki, M
    Putzke-Röming, W
    SYSTEM-ON-CHIP METHODOLOGIES & DESIGN LANGUAGES, 2001, : 285 - 296