Item type |
Journal(1) |
公開日 |
2018-02-15 |
タイトル |
|
|
タイトル |
AUTOSAR OS仕様準拠TOPPERS/ATK2を対象とした機能安全規格ISO 26262対応における安全分析事例 |
タイトル |
|
|
言語 |
en |
|
タイトル |
Safety Analysis Examples in Compliance with ISO 26262 for TOPPERS/ATK2 Conforming to the AUTOSAR OS Specification |
言語 |
|
|
言語 |
jpn |
キーワード |
|
|
主題Scheme |
Other |
|
主題 |
[特集:組込みシステム工学] AUTOSAR,RTOS,ISO 26262,機能安全,安全分析,HAZOP,SHARD |
資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
journal article |
著者所属 |
|
|
|
SCSK株式会社 |
著者所属 |
|
|
|
株式会社ジェイテクト |
著者所属 |
|
|
|
日本電気通信システム株式会社 |
著者所属 |
|
|
|
名古屋大学 |
著者所属 |
|
|
|
名古屋大学 |
著者所属(英) |
|
|
|
en |
|
|
SCSK Corporation |
著者所属(英) |
|
|
|
en |
|
|
JTEKT CORPORATION |
著者所属(英) |
|
|
|
en |
|
|
NEC Communication Systems, Ltd. |
著者所属(英) |
|
|
|
en |
|
|
Nagoya University |
著者所属(英) |
|
|
|
en |
|
|
Nagoya University |
著者名 |
毛利, 守男
佐藤, 秀昭
山下, 映
松原, 豊
高田, 広章
|
著者名(英) |
Morio, Mori
Hideaki, Sato
Akira, Yamashita
Yutaka, Matsubara
Hiroaki, Takada
|
論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
AUTOSARを用いた車載制御システムを機能安全対応させる場合,OSおよびOS上で動作するアプリケーションの間で,安全要求の違反につながる故障が存在しないことを示す必要がある.そのための取り組みにおいて特に重要となる作業が安全分析である.ソフトウェアを対象とする安全分析手法は過去に提案されているが,AUTOSAR OSを含め,リアルタイムOSを対象とした安全分析の実施方法や事例は,特定の製品や実装への依存度が高く,企業の機密事項にもなりうるため,一般に公開されている情報は限定的である.本論文では,リアルタイムOSの機能安全対応方法の具体的な事例として,AUTOSAR OS仕様準拠TOPPERS/ATK2を対象とした安全分析の実施事例を述べる.産学連携プロジェクトにおいて,TOPPERS/ATK2に対する安全コンセプトの構築,安全分析を実施し,その結果に基づいてアプリケーション開発側とOS開発側が実施すべき安全対策を導出する.加えて,保護機構を含むOSについても分析を行い,対策を導出する.最後に,本事例を通じて得られた知見を整理する. |
論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
In case of adapting the automotive control system using AUTOSAR Platform to functional safety standards, it is necessary to indicate that there are no failures leading to a violation of safety requirements. Safety analysis is a key activity for indication. Nevertheless, the public information about safety analysis is limited. In this paper, we describe an example of the safety analysis for TOPPERS/ATK2 conforming to the AUTOSAR OS specification. In the industry-academia cooperation project, we perform safety analysis for TOPPERS/ATK2, and derive safety measures to be implemented by application development side and OS development side based on the result. |
書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN00116647 |
書誌情報 |
情報処理学会論文誌
巻 59,
号 2,
p. 785-794,
発行日 2018-02-15
|
ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
1882-7764 |