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

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

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

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

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2004, 104(243), 19-24

アクセス数:498件（2025-07-17 12:09 集計）

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

閲覧可能ファイル

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

論文情報

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

タイトル	分散環境実時間アプリケーション開発支援のための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
	NRID 1000070252632 1000070252632 著者名岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
	NRID 1000000029513 1000000029513 著者名谷口, 健一 ; タニグチ, ケンイチ ; 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
言語	日本語
ハンドルURL	https://hdl.handle.net/11094/27443
PISSN	09135685
NCID	AN10013287
アクセス権	open access
権利情報	Copyright © 2004 IEICE
権利情報	本文データはCiNiiから複製したものである
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 2004, 104(243), p. 19-24
DC.title	分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装
	A Timeliness QoS Consistency Checker and a Timing Control Code Generator for Development of Real-time Applications in Distributed Environments
	ブンサン　カンキョウ　ジツジカン　アプリケーション　カイハツ　シエン　ノ　タメ　ノ　Timeliness QoS　イッカンセイ　ケンショウケイ　オヨビ　ジカン　セイギョ　コード　セイセイケイ　ノ　ジッソウ
DC.creator	牧寺, 彩
	マキデラ, アヤ
	Makidera, Aya
	岡野, 浩三
	オカノ, コウゾウ
	Okano, Kozo
	谷口, 健一
	タニグチ, ケンイチ
	Taniguchi, Ken-ichi
DC.publisher	電子情報通信学会
	The Institute of Electronics, Information and Communication Engineers
	デンシ　ジョウホウ　ツウシン　ガッカイ
DC.language' scheme='DCTERMS.RFC1766	日本語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	2004-07-27
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から複製したものである
DC.format	27443
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_public_url	https://hdl.handle.net/11094/27443

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

閲覧可能ファイル

論文情報

論文詳細を表示