| 講演抄録/キーワード |
| 講演名 |
2007-11-29 13:50
言語測度を用いたソフトリアルタイムシステムの最適スケジューリング ○村田有里・潮 俊光(阪大) CAS2007-69 CST2007-20 |
| 抄録 |
(和) |
ソフトリアルタイムシステムではデッドラインを過ぎるとタスクのユーティリティが減少する.じたがって過負荷状態では,ユーティリティの減少を最小化するようにスケジュールしなければならない.すなわち,ユーティリティの総和が最大となるような最適なスケジューリングが重要である.本報告では各タスクのプリエンプティブな処理を時間付き離散事象システム(DES)でモデル化し,合成によりシステム全体の振る舞いを表す.ユーティリティの減少を表すために,符号付実測度を応用する.さらに,リソース制約など大域的な制約も合成モデルにおける言語測度によって表現する.言語測度に基づくDESの最適スーパバイザ制御を用いることにより,制御されたDESの生成言語の言語測度が最大になる最適スケジューラを求める. |
| (英) |
In soft real-time systems, if a task completes after its deadline, its utility degrades gradually as its completion is delayed.
So it is necessary to schedule tasks in consideration of the degradation.
In this paper, we model preemptive execution of each task by a timed discrete event system (DES).
To model the degradation of utilities of tasks, we apply a signed language measure so that performance of the completed tasks can be evaluated quantitatively.
Moreover, global constraints such as resource limitations are also described by the language measure of the composite model.
We modify the language measure to model a state where a fatal damage occurs in the system.
Then, we apply language measure based optimal supervisory control of DESs to the design of an optimal scheduler in the sense that it maximizes the language measure of the generated language of the controlled DES. |
| キーワード |
(和) |
リアルタイムシステム / スケジューリング / 言語測度 / / / / / |
| (英) |
real-time system / scheduling / language measure / / / / / |
| 文献情報 |
信学技報, vol. 107, 2007年11月. |
| 資料番号 |
|
| 発行日 |
2007-11-22 (CAS, CST) |
| ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
CAS2007-69 CST2007-20 |
| 研究会情報 |
| 研究会 |
MSS CAS |
| 開催期間 |
2007-11-29 - 2007-11-30 |
| 開催地(和) |
新潟大学自然科学研究科 |
| 開催地(英) |
Niigata University |
| テーマ(和) |
グラフ、ペトリネット、ニューラルネット及び一般 |
| テーマ(英) |
Graphs, Petri nets, Neural Networks |
| 講演論文情報の詳細 |
| 申込み研究会 |
MSS |
| 会議コード |
2007-11-CST-CAS |
| 本文の言語 |
日本語 |
| タイトル(和) |
言語測度を用いたソフトリアルタイムシステムの最適スケジューリング |
| サブタイトル(和) |
|
| タイトル(英) |
Optimal Scheduling of Soft Real-time Computing Systems Using Language Measure |
| サブタイトル(英) |
|
| キーワード(1)(和/英) |
リアルタイムシステム / real-time system |
| キーワード(2)(和/英) |
スケジューリング / scheduling |
| キーワード(3)(和/英) |
言語測度 / language measure |
| キーワード(4)(和/英) |
/ |
| キーワード(5)(和/英) |
/ |
| キーワード(6)(和/英) |
/ |
| キーワード(7)(和/英) |
/ |
| キーワード(8)(和/英) |
/ |
| 第1著者 氏名(和/英/ヨミ) |
村田 有里 / Yuri Murata / ムラタ ユリ |
| 第1著者 所属(和/英) |
大阪大学 (略称: 阪大)
Osaka University (略称: Osaka Univ.) |
| 第2著者 氏名(和/英/ヨミ) |
潮 俊光 / Toshimitsu Ushio / ウシオ トシミツ |
| 第2著者 所属(和/英) |
大阪大学 (略称: 阪大)
Osaka University (略称: Osaka Univ.) |
| 第3著者 氏名(和/英/ヨミ) |
/ / |
| 第3著者 所属(和/英) |
(略称: )
(略称: ) |
| 第4著者 氏名(和/英/ヨミ) |
/ / |
| 第4著者 所属(和/英) |
(略称: )
(略称: ) |
| 第5著者 氏名(和/英/ヨミ) |
/ / |
| 第5著者 所属(和/英) |
(略称: )
(略称: ) |
| 第6著者 氏名(和/英/ヨミ) |
/ / |
| 第6著者 所属(和/英) |
(略称: )
(略称: ) |
| 第7著者 氏名(和/英/ヨミ) |
/ / |
| 第7著者 所属(和/英) |
(略称: )
(略称: ) |
| 第8著者 氏名(和/英/ヨミ) |
/ / |
| 第8著者 所属(和/英) |
(略称: )
(略称: ) |
| 第9著者 氏名(和/英/ヨミ) |
/ / |
| 第9著者 所属(和/英) |
(略称: )
(略称: ) |
| 第10著者 氏名(和/英/ヨミ) |
/ / |
| 第10著者 所属(和/英) |
(略称: )
(略称: ) |
| 第11著者 氏名(和/英/ヨミ) |
/ / |
| 第11著者 所属(和/英) |
(略称: )
(略称: ) |
| 第12著者 氏名(和/英/ヨミ) |
/ / |
| 第12著者 所属(和/英) |
(略称: )
(略称: ) |
| 第13著者 氏名(和/英/ヨミ) |
/ / |
| 第13著者 所属(和/英) |
(略称: )
(略称: ) |
| 第14著者 氏名(和/英/ヨミ) |
/ / |
| 第14著者 所属(和/英) |
(略称: )
(略称: ) |
| 第15著者 氏名(和/英/ヨミ) |
/ / |
| 第15著者 所属(和/英) |
(略称: )
(略称: ) |
| 第16著者 氏名(和/英/ヨミ) |
/ / |
| 第16著者 所属(和/英) |
(略称: )
(略称: ) |
| 第17著者 氏名(和/英/ヨミ) |
/ / |
| 第17著者 所属(和/英) |
(略称: )
(略称: ) |
| 第18著者 氏名(和/英/ヨミ) |
/ / |
| 第18著者 所属(和/英) |
(略称: )
(略称: ) |
| 第19著者 氏名(和/英/ヨミ) |
/ / |
| 第19著者 所属(和/英) |
(略称: )
(略称: ) |
| 第20著者 氏名(和/英/ヨミ) |
/ / |
| 第20著者 所属(和/英) |
(略称: )
(略称: ) |
| 第21著者 氏名(和/英/ヨミ) |
/ / |
| 第21著者 所属(和/英) |
(略称: )
(略称: ) |
| 第22著者 氏名(和/英/ヨミ) |
/ / |
| 第22著者 所属(和/英) |
(略称: )
(略称: ) |
| 第23著者 氏名(和/英/ヨミ) |
/ / |
| 第23著者 所属(和/英) |
(略称: )
(略称: ) |
| 第24著者 氏名(和/英/ヨミ) |
/ / |
| 第24著者 所属(和/英) |
(略称: )
(略称: ) |
| 第25著者 氏名(和/英/ヨミ) |
/ / |
| 第25著者 所属(和/英) |
(略称: )
(略称: ) |
| 第26著者 氏名(和/英/ヨミ) |
/ / |
| 第26著者 所属(和/英) |
(略称: )
(略称: ) |
| 第27著者 氏名(和/英/ヨミ) |
/ / |
| 第27著者 所属(和/英) |
(略称: )
(略称: ) |
| 第28著者 氏名(和/英/ヨミ) |
/ / |
| 第28著者 所属(和/英) |
(略称: )
(略称: ) |
| 第29著者 氏名(和/英/ヨミ) |
/ / |
| 第29著者 所属(和/英) |
(略称: )
(略称: ) |
| 第30著者 氏名(和/英/ヨミ) |
/ / |
| 第30著者 所属(和/英) |
(略称: )
(略称: ) |
| 第31著者 氏名(和/英/ヨミ) |
/ / |
| 第31著者 所属(和/英) |
(略称: )
(略称: ) |
| 第32著者 氏名(和/英/ヨミ) |
/ / |
| 第32著者 所属(和/英) |
(略称: )
(略称: ) |
| 第33著者 氏名(和/英/ヨミ) |
/ / |
| 第33著者 所属(和/英) |
(略称: )
(略称: ) |
| 第34著者 氏名(和/英/ヨミ) |
/ / |
| 第34著者 所属(和/英) |
(略称: )
(略称: ) |
| 第35著者 氏名(和/英/ヨミ) |
/ / |
| 第35著者 所属(和/英) |
(略称: )
(略称: ) |
| 第36著者 氏名(和/英/ヨミ) |
/ / |
| 第36著者 所属(和/英) |
(略称: )
(略称: ) |
| 講演者 |
第1著者 |
| 発表日時 |
2007-11-29 13:50:00 |
| 発表時間 |
25分 |
| 申込先研究会 |
MSS |
| 資料番号 |
CAS2007-69, CST2007-20 |
| 巻番号(vol) |
vol.107 |
| 号番号(no) |
no.361(CAS), no.363(CST) |
| ページ範囲 |
pp.11-16 |
| ページ数 |
6 |
| 発行日 |
2007-11-22 (CAS, CST) |
|