Presentation | 1998/7/30 Formalization and hierarchical design method for open distributed systems including timing constraints S. Yamane, Y. Tachi, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | The distributed systems are very large and complex, and timing constraints are important for some communication delay. The design features of them are as follows. 1. As processes increase or decrease and their functions are changeable, the external environment of each process is changeable, too. For the above reason, each process behaves whatever the environment behaves. Moreover, we need the mechanism so as to easily update the function of each process. 2. It is necessary to incrementally and hierarchically design real-time systems from the high level to the low level. In this case, how to verify the consistency between the high level and the low level is important. 3. As timing constraints by communication delay are important, we should include timing constraints into specificaiton and verification. 4. In order to make design methods practical, it is important for designers to easily use design methods. In this paper, we propose the following design method. 1. We define open timed automata, by which we can specify evolutions and receptivenesses including timing informations. 2. We define verification methods of the receptiveness and consistency check based on timed simulation relation. 3. We define Assume-Guarantee style verification method based on timed simulation relations in order to verify large systems by our proposed methods. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | open distributed systems / hierarchical design / receptiveness / open timed automata / real-time symbolic model-checking / Assume-Guarantee style |
Paper # | SS98-12 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 1998/7/30(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Software Science (SS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Formalization and hierarchical design method for open distributed systems including timing constraints |
Sub Title (in English) | |
Keyword(1) | open distributed systems |
Keyword(2) | hierarchical design |
Keyword(3) | receptiveness |
Keyword(4) | open timed automata |
Keyword(5) | real-time symbolic model-checking |
Keyword(6) | Assume-Guarantee style |
1st Author's Name | S. Yamane |
1st Author's Affiliation | Dept. of Mathematics and Computer Science, Shimane University() |
2nd Author's Name | Y. Tachi |
2nd Author's Affiliation | Dept. of Mathematics and Computer Science, Shimane University |
Date | 1998/7/30 |
Paper # | SS98-12 |
Volume (vol) | vol.98 |
Number (no) | 229 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |