| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2011-07-30 11:15 実行時検査を伴う実時間プログラムの生成について ～ 時間オートマトンから非実時間実行環境上の実時間プログラムへ ～ Ilankaikone Senthooran・Julian Prokay・○渡部卓雄（東工大）  SS2011-25 KBSE2011-22 |
|
| 抄録 | （和） | 検証済みのモデルから実時間プログラムを生成する手法を提案する．本手法では，時間制約を実行時に検査するために，それに伴うオーバーヘッドをあらかじめモデルの性質の一部に取り入れる．これにより，実時間スケジューラのないOSやランタイム上でのソフト実時間システムの実現を容易にすることを目指す．本稿では，時間オートマトンで記述され，モデル検査器UPPAALで検証されたモデルから，JavaおよびCのコードを生成する手法について述べる．簡単なロボットの制御プログラムの記述例を通して，提案手法の有効性を示す． |
| （英） | We propose a method of generating realtime programs from verified models. The primary goal of this work is to provide an easy way of constructing soft realtime programs running in environments that do not provide realtime features. To realize this, the timing constraints described in a model should include properties of the runtime overhead and the generated code checks its timing constraints at runtime. In this paper, we describe how to generate plain Java/C programs from timed automata that are model-checked using UPPAAL. | |
| キーワード | （和） | 実時間システム / コード生成 / 実行時検査 / モデル検査 / UPPAAL / / / |
| （英） | realtime system / code generation / runtime checking / model checking / UPPAAL / / / | |
| 文献情報 | 信学技報, vol. 111, no. 168, SS2011-25, pp. 75-80, 2011年7月. | |
| 資料番号 | SS2011-25 | |
| 発行日 | 2011-07-22 (SS, KBSE) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2011-25 KBSE2011-22 |
|
| 研究会情報 | |
| 研究会 | KBSE SS |
| 開催期間 | 2011-07-29 - 2011-07-30 |
| 開催地（和） | 北海道情報大学 |
| 開催地（英） | Hokkaido Information University |
| テーマ（和） | 一般 |
| テーマ（英） | General topics |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2011-07-KBSE-SS |
| 本文の言語 | 英語（日本語タイトルあり） |
| タイトル（和） | 実行時検査を伴う実時間プログラムの生成について |
| サブタイトル（和） | 時間オートマトンから非実時間実行環境上の実時間プログラムへ |
| タイトル（英） | On Generating Realtime Programs with Runtime Checking |
| サブタイトル（英） | From Timed Automata to Realtime Programs on Non-Realtime Environments |
| キーワード(1)（和/英） | 実時間システム / realtime system |
| キーワード(2)（和/英） | コード生成 / code generation |
| キーワード(3)（和/英） | 実行時検査 / runtime checking |
| キーワード(4)（和/英） | モデル検査 / model checking |
| キーワード(5)（和/英） | UPPAAL / UPPAAL |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | Ilankaikone Senthooran / Ilankaikone Senthooran / イランカイコン セントゥーラン |
| 第1著者 所属（和/英） | 東京工業大学 (略称： 東工大) Tokyo Institute of Technology (略称： Tokyo Inst. of Tech.) |
| 第2著者 氏名（和/英/ヨミ） | Julian Prokay / Julian Prokay / ジュリアン プロケイ |
| 第2著者 所属（和/英） | 東京工業大学 (略称： 東工大) Tokyo Institute of Technology (略称： Tokyo Inst. of Tech.) |
| 第3著者 氏名（和/英/ヨミ） | 渡部 卓雄 / Takuo Watanabe / ワタナベ タクオ |
| 第3著者 所属（和/英） | 東京工業大学 (略称： 東工大) Tokyo Institute of Technology (略称： Tokyo Inst. of Tech.) |
| 講演者 | 第3著者 |
| 発表日時 | 2011-07-30 11:15:00 |
| 発表時間 | 30分 |
| 申込先研究会 | SS |
| 資料番号 | SS2011-25, KBSE2011-22 |
| 巻番号（vol） | vol.111 |
| 号番号（no） | no.168(SS), no.169(KBSE) |
| ページ範囲 | pp.75-80 |
| ページ数 | 6 |
| 発行日 | 2011-07-22 (SS, KBSE) |
[研究会発表申込システムのトップページに戻る]