マルチ　メディア　システムにおける Timeliness QoS一貫性検証と時間制御コード導出

森, 一夫; 岡野, 浩三; 谷口, 健一

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2004, 103(583), 13-18

アクセス数:606件（2025-07-11 22:02 集計）

固定URL: https://hdl.handle.net/11094/27438

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
itr103_583_013 pdf なし 898 KB 73 2014.04.11  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
マルチ　メディア　システムにおける Timeliness QoS一貫性検証と時間制御コード導出
Consistency Checking of Timeliness QoS of Multi-Media Systems and Derivation of Codes for Timing Control
マルチメディアシステム　ニ　オケル　Timeliness QoS　イッカンセイ　ケンショウ　ト　ジカン　セイギョ　コード　ドウシュツ
著者
著者名
森, 一夫 ; モリ, カズオ ; Mori, Kazuo
NRID
1000070252632 1000070252632
著者名
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000000029513 1000000029513
著者名
谷口, 健一 ; タニグチ, ケンイチ ; Taniguchi, Kenichi
キーワード等
Timeliness QoS
線形不等式
検証
時間オートマトン
導出
timeliness QoS
linear inequality
verificationd
timed automata
derivation
抄録
分散環境におけるマルチメディアシステムのコンポーネントに対する提供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.
出版者
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻(号)
103(583)
ページ
13-18
刊行年月
2004-01-16
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/27438
PISSN
09135685
NCID
AN10013287
アクセス権
open access
権利情報
Copyright © 2004 IEICE
本文データはCiNiiから複製したものである
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article