文献

J-GLOBAL ID：201602205333974213   整理番号：16A0148694

安全性診断ソフトウェアに対する形式検証法

Formal Verification Method for Safety Diagnosis Software

著者 (4件)： NARISAWA Fumio (Hitachi Ltd) ,  MATSUBARA Masahiro (Hitachi Ltd) ,  NISHI Masataka (Hitachi Ltd) ,  EBINA Tomohito (Hitachi Automotive Systems)
資料名： SAE Technical Paper Series (Society of Automotive Engineers)  (SAE Technical Paper Series (Society of Automotive Engineers))
ページ： 6P  発行年： 2015年 
JST資料番号： D0244B  ISSN： 0148-7191  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 自動車制御に対する埋込システムは大きさと複雑性で成長を続け,ソフトウェアもより大きく成長している。同時に,制御システムの安全性はメーカやサプライヤだけでなく,今や以前より遥かに高い安全性を要求する消費者にとっても大きな関心事となっている。本論文で筆者らは,自動車エンジニアリングにおける安全性診断ソフトウェアに対する形式検証法を論じ,安全性ハードウェアとソフトウェアとの混合システムに対して,C言語形式検証ツールであるCBMC上で検証システムを開発した。実行仲裁役は限られたランダムな待ち時間範囲で徹底的な組み合わせを作ることを可能にした。本システムはまた状態爆発無しに実際のサンプルの検証を可能にした。

シソーラス用語： *安全性 ,  *診断 ,  *ソフトウェア ,  検証 ,  制御 ,  組込みシステム ,  ハードウェア ,  C言語 ,  待ち時間 ,  自動車制御
準シソーラス用語： *形式検証 ,  埋込みシステム

分類 (2件)： 自動車設計・構造・材料一般  (QG03010O) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 安全性 ,  診断 ,  ソフトウェア ,  形式検証