WEKO3
インデックスリンク
アイテム
UMLと時間オートマトンを用いたソフトリアルタイムシステムの設計解析手法 (分析・設計技法)
http://hdl.handle.net/2297/23623
http://hdl.handle.net/2297/236239f5f7752-4d57-4641-9c02-824859234bd7
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
TE-PR-YAMANE-S-3266.pdf (1.4 MB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2017-10-03 | |||||
| タイトル | ||||||
| タイトル | UMLと時間オートマトンを用いたソフトリアルタイムシステムの設計解析手法 (分析・設計技法) | |||||
| タイトル | ||||||
| タイトル | The Design Verification Technique of a Soft Real-time System Using UML and Timed Automata (Software Analysis and Design) | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 著者 |
坂倉, 賢昭
× 坂倉, 賢昭× 山根, 智 |
|||||
| 提供者所属 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 金沢大学理工研究域電子情報学系 | |||||
| 書誌情報 |
Transactions of Information Processing Society of Japan = 情報処理学会論文誌 巻 48, 号 9, p. 3266-3280, 発行日 2007-09-15 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 0387-5806 | |||||
| NCID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00116647 | |||||
| 出版者 | ||||||
| 出版者 | Information Processing Society of Japan (IPSJ) = 情報処理学会 | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 多くの場面で用いられているリアルタイムシステムの中でも,近年,デッドラインに厳密でないソフトリアルタイムシステムが重要視されてきている.そこで,本研究では,ソフトリアルタイムシステムのUMLでの表記法を示し,そこからタスク構造化を行い,時間オートマトンに変換し,システムの性能を形式的に解析する手法を提案する. Recently, in the real-time systems used in many scenes, soft real-time systems, which are not strict by the deadline, are also important in recent years. So, in this paper, we show the notations in UML of soft real-time systems, and we design task structures from UML, also they are transformed into timed automata. Finally we formally propose the techniques for analyzing the performance of systems. | |||||
| 権利 | ||||||
| 権利情報 | 本文データは情報処理学会の許諾に基づき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/110006423003/en/ | |||||
