分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装

牧寺, 彩; 岡野, 浩三; 谷口, 健一

このアイテムのアクセス数:45件（2018-10-23 01:06 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/27443

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
itr104_243_019	pdf	572 KB	22

論文情報

タイトル	分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装
別タイトル	A Timeliness QoS Consistency Checker and a Timing Control Code Generator for Development of Real-time Applications in Distributed Environments
タイトル (ヨミ)	ブンサン　カンキョウ　ジツジカン　アプリケーション　カイハツ　シエン　ノ　タメ　ノ　Timeliness QoS　イッカンセイ　ケンショウケイ　オヨビ　ジカン　セイギョ　コード　セイセイケイ　ノ　ジッソウ
著者	牧寺, 彩牧寺, 彩
	岡野, 浩三岡野, 浩三
	谷口, 健一谷口, 健一
著者の別表記	Makidera, Aya
	Okano, Kozo
	Taniguchi, Ken-ichi
著者 (ヨミ)	マキデラ, アヤ
	オカノ, コウゾウ
	タニグチ, ケンイチ
キーワード等	分散環境
	実時間アプリケーション
	Timeliness QoS
	線形不等式
	検証
	時間オートマトン
	Java
	コード生成
	Distributed Environment
	Real-time Application
	Timeliness QoS
	Linear Inequality
	Checking
	Timed Automata
	Java
	Code Generation
抄録	著者らの研究グループでは,分散実時間アプリケーションにおけるTimeliness QoS一貫性を検証する手法,さらに,その保証されたTimeliness QoSを満たす時間オートマトンから時間制約を満たしたプログラムコードを自動生成する手法を提案している.本稿では,提案手法に基づいた検証系および導出系の実装,さらに例題に対する適用結果について述べる.簡単なビデオ会議システムに適用した結果,それぞれ数秒で判定および導出が出来ることがわかった.
抄録	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.
公開者	電子情報通信学会
公開者の別表記	The Institute of Electronics, Information and Communication Engineers
公開者 (ヨミ)	デンシ　ジョウホウ　ツウシン　ガッカイ
掲載誌名	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻	104
号	243
開始ページ	19
終了ページ	24
刊行年月	2004-07-27
ISSN	09135685
NCID	AN10013287
URL	http://hdl.handle.net/11094/27443
権利情報	Copyright © 2004 IEICE
権利情報	本文データはCiNiiから複製したものである
言語	日本語

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス.104(243) P.19-P.24
DC.title	分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装
DCTERMS.alternative	A Timeliness QoS Consistency Checker and a Timing Control Code Generator for Development of Real-time Applications in Distributed Environments
DC.creator	牧寺, 彩
	岡野, 浩三
	谷口, 健一
DC.creator	Makidera, Aya
	Okano, Kozo
	Taniguchi, Ken-ichi
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	2004-07-27
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/27443
DC.subject	分散環境
	実時間アプリケーション
	Timeliness QoS
	線形不等式
	検証
	時間オートマトン
	Java
	コード生成
	Distributed Environment
	Real-time Application
	Timeliness QoS
	Linear Inequality
	Checking
	Timed Automata
	Java
	Code Generation
DCTERMS.abstract	著者らの研究グループでは,分散実時間アプリケーションにおけるTimeliness QoS一貫性を検証する手法,さらに,その保証されたTimeliness QoSを満たす時間オートマトンから時間制約を満たしたプログラムコードを自動生成する手法を提案している.本稿では,提案手法に基づいた検証系および導出系の実装,さらに例題に対する適用結果について述べる.簡単なビデオ会議システムに適用した結果,それぞれ数秒で判定および導出が出来ることがわかった.
DCTERMS.abstract	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.
DC.rights	Copyright © 2004 IEICE
DC.rights	本文データはCiNiiから複製したものである
citation_title	分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装
citation_author	牧寺, 彩
	岡野, 浩三
	谷口, 健一
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	2004-07-27
citation_journal_title	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
citation_volume	104
citation_issue	243
citation_firstpage	19
citation_lastpage	24
citation_issn	09135685
citation_public_url	http://hdl.handle.net/11094/27443
citation_keywords	分散環境
	実時間アプリケーション
	Timeliness QoS
	線形不等式
	検証
	時間オートマトン
	Java
	コード生成
	Distributed Environment
	Real-time Application
	Timeliness QoS
	Linear Inequality
	Checking
	Timed Automata
	Java
	Code Generation

閲覧可能ファイル

論文情報

論文詳細を表示