文献

J-GLOBAL ID：201602201830192061   整理番号：16A0137664

正確なソルバーを使用した自動車の安全性要求レベルの自動化分解と割り当て

Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers

著者 (7件)： MURASHKIN Alexandr (Univ. of Waterloo) ,  AZEVEDO Luis Silva (Univ. of Hull) ,  GUO Jianmei (Univ. of Waterloo) ,  ZULKOSKI Edward (Univ. of Waterloo) ,  LIANG Jia Hui (Univ. of Waterloo) ,  CZARNECKI Krzysztof (Univ. of Waterloo) ,  PARKER David (Univ. of Hull)
資料名： SAE Technical Paper Series (Society of Automotive Engineers)  (SAE Technical Paper Series (Society of Automotive Engineers))
ページ： 9P  発行年： 2015年 
JST資料番号： D0244B  ISSN： 0148-7191  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 新しい車両の特徴の実現の90%を占めるソフトウェアの安全性について検討した。自動車の機能安全性ISO26262におけるASIL(安全性要求レベル)の最適割り当てについて,既製品のソルバーを使用して調べた。整数線形計画法,充足可能性理論モジュロ,制約充足問題の最新の3つのソルバーを使用した。電気自動車統合のための実際のハイブリッドブレーキシステム(電気機械ブレーキとインホイールモータ)の3つの変分で手法の実行可能性と性能を評価した。ドライバの要求が始まっても,ブレーキが生じないなどのハザードについて調べた。要求最適なASIL割り当てによって,システムのリスク,開発コストを低減することができる。

シソーラス用語： 性能 ,  国際規格 ,  制約充足問題 ,  整数線形計画法 ,  充足可能性問題 ,  *電気自動車 ,  *ブレーキ
準シソーラス用語： ISO26262 ,  機能安全規格 ,  *機能安全性 ,  自動車安全性 ,  自動車安全性能

分類 (3件)： 自動車設計・構造・材料一般  (QG03010O) ,  ブレーキ装置  (QG03030K) ,  電気自動車  (QG07020B)

タイトルに関連する用語 (6件)： ソルバー ,  自動車 ,  安全性 ,  自動化 ,  分解 ,  割り当て