お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2016-01-25 18:30
モデル検査とテストを応用した制御システム検証手法の検討
松原潤弥髙木理恵子中澤輝幸デンソークリエイト)・東道徹也井原博之川合幸典デンソーMSS2015-52 SS2015-61
抄録 (和) 近年の車載制御システムの複雑化により,システムの信頼性の確保とその客観性が求められている.このため,システム設計の過程でより形式的な記述や検証手法の導入が試みられているが,分野や用途が限定的であるのが現状である.本研究では,現実的に形式手法を応用する方法として,要件から系統的にテストケースを構築する方法論を検討する.また評価実験として実システムに既存のカバレッジ基準の適用結果を示し考察を述べる. 
(英) Due to the automotive control systems have become complex, it is necessary to ensure the dependability of the systems. In order to achieve the dependability, many formal descriptions and verification techniques are proposed for the system design, but applications are very limited cases. This study considers methodologies to build test case systematically from requirements for the purpose of introducing the benefits that concepts and techniques of the formal methods. It also provides some results of applying existing requirement-based coverage criteria to existing artifacts of a real system.
キーワード (和) モデル検査 / 制御システム / コンポジショナル検証 / UFCカバレッジ / 自動テストケース生成 / / /  
(英) model-checking / control systems / compositional verification / UFC coverage / automatic test-case generation / / /  
文献情報 信学技報, vol. 115, no. 420, SS2015-61, pp. 99-103, 2016年1月.
資料番号 SS2015-61 
発行日 2016-01-18 (MSS, SS) 
ISSN Print edition: ISSN 0913-5685    Online edition: ISSN 2432-6380
著作権に
ついて
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
PDFダウンロード MSS2015-52 SS2015-61

研究会情報
研究会 SS MSS  
開催期間 2016-01-25 - 2016-01-26 
開催地(和) しいのき迎賓館 セミナールームB 
開催地(英) Shiinoki-Geihin-Kan 
テーマ(和) 一般 
テーマ(英)  
講演論文情報の詳細
申込み研究会 SS 
会議コード 2016-01-SS-MSS 
本文の言語 日本語 
タイトル(和) モデル検査とテストを応用した制御システム検証手法の検討 
サブタイトル(和)  
タイトル(英) A Study of a Practical Approach to Verifying Control Systems using Model-Checking and Testing 
サブタイトル(英)  
キーワード(1)(和/英) モデル検査 / model-checking  
キーワード(2)(和/英) 制御システム / control systems  
キーワード(3)(和/英) コンポジショナル検証 / compositional verification  
キーワード(4)(和/英) UFCカバレッジ / UFC coverage  
キーワード(5)(和/英) 自動テストケース生成 / automatic test-case generation  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 松原 潤弥 / Junya Matsubara / マツバラ ジュンヤ
第1著者 所属(和/英) 株式会社デンソークリエイト (略称: デンソークリエイト)
Denso Create Corporation (略称: Denso Create)
第2著者 氏名(和/英/ヨミ) 髙木 理恵子 / Rieko Takagi / タカギ リエコ
第2著者 所属(和/英) 株式会社デンソークリエイト (略称: デンソークリエイト)
Denso Create Corporation (略称: Denso Create)
第3著者 氏名(和/英/ヨミ) 中澤 輝幸 / Teruyuki Nakazawa / ナカザワ テルユキ
第3著者 所属(和/英) 株式会社デンソークリエイト (略称: デンソークリエイト)
Denso Create Corporation (略称: Denso Create)
第4著者 氏名(和/英/ヨミ) 東道 徹也 / Tetsuya Tohdo / トウドウ テツヤ
第4著者 所属(和/英) 株式会社デンソー (略称: デンソー)
Denso Corporation (略称: Denso)
第5著者 氏名(和/英/ヨミ) 井原 博之 / Hiroyuki Ihara / イハラ ヒロユキ
第5著者 所属(和/英) 株式会社デンソー (略称: デンソー)
Denso Corporation (略称: Denso)
第6著者 氏名(和/英/ヨミ) 川合 幸典 / Yukinori Kawaai / カワアイ ユキノリ
第6著者 所属(和/英) 株式会社デンソー (略称: デンソー)
Denso Corporation (略称: Denso)
第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著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2016-01-25 18:30:00 
発表時間 25分 
申込先研究会 SS 
資料番号 MSS2015-52, SS2015-61 
巻番号(vol) vol.115 
号番号(no) no.419(MSS), no.420(SS) 
ページ範囲 pp.99-103 
ページ数
発行日 2016-01-18 (MSS, SS) 


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

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


IEICE / 電子情報通信学会