マルチメディアシステムにおける Timeliness QoS 一貫性検証と時間制御コード導出 [in Japanese] Consistency Checking of Timeliness QoS of Multi-Media Systems and Derivation of Codes for Timing Control [in Japanese]
-
- 森 一夫 MORI Kazuo
- 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University
-
- 岡野 浩三 OKANO Kozo
- 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University
-
- 谷口 健一 TANIGUCHI Kenichi
- 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University
Access this Article
Search this Article
Author(s)
-
- 森 一夫 MORI Kazuo
- 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University
-
- 岡野 浩三 OKANO Kozo
- 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University
-
- 谷口 健一 TANIGUCHI Kenichi
- 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University
Abstract
分散環境におけるマルチメディアシステムのコンポーネントに対する提供Timeliness QoSとシステム全体における要求Timeliness Qosを線形制約式で表現し,要求Timeliness QoSが提供Timeliness Qosの下で満たされること(一貫性)を検査する手法を提案する.提案手法では,このQoS検査問題を線形計画法の非可解性問題に帰着させる.また検査済のQos一貫性を保証したコードを時間オートマトン表現を介して導出する手法についても述べる.
This paper provides a method to check consistency of Timeliness QoS of a distributed multi-media system consisting of several components. In the method, provided/required timeliness QoS are represented in linear constraints. The method translates a timeliness QoS decision problem into an in-feasibility problem of linear programming. The paper also describes how to generate codes to control timing of each component of system.
Journal
-
- Technical report of IEICE. SS
-
Technical report of IEICE. SS 103(583), 13-18, 2004-01-16
The Institute of Electronics, Information and Communication Engineers
References: 14
-
1
- Quality of Service Semantics for Component-Based Systems
-
STAEHLI R.
2nd Int'l Workshop on Reflective and Adaptive Middleware Systems, 2003, 153-157, 2003
Cited by (1)
-
2
- Design Support for Distributed Systems : DSE4DS, In
-
AKEHURST D. H.
Proceedings of the 7th Cabernet Radicals Workshop, 2002, 2002
Cited by (1)
-
3
- A Theory for Timed Automata
-
ALUR R.
Theoretical Computer Science 125, 183-235, 1994
Cited by (1)
-
4
- The Power of Reachability Testing for Timed Automata
-
AGETO L.
Proceedings of 18th Conference of Fundamental of Software Technology and Theoretical Computer Science (FST and TCS '98), 245-256, 1998
Cited by (1)
-
5
- Specification and verification of media constraints using UPPAAL
-
BOWMAN H.
Proceedings of Design, Specification and Verification of Interactive Systems '98, 261-277, 1998
Cited by (1)
-
6
- <no title>
-
BLAIR G.
Open Distributed Processing and Multimedia, 1997
Cited by (1)
-
7
- A UML approach to the design of open distributed systems
-
BORDBAR B.
Formal Methods and Software Engineering, 561-572, 2002
Cited by (1)
-
8
- <no title>
-
PUTMAN J. R.
Architecting with RM-ODP, 2001
Cited by (1)
-
9
- <no title>
-
UML The Unified Modelling Language
Cited by (1)
-
10
- UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms
-
http://www.omg.org
Cited by (1)
-
11
- Verification of Timeliness QoS Properties in Multimedia Systems
-
BORDBAR B.
5th International Conference on Formal Engineering Methods (ICFEM '03), 523-540, 2003
Cited by (1)
-
12
- 拡張時間オートマトン群による実時間システムの記述および検証
-
加藤雄一郎
電子情報通信学会技術研究報告 102(616), 13-18, 2003
Cited by (1)
-
13
- ペトリネットで記述された簡易ブラウザ型の組込み Java プログラム動作仕様に対する実行方式の提案
-
坂上弘祐
電子情報通信学会技術研究報告 102(246), 1-6, 2002
Cited by (1)
-
14
- UPPAAL in a Nutshell
-
LARSEN Kim G.
International Journal on Software Tools for Technology Transfer 1(1-2), 134-152, 1997
DOI Cited by (5)
Cited by: 1
-
1
- A Timeliness QoS Consistency Checker and a Timing Control Code Generator for Development of Real-time Applications in Distributed Environments [in Japanese]
-
MAKIDERA Aya , OKANO Kozo , TANIGUCHI Ken-ichi
Technical report of IEICE. SS 104(243), 19-24, 2004-07-27
IR References (10) Cited by (2)