電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2016-05-27 10:45
デザインパターンに基づくソースコードのモデル検証の手法の提案
青木善貴NUL
抄録 (和) 今までに「モデル検査による仕様とソースコードの不一致を発見する手法」を提案してきた.この検証手法は制御フローをベースにしてソースコードモデルの状態遷移を作成しているため,制御フローが少ないオブジェクト指向型のソースコードに適用することは難しい.
今後増えると考えられるCyber-Physical-System(以下CPS)のシステムは,そのコネクティビティを実現するため,手続き型では記述されない可能性が高い,そうしたシステムへの対応を検討し,今回デザインパターンで記述されたらROS のソースコードへの適用を行った. 
(英) We have proposed the " Discovery of Inconsistency of Behavior of System in Source Code between Specification using Model Checking". In this verification technique, we have created a state transition of inspection model from control flow.
Because the source code of the object-oriented control flow are less, it is difficult to apply this technique.
Cyber-Physical-System to increase future, in order to achieve connectivity, the procedural likely not described. This time, it applied to the source code of ROS written in a design pattern.
キーワード (和) モデル検査 / ROS / CPS / デザインパターン / / / /  
(英) model checking / ROS / CPS / design pattern / / / /  
文献情報 信学技報, vol. 116, no. 67, KBSE2016-6, pp. 31-36, 2016年5月.
資料番号 KBSE2016-6 
発行日 2016-05-19 (KBSE) 
ISSN Print edition: ISSN 0913-5685  Online edition: ISSN 2432-6380

研究会情報
研究会 KBSE  
開催期間 2016-05-26 - 2016-05-27 
開催地(和) 同志社大学 東京オフィス 
開催地(英) Doshisha Univ. Tokyo Branch Office 
テーマ(和) 一般 
テーマ(英)  
講演論文情報の詳細
申込み研究会 KBSE 
会議コード 2016-05-KBSE 
本文の言語 日本語 
タイトル(和) デザインパターンに基づくソースコードのモデル検証の手法の提案 
サブタイトル(和)  
タイトル(英) Model Checking of Source Code Based on Design Pattern 
サブタイトル(英)  
キーワード(1)(和/英) モデル検査 / model checking  
キーワード(2)(和/英) ROS / ROS  
キーワード(3)(和/英) CPS / CPS  
キーワード(4)(和/英) デザインパターン / design pattern  
キーワード(5)(和/英) /  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 青木 善貴 / Yoshitaka Aoki / アオキ ヨシタカ
第1著者 所属(和/英) 日本ユニシス株式会社 (略称: NUL)
Nihon Unisys,Ltd (略称: NUL)
第2著者 氏名(和/英/ヨミ) / /
第2著者 所属(和/英) (略称: )
(略称: )
第3著者 氏名(和/英/ヨミ) / /
第3著者 所属(和/英) (略称: )
(略称: )
第4著者 氏名(和/英/ヨミ) / /
第4著者 所属(和/英) (略称: )
(略称: )
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者
発表日時 2016-05-27 10:45:00 
発表時間 45 
申込先研究会 KBSE 
資料番号 IEICE-KBSE2016-6 
巻番号(vol) IEICE-116 
号番号(no) no.67 
ページ範囲 pp.31-36 
ページ数 IEICE-6 
発行日 IEICE-KBSE-2016-05-19 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会