Please log in

Paper / Information search system

日本語

ENGLISH

Help

Please log in

  • Summary & Details

Automotive Software Certification: Current Status and Challenges

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

Detailed Information

Author(E)1) Huafeng Yu, 2) Chung-Wei Lin, 3) BaekGyu Kim
Affiliation(E)1) Toyota InfoTechnology Center USA, 2) Toyota InfoTechnology Center USA, 3) Toyota InfoTechnology Center USA
Abstract(J)ソフトの正確性・品質は自動車の安全に大きな役割を持ち,その検証は信頼性向上,部品作成元の負担軽減となる.ソフト検証体制の航空・医療・鉄道分野での状況,自動車分野での現状・挑戦の調査結果をまとめた.自動車産業のソフト検証体制にはまだ多くの改善余地があり,各挑戦に眼を向け,また他分野の教訓に傾聴すべきである.

Translation

Abstract(E)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.

About search

close

How to use the search box

You can enter up to 5 search conditions. The number of search boxes can be increased or decreased with the "+" and "-" buttons on the right.
If you enter multiple words separated by spaces in one search box, the data that "contains all" of the entered words will be searched (AND search).
Example) X (space) Y → "X and Y (including)"

How to use "AND" and "OR" pull-down

If "AND" is specified, the "contains both" data of the phrase entered in the previous and next search boxes will be searched. If you specify "OR", the data that "contains" any of the words entered in the search boxes before and after is searched.
Example) X AND Y → "X and Y (including)"  X OR Z → "X or Z (including)"
If AND and OR searches are mixed, OR search has priority.
Example) X AND Y OR Z → X AND (Y OR Z)
If AND search and multiple OR search are mixed, OR search has priority.
Example) W AND X OR Y OR Z → W AND (X OR Y OR Z)

How to use the search filters

Use the "search filters" when you want to narrow down the search results, such as when there are too many search results. If you check each item, the search results will be narrowed down to only the data that includes that item.
The number in "()" after each item is the number of data that includes that item.

Search tips

When searching by author name, enter the first and last name separated by a space, such as "Taro Jidosha".