| Item type |
Symposium_02(1) |
| 公開日 |
2016-10-13 |
| タイトル |
|
|
タイトル |
機能安全対応に向けたAUTOSAR OSの安全分析手法 |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Safety analysis method for functional safety support of AUTOSAR OS |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
モデリング，モデル検査，安全分析 |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_5794 |
|
資源タイプ |
conference paper |
| 著者所属 |
|
|
|
名古屋大学／SCSK株式会社 |
| 著者所属 |
|
|
|
名古屋大学／株式会社ジェイテクト |
| 著者所属 |
|
|
|
名古屋大学 |
| 著者所属 |
|
|
|
名古屋大学／日本電気通信システム株式会社 |
| 著者所属 |
|
|
|
名古屋大学 |
| 著者所属 |
|
|
|
名古屋大学 |
| 著者所属(英) |
|
|
|
en |
|
|
Nagoya University / SCSK Corporation |
| 著者所属(英) |
|
|
|
en |
|
|
Nagoya University / JTEKT CORPORATION |
| 著者所属(英) |
|
|
|
en |
|
|
Nagoya University |
| 著者所属(英) |
|
|
|
en |
|
|
Nagoya University / NEC Communication Systems, Ltd. |
| 著者所属(英) |
|
|
|
en |
|
|
Nagoya University |
| 著者所属(英) |
|
|
|
en |
|
|
Nagoya University |
| 著者名 |
毛利, 守男
佐藤, 秀昭
平林, 寛崇
山下, 映
松原, 豊
高田, 広章
|
| 著者名(英) |
Morio, Mori
Hideaki, Sato
Hirotaka, Hirabayashi
Akira, Yamashita
Yutaka, Matsubara
Hiroaki, Takada
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
AUTOSAR を用いた車載制御システムを機能安全対応させる場合，OS 及び OS 上で動作するアプリケーションの間で，安全要求の違反に繋がる伝播故障が存在しない事を示す必要がある．その手段として，AUTOSAR OS はメモリ保護機能を含む複数の保護機構を提供している．我々は，機能安全対応の AUTOSAR OS （TOPPERS / ATK 2） を開発する際の安全分析において，OS の保護機構に対する逸脱に関する分析を行った．その際，OS で対応すべき要求とアプリケーション開発者が対処すべき要求に分類した．前者の逸脱の原因について，仕様から設計内容まで掘り下げの分析が必要と判断 ・ 実施し，追加の安全機構の必要性を検証し，安全方策を導出した． |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
To conform the automotive application using AUTOSAR Platform to the functional safety standards, it is necessary to realize the FFI between applications running on the AUTOSAR OS. In order to realize FFI, AUTOSAR OS provides multiple protection facilities including memory protection scheme. The authors analyze about risk with violating the safety requirements of the protection facilities of AUTOSAR OS. And the safety requirements are divided between those responsible for OS developer and for application developer. The authors decided more detail analysis in architecture design level must be done, and put into practice. Finally the authors verified whether it needs additional safety mechanisms and defined the safety measures. |
| 書誌情報 |
組込みシステムシンポジウム2016論文集
巻 2016,
p. 27-36,
発行日 2016-10-13
|
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-ESS2016004.pdf (1.1 MB)
