2026-05-14T19:54:42Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00240659 2025-01-19T07:54:24Z 1164:2822:11469:11788

組込みアプリケーションの決定論的実行環境Lingua Franca向けソフトウェア障害対策の設計と実装 寺澤, 佳紀 岩井, 明史 黄, 文鴻 松原, 豊 設計 近年の自動車は，ECU（Electronic Control Unit）と呼ばれる組込み型コンピュータによって制御されている．さらに，複雑化する機能やシステムの実装を削減するために，複数の車載機能を統合する ECU（統合 ECU）が注目されている．統合 ECU では複数の機能が統合されることにより，並行性が増す．加えて，車載システムは複数のコンピュータ上で並行して動作し，相互に連携して機能を実現する（分散アプリケーション）．これらの特徴から，入力に対して，システムの振る舞いが 1 つに定まらない問題（非決定性）が発生する．この問題に対し，Lingua Franca（LF）と呼ばれる決定論的実行環境が開発され，車載アプリケーションへの適用が研究されている．一方で，機能（アプリケーション）の実行監視が LF の信頼性に依存することや，異常機能の個別停止，個別再起動の仕組みが提供されていないといった問題がある．本論文では，LF の決定論的実行環境に適用する独立アプリケーションを用いた機能の実行監視，個別停止，個別再起動を提案した．加えて，提案手法を用いたプロトタイプを作成し，それによるオーバーヘッドを取得した． technical report 情報処理学会 2024-11-13 application/pdf 研究報告組込みシステム（EMB） 1 2024-EMB-67 1 8 2188-868X AA12149313 https://ipsj.ixsq.nii.ac.jp/record/240659/files/IPSJ-EMB24067001.pdf jpn