Paper Abstract and Keywords |
Presentation |
2004-08-03 11:30
a Timeliness QoS Consistency Checker and a Timing Control Code Generator for Development of Real-time Applications in Distributed Environments Aya Makidera, Kozo Okano, Kenichi Taniguchi (Osaka Univ.) |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
Our research group has proposed a technique of checking Timeliness QoS consistency and that of generating codes from timed automata those have already been conformance checked for real-time applications in distributed environments. In this paper, we describe the implementations of them. Applying them to a simple video conference system example finds that both of them perform the tasks in a few seconds. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
Distributed Environment / Real-time Application / Timeliness QoS / Linear Inequality / Checking / Timed Automata / Java / Code Generation |
Reference Info. |
IEICE Tech. Rep., vol. 104, no. 243, SS2004-17, pp. 19-24, Aug. 2004. |
Paper # |
SS2004-17 |
Date of Issue |
2004-07-27 (SS) |
ISSN |
Print edition: ISSN 0913-5685 |
Download PDF |
|
Conference Information |
Committee |
SS |
Conference Date |
2004-08-02 - 2004-08-03 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Future University Hakodate |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
general |
Paper Information |
Registration To |
SS |
Conference Code |
2004-08-SS |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
a Timeliness QoS Consistency Checker and a Timing Control Code Generator for Development of Real-time Applications in Distributed Environments |
Sub Title (in English) |
|
Keyword(1) |
Distributed Environment |
Keyword(2) |
Real-time Application |
Keyword(3) |
Timeliness QoS |
Keyword(4) |
Linear Inequality |
Keyword(5) |
Checking |
Keyword(6) |
Timed Automata |
Keyword(7) |
Java |
Keyword(8) |
Code Generation |
1st Author's Name |
Aya Makidera |
1st Author's Affiliation |
Osaka University (Osaka Univ.) |
2nd Author's Name |
Kozo Okano |
2nd Author's Affiliation |
Osaka University (Osaka Univ.) |
3rd Author's Name |
Kenichi Taniguchi |
3rd Author's Affiliation |
Osaka University (Osaka Univ.) |
4th Author's Name |
|
4th Author's Affiliation |
() |
5th Author's Name |
|
5th Author's Affiliation |
() |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2004-08-03 11:30:00 |
Presentation Time |
30 minutes |
Registration for |
SS |
Paper # |
SS2004-17 |
Volume (vol) |
vol.104 |
Number (no) |
no.243 |
Page |
pp.19-24 |
#Pages |
6 |
Date of Issue |
2004-07-27 (SS) |