| Item type |
SIG Technical Reports(1) |
| 公開日 |
2019-07-05 |
| タイトル |
|
|
タイトル |
ビジュアルプログラミングを用いたNuSMVのモデル生成支援環境 |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Visual Programming Language for Model-checker NuSMV |
| 言語 |
|
|
言語 |
jpn |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| 著者所属 |
|
|
|
岡山県立大学 |
| 著者所属 |
|
|
|
岡山県立大学 |
| 著者所属 |
|
|
|
岡山県立大学 |
| 著者所属 |
|
|
|
愛媛大学総合情報メデイアセンター |
| 著者所属 |
|
|
|
岡山県立大学 |
| 著者所属(英) |
|
|
|
en |
|
|
Okayama Prefectural University |
| 著者所属(英) |
|
|
|
en |
|
|
Okayama Prefectural University |
| 著者所属(英) |
|
|
|
en |
|
|
Okayama Prefectural University |
| 著者所属(英) |
|
|
|
en |
|
|
Center for Information Technology, Ehime university |
| 著者所属(英) |
|
|
|
en |
|
|
Okayama Prefectural University |
| 著者名 |
内藤, 駿人
横川, 智教
天嵜, 聡介
阿萬, 祐久
有本, 和民
|
| 著者名(英) |
Hayato, Naito
Tomoyuki, Yokogawa
Sousuke, Amasaki
Hirohisa, Aman
Kazutami, Arimoto
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
モデル検査は形式手法の一つで，網羅的かつ自動化された証明を可能とする非常に強力な技術である．しかしながら技術的な障壁の高さからモデル検査の利活用は十分に進んでいるとは言えない．本研究では，モデル検査の利用促進を目的として，モデル検査ツールの一つである NuSMV のモデル生成を支援するビジュアルプログラミング環境を提案する．ビジュアルプログラミング言語にはブロック型やノード型と様々な形があるが，NuSMV ではデータフローを表現したいので，ノード型のビジュアルプログラミング言語を提案する．提案するビジュアルプログラミング言語では変数ノード，状態ノード，条件判定ノード，初期値ノード，関数ノードの 6 つのノードから構成される．これらのノードを矢印でつなぎ合わせることで変数の値の変化を表現し，モデルの遷移関係を定義する．システムの持つ各変数に対してビジュアルプログラミングを行い，それを組み合わせ一つの SMV プログラムを生成する．このようなビジュアルプログラミングについて検討した．今後の課題としてプログラミング環境の実装が挙げられる． |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
This paper proposes a visual programming environment for model checker NuSMV. We develop a visual programming language where SMV program can be described by a node graph. The proposed language provides five types of nodes: variable node, state node, case node, initial node and function node. By connecting these nodes with directed arrows, it is possible to describe the transition relation of the system to be verified. We also propose a GUI interface for the visual programming environment. |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN10112981 |
| 書誌情報 |
研究報告ソフトウェア工学（SE）
巻 2019-SE-202,
号 6,
p. 1-6,
発行日 2019-07-05
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8825 |
| Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-SE19202006.pdf (1.4 MB)
