Hierarchical design method for real-time distributed systems

被引：0
|
作者：
Yamane, S [1 ]
机构：
[1] Shimane Univ, Dept Comp Sci, Matsue, Shimane 690, Japan
来源：
FIFTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS | 1998年
关键词：
D O I：
10.1109/RTCSA.1998.726416
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The distributed systems are very large and complex and tinting constraints are important for some communication delay. Moreover, as each process is evolutional, it needs to behave whatever the environment Behaves. irt this paper we propose the following design method: (1) We define open timed automata and receptiveness. (2) We define verification methods of the receptiveness and consistency check. (3)We define Assume-Guarantee style verification method.
引用
收藏
页码：189 / 192
页数：4
相关论文
共 50 条
  • [1] Tool-supported hierarchical design of distributed real-time systems
    Dierks, H
    Tapken, J
    [J]. 10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS, 1998, : 222 - 229
  • [2] Network conscious design of distributed real-time systems
    Park, JW
    Kim, YS
    Hong, SS
    Saksena, M
    Noh, SH
    Kwon, WH
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 1998, 45 (02) : 131 - 156
  • [3] Modular design of real-time systems using hierarchical communicating real-time state machines
    Furfaro, A
    Nigro, L
    Pupo, F
    [J]. REAL-TIME SYSTEMS, 2006, 32 (1-2) : 105 - 123
  • [4] Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines
    Angelo Furfaro
    Libero Nigro
    Francesco Pupo
    [J]. Real-Time Systems, 2006, 32 : 105 - 123
  • [5] Hierarchical control of multiple resources in distributed real-time and embedded systems
    Nishanth Shankaran
    Xenofon D. Koutsoukos
    Douglas C. Schmidt
    Yuan Xue
    Chenyang Lu
    [J]. Real-Time Systems, 2008, 39 : 237 - 282
  • [6] Hierarchical control of multiple resources in distributed real-time and embedded systems
    Shankaran, Nishanth
    Koutsoukos, Xenofon D.
    Schmidt, Douglas C.
    Xue, Yuan
    Lu, Chenyang
    [J]. REAL-TIME SYSTEMS, 2008, 39 (1-3) : 237 - 282
  • [7] Hierarchical control of multiple resources in distributed real-time and embedded systems
    Shankaran, Nishanth
    Koutsoukos, Xenofon D.
    Schmidt, Douglas C.
    Xue, Yuan
    Lu, Chenyang
    [J]. 18TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2006, : 151 - +
  • [8] DESIGN OF REAL-TIME SYSTEMS - A METHOD AND A TOOL
    PEDERSEN, BG
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 379 - 385
  • [9] REAL-TIME DISTRIBUTED SYSTEMS
    BARBACCI, MR
    [J]. COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 3 - 12
  • [10] A DESIGN PERSPECTIVE FOR REAL-TIME TASK CONTROL IN DISTRIBUTED SYSTEMS
    HERZOG, JH
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 1983, 30 (01) : 46 - 51
12345