ログインしてください

文献・情報検索システム

日本語

ENGLISH

ヘルプ

ログインしてください

  • 詳細情報

自動車ソフトウェアの検証:現状と挑戦

Automotive Software Certification: Current Status and Challenges

書誌事項

著者(英)1) Huafeng Yu, 2) Chung-Wei Lin, 3) BaekGyu Kim
勤務先(英)1) Toyota InfoTechnology Center USA, 2) Toyota InfoTechnology Center USA, 3) Toyota InfoTechnology Center USA
抄録ソフトの正確性・品質は自動車の安全に大きな役割を持ち,その検証は信頼性向上,部品作成元の負担軽減となる.ソフト検証体制の航空・医療・鉄道分野での状況,自動車分野での現状・挑戦の調査結果をまとめた.自動車産業のソフト検証体制にはまだ多くの改善余地があり,各挑戦に眼を向け,また他分野の教訓に傾聴すべきである.
抄録(英)Modern vehicles can have millions of lines of software, for vehicle control, infotainment, etc. The correctness and quality of the software play a key role in the safety of whole vehicles. In order to assure the safety, engineers give an effort to prove correctness of individual subsystems or their integration using testing or verification methods. One needs to eventually certify that the developed vehicle as a whole is indeed safe using the artifacts and evidences produced throughout the development cycle. Such a certification process helps to increase the safety confidence of the developed software and reduce OEM’s liability. However, software certification in automotive domain is not yet well established, compared to other safety-critical domains, such as avionics and medical devices. At the same time, safety-relevant standards and techniques, including ISO 26262 and assurance cases, have been well adopted. It finally promotes the adoption and development of software certification in the automotive industry. In this paper, we first present a survey of recent research in the domains of aviation, medical devices, and railway systems. After this survey, we summarize current status as well as existing challenges in the automotive software certification. Assurance cases are also presented as a promising technique to automotive software certification.

翻訳

検索について

閉じる

検索ボックスの使い方

検索条件は最大5件まで入力可能です。検索ボックスの数は右側の「+」「−」ボタンで増減させることができます。
一つの検索ボックス内に、複数の語句をスペース(全角/半角)区切りで入力した場合、入力した語句の“すべてを含む”データが検索されます(AND検索)。
例)X(スペース)Y →「XかつY(を含む)」

「AND」「OR」プルダウンの使い方

「AND」を指定すると、前後の検索ボックスに入力された語句の“双方を含む”データが検索されます。また、「OR」を指定すると、前後の検索ボックスに入力された語句の“いずれかを含む”データが検索されます。
例)X AND Y →「XかつY(を含む)」  X OR Z →「XまたはZ(を含む)」
AND検索とOR検索が混在する場合は、OR検索が優先されます。
例)X AND Y OR Z → X AND (Y OR Z)
AND検索と複数のOR検索が混在する場合も、OR検索が優先されます。
例)W AND X OR Y OR Z → W AND (X OR Y OR Z)

検索フィルタの使い方

検索結果の件数が多すぎる場合など、さらに絞り込みしたいときに「検索フィルタ」を使います。各項目にチェックを入れると、その項目が含まれるデータのみに検索結果が絞り込まれます。
各項目後ろの「()」内の数字は、その項目が含まれるデータの件数です。

検索のコツ

著者名で検索するときは、「自動車 太郎」のように、姓名をスペースで区切って入力してください。