WEKO3
インデックスリンク
アイテム
時間オートマトンによるソフトリアルタイムシステムの性能解析手法 (検証 / テストとデバッグ)
http://hdl.handle.net/2297/23627
http://hdl.handle.net/2297/236275803d0d5-74ff-4e44-ac3a-1f32b4037cf3
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
TE-PR-YAMANE-S-2664.pdf (923.7 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2017-10-03 | |||||
| タイトル | ||||||
| タイトル | 時間オートマトンによるソフトリアルタイムシステムの性能解析手法 (検証 / テストとデバッグ) | |||||
| タイトル | ||||||
| タイトル | Performance Analysis Method of Soft Real-time Systems Using Timed Automata (Verification, Testing, and Debugging) | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 著者 |
山根, 智
× 山根, 智 |
|||||
| 提供者所属 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 金沢大学理工研究域電子情報学系 | |||||
| 書誌情報 |
Transactions of Information Processing Society of Japan = 情報処理学会論文誌 巻 46, 号 11, p. 2664-2675, 発行日 2005-11-15 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 0387-5806 | |||||
| NCID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00116647 | |||||
| 出版者 | ||||||
| 出版者 | Information Processing Society of Japan (IPSJ) = 情報処理学会 | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 近年, ハードリアルタイムシステムの仕様記述言語としては, タイミング制約が記述可能な時間オートマトンが定着しており, 最近, 時間オートマトン上でのハードリアルタイムオペレーティングシステムのスケジューラビリティ検証手法が開発された.一方, 最近では, 分散システムやマルティメディアシステムなどのソフトリアルタイムシステムが増加しており, その重要性が認識されている.ソフトリアルタイムシステムでは, その性能解析手法が重要である.本論文では, 時間オートマトンのハードリアルタイムシステムのスケジューラビリティ検証手法を価値の概念により拡張して, ソフトリアルタイム性の性能解析手法を開発する. Generally, hard real-time systems have been specified using timed automata, and moreover recently, the verification method of schedulability of real-time operating systems using timed automata have been developed. On the other hand, as soft real-time systems such as distributed systems and multimedia systems have been increasing, it is important to design soft real-time systems. Especially, performance analysis methods are important for soft real-time systems. In this paper, we develope the performance analysis method of soft real-time systems by extending the verification method of schedulability of hard real-time systems using utility functions. | |||||
| 権利 | ||||||
| 権利情報 | 本文データは情報処理学会の許諾に基づきCiNiiから複製したものである | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://www.ipsj.or.jp/ | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://ci.nii.ac.jp/naid/10016798693/en/ | |||||
