講演抄録/キーワード |
講演名 |
2007-10-22 16:15
ロボット制御ソフトウェアの形式的モデル検証 ○大森洋一・井ノ口裕也・荒木啓二郎(九大) SS2007-33 |
抄録 |
(和) |
産業用ロボットの分野に対して形式仕様記述を適用し,ロボットおよびその動作環境の数学的なモデルを記述する.
得られた数学モデルに対してロボットの動きを定義し,その性質を検証するための基本的な手順を提案し,検証可能性を示す.
数学的モデルの記述手法としては VDM を使用した.
産業用ロボットおよび動作環境を記述した静的なモデルおよび、ロボットの振舞いを記述した動的なモデルを VDM 検査ツールおよび新たに C 言語で実装したツールを用いて,安全性の一部に関して検証する.
続いて,実命令を解釈して動作するシミュレータによりその動作を検証し, VDM によるモデルと動作が一致することを確認した. |
(英) |
This paper presents application of the formal specification method to the industrial robot software and its working environment.
We propose a basic sequence of verification about the motion and properties of mathematical model of industrial robots.
VDM was adopted to denote the models.
Our modeling method contains a static model for industrial robots including their environment and a dynamic model for activities of the robots.
The method was tested by a new checking tool implemented by the C language and a VDM CASE tool.
The expected result of the VDM model conforms to the result obtained from the instruction level simulator. |
キーワード |
(和) |
モデリング / VDM / 動作検証 / / / / / |
(英) |
modeling / VDM / Validation / Verification / / / / |
文献情報 |
信学技報, vol. 107, no. 275, SS2007-33, pp. 19-24, 2007年10月. |
資料番号 |
SS2007-33 |
発行日 |
2007-10-15 (SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2007-33 |