文献

J-GLOBAL ID：201202224533708482   整理番号：12A0814617

設計関心抽出とモデルチェッキングを使用した制御ソフトウェア仕様の検証

Validation of Control Software Specification Using Design Interests Extraction and Model Checking

著者 (4件)： KAGA Tomoyuki (Toyota Motor Corp.) ,  ADACHI Masakazu (Toyota Central R&D Labs., Inc) ,  HOSOTANI Ichiro (Toyota Motor Corp.) ,  KONISHI Masaaki (Toyota Motor Corp.)
資料名： SAE Technical Paper Series (Society of Automotive Engineers)  (SAE Technical Paper Series (Society of Automotive Engineers))
ページ： 12P  発行年： 2012年 
JST資料番号： D0244B  ISSN： 0148-7191  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 自動車制御システム設計において,従来の設計の要求ベース検証方式の欠点を補完する設計ベース検証方式を提案した。提案法は,設計者の関心事項の抽出に基づく検証を組み込んだ設計作業であり,そのデータフローグラフ(DFG)を定義し生成した。DFGに基づくモデリングを行い,モデルチェッカーによる挙動解析を行い,設計者の要求条件を満たしているかを検証した。エンジン制御ソフトウェアに適用した事例を報告した。

シソーラス用語： 基本設計 ,  伝動装置 ,  *自動車 ,  *制御系 ,  *ソフトウェア ,  *データフローグラフ ,  範囲 ,  モデリング ,  カーエレクトロニクス ,  内燃機関
準シソーラス用語： パワートレイン ,  モデル解析 ,  関心領域 ,  挙動解析

分類 (2件)： 電装品  (QG03070C) ,  システム設計・解析  (IA02030D)

タイトルに関連する用語 (5件)： 設計 ,  関心 ,  モデルチェッキング ,  ソフトウェア仕様 ,  検証