WEKO3
アイテム
実時間プロセス言語に基づく時間ステートチャートの動作シミュレーション
https://ipsj.ixsq.nii.ac.jp/records/16788
https://ipsj.ixsq.nii.ac.jp/records/167889575b0d0-79c8-4a3d-8efc-423639bd3bc1
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO4308020.pdf (37.3 kB)
|
Copyright (c) 2002 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2002-09-15 | |||||||
| タイトル | ||||||||
| タイトル | 実時間プロセス言語に基づく時間ステートチャートの動作シミュレーション | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A Behavioral Simulation of Real - time Statechart Based on a Real - time Process Language | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 発表概要 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 名古屋大学大学院工学研究科情報工学専攻 | ||||||||
| 著者所属 | ||||||||
| 名古屋大学大学院工学研究科情報工学専攻 | ||||||||
| 著者所属 | ||||||||
| 名古屋大学大学院工学研究科情報工学専攻 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Engineering, Nagoya University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Engineering, Nagoya University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Engineering, Nagoya University | ||||||||
| 著者名 |
大須賀恭輔
結縁祥治
阿草, 清滋
× 大須賀恭輔 結縁祥治 阿草, 清滋
|
|||||||
| 著者名(英) |
Kyosuke, Osuka
Shoji, Yuen
Kiyoshi, Agusa
× Kyosuke, Osuka Shoji, Yuen Kiyoshi, Agusa
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本発表では実時間ステートチャートの振舞いに対してL¨uttgenらのSPL（Statechart Process Language ）を時間遷移において拡張した体系として提案したSPLRTを用いて，実時間ステートチャートの動作シミュレートを行うツールの実装を行う．SPLRTは実時間ステートチャートの振舞いをラベルつき遷移システムによりモデル化した言語である．SPLRTはSPL の2つの動作意義，動作遷移，クロック遷移に遅延遷移を新たに加える．遅延遷移はマイクロステップレベルで稠密時間変数を扱う．これによりマクロステップレベルでの実時間の経過を実現可能とした．また，時間遷移を持つラベルつき遷移システムの動作を解析することにより，検証の基礎とすることができる．検証の基礎としてSPLRTにより動作定義し，設計者の意図どおりに実時間ステートチャートが動作するかをツールによって検証を行う． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | In this presentation, we implements the tool for a simulation of the behavior of real-time statecharts with SPLRT. SPLRT models the behavior of real-time statecharts as the labeled transition system derived from the operational semantics of SPLRT. SPLRT is an extension of SPL proposed by Luttgen et al in that delay transitions labeled by dense-time are incorporated. Analyzing the behavior of the labeled transition system with timed transition can be as the base of verification. We verify whether the real-time statechart behave as an intension of a designer with a tool. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 43, 号 SIG08(PRO15), p. 119-119, 発行日 2002-09-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
