自動車組込みソフトウェアの形式的検証【JST・京大機械翻訳】

Todorov Vassil; Boulanger Frederic; Taha Safouan

文献

J-GLOBAL ID：202002226463751986 整理番号：20A1863490

自動車組込みソフトウェアの形式的検証【JST・京大機械翻訳】

Formal verification of automotive embedded software

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A1863490&from=J-GLOBAL&jstjournalNo=D0698C") }}

著者 (3件)： , ,
資料名：
号： FormaliSE ’18 ページ： 84-87 発行年： 2018年
JST資料番号： D0698C 資料種別：会議録 (C)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

自動車組込みシステムの絶えず増加する複雑性と安全先進運転者支援システム(ADAS)の必要性は自動車製造者にとって大きな挑戦である。さらに,近い将来において,ADASが十分に安全であるために,当局はソフトウェア認証を必要とすることを期待する。理論的研究と経験は,従来の設計アプローチを使用するとき,それらのシステムへの高い信頼性を保証することは不可能であることを示した。いくつかの産業(例えば,航空宇宙,鉄道,原子力)によって取られた方法は,形式的検証技術を用いて部分的であった。本論文では,まず,形式的検証技法の背景と,それらがいくつかの安全基準の要件の達成にどのように寄与するかを示した。次に,著者らは,工業的文脈で使われるように十分に成熟すると思われるこれらの技術の適用と,抽象的解釈に基づく静的解析,SMTベースのソフトウェアモデル検査,および演繹的証明を共有した。最後に,著者らの実験についての詳細な解析を行い,自動車組込みソフトウェアの開発への形式的手法を導入する手法を提案した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

, , , , , ,
, , , , , , , 【Automatic Indexing@JST】

著者キーワード (4件)： , , ,

計算機システム開発

, ,

前のページに戻る