2026-04-17T03:39:58Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00185889 2025-01-20T02:49:25Z 581:9322:9324

AUTOSAR OS仕様準拠TOPPERS/ATK2を対象とした機能安全規格ISO 26262対応における安全分析事例 Safety Analysis Examples in Compliance with ISO 26262 for TOPPERS/ATK2 Conforming to the AUTOSAR OS Specification 毛利, 守男 佐藤, 秀昭 山下, 映 松原, 豊 高田, 広章 Morio, Mori Hideaki, Sato Akira, Yamashita Yutaka, Matsubara Hiroaki, Takada [特集：組込みシステム工学] AUTOSAR，RTOS，ISO 26262，機能安全，安全分析，HAZOP，SHARD AUTOSARを用いた車載制御システムを機能安全対応させる場合，OSおよびOS上で動作するアプリケーションの間で，安全要求の違反につながる故障が存在しないことを示す必要がある．そのための取り組みにおいて特に重要となる作業が安全分析である．ソフトウェアを対象とする安全分析手法は過去に提案されているが，AUTOSAR OSを含め，リアルタイムOSを対象とした安全分析の実施方法や事例は，特定の製品や実装への依存度が高く，企業の機密事項にもなりうるため，一般に公開されている情報は限定的である．本論文では，リアルタイムOSの機能安全対応方法の具体的な事例として，AUTOSAR OS仕様準拠TOPPERS/ATK2を対象とした安全分析の実施事例を述べる．産学連携プロジェクトにおいて，TOPPERS/ATK2に対する安全コンセプトの構築，安全分析を実施し，その結果に基づいてアプリケーション開発側とOS開発側が実施すべき安全対策を導出する．加えて，保護機構を含むOSについても分析を行い，対策を導出する．最後に，本事例を通じて得られた知見を整理する． 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. journal article 2018-02-15 application/pdf 情報処理学会論文誌 2 59 785 794 1882-7764 AN00116647 https://ipsj.ixsq.nii.ac.jp/record/185889/files/IPSJ-JNL5902068.pdf jpn