時間オートマトンによるソフトリアルタイムシステムの性能解析手法

• Item type: Journal(1)
• 公開日: 2005-11-15
• タイトル: 時間オートマトンによるソフトリアルタイムシステムの性能解析手法
• タイトル / 言語: en
• タイトル: Performance Analysis Method of Soft Real-time Systems Using Timed Automata
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: 検証/テストとデバッグ
• 著者所属: 金沢大学大学院自然科学研究科電子情報科学専攻
• 著者所属(英): en
• 著者所属(英): Division of Electrical and Computer Engineering, Graduate School of Natural Science and Technology, Kanazawa University
• 著者名: 山根, 智
• 著者名(英): SATOSHI, YAMANE
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 近年，ハードリアルタイムシステムの仕様記述言語としては，タイミング制約が記述可能な時間オートマトンが定着しており，最近，時間オートマトン上でのハードリアルタイムオペレーティングシステムのスケジューラビリティ検証手法が開発された．一方，最近では，分散システムやマルティメディアシステムなどのソフトリアルタイムシステムが増加しており，その重要性が認識されている．ソフトリアルタイムシステムでは，その性能解析手法が重要である．本論文では，時間オートマトンのハードリアルタイムシステムのスケジューラビリティ検証手法を価値の概念により拡張して，ソフトリアルタイム性の性能解析手法を開発する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 46, 号 11, p. 2664-2675, 発行日 2005-11-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764