車載 OS について語る

はじめに 他分野のエンジニアに「1回のミーティングで車載OSについて教えて」と相談されることがあったため、その説明の際に使ったメモ書きを共有する。一応、最初に予防線を張っておくと、私自身、車載ソフトウェア業界に身を置くが、「いわゆる車載OS分野の専門家か？」というとそうでもないし、やや距離のある分野の方への説明なので、ツッコミはお手柔らかにお願いしたい。 ISO-26262機能安全について OSという耽美な響きからGeekでTechな話を期待されたかもしれないが、まず国際標準の話から説明を始める。というのも、この点が生命・財産に関わるソフトウェアと、そうでないソフトウェアを分かつ、大きな前提のため、ここはスキップできない。 機能安全とは？ 国際標準とは世界で統一的なコミュニケーションを図るための規格であり、Terminologyについては他のどんな文書より定義が厳密なものだが、「1回のミー

[SundayIsEveryday]

ASIL-D製品をやってた視点で言及すると、業界的にはQM機能限定でAUTOSARコンポーネントを使うかOSレスが多い印象。Rust置換えは(しばらく)難しそう。常時診断が多く、処理速度の関係で高負荷時に処理が飛んで危険だから。

[sweetandsalty]

テスラ辺りがこういうISO規格をスルッと無視して出来ましたとかいって米政府もそれでいいよってなってデファクトスタンダードになったりしそう。中国も似たような事しそうだけどその場合米国が受け入れないだろうなあ

[shibuyan730]

某中華製Androidディスプレイオーディオを使用してたが2年で高熱にやられたか何かで起動しなくなった。バックモニターが使えなくなって妻が困っているのでやはり信頼性は大事だと思います

[aox]

エアコンもカーナビも無い車に乗ってますけど特に困らないです、何でもピコピコにすれば良いというものではないと思います

[TakamoriTarou]

で、これに輪をかけて保守的でゴリゴリの認証が求められるのが航空機向け、という構造になっております。安全にはコストがかかる。

[Windymelt]

めちゃ面白い。関連法規でガチガチに守られていたり、言語仕様も曖昧性を潰したものを使って可読性を担保したりと、「生身の人間を時速100kmで移動させるシステム」にはこのくらいの厳格さが必要なのだなと思った

[hiroomi]

”生命・財産に関わるソフトウェアと、そうでないソフトウェアを分かつ、大きな前提”断片的に少しお手伝いしてたから腹落ちした。

[andalusia]

Tesla は Python で書いてからC/C++にコンバートしているらしいが、最終的なものはMISRA-Cに従っていると聞く。 cf. https://twitter.com/elonmusk/status/1224182478501482497

[UhoNiceGuy]

MISRA-Cで再帰禁止なのは、計算リソースが見積もれないからだっけ。そこら辺はRust使っても禁止になるのでは。MISRA-Rustができる予感//高階関数とかstreamとか関数型フレーバーな機能は禁止されそう

[dltlt]

ASILの区分は、各メーカーが開発対象でやろうとしている技術構成に対しFMEAなどで評価して決めなければいけないが、ここがおかしいと、下流側の各ECUのコード開発／評価もおかしなことになる。下流側から指摘できるか？

[zyzy]

ちゃんと人類は工夫するべき所でしてきているという話

[mohri]

なるほど

[t_f_m]

あとで

[indication]

数年で突破できない壁…認証。クリアするために基板そのものを分割とかやってたなぁ

[atmark988]

最近いっちょ噛みしてるが、面白かったのが機能冗長化するときは同一機能の関数を異なる設計で実装しろって要求。同じ関数を使ってるとバグがあったときに共倒れるからだとか

[kitamati]

人の命を預かるソフトウェアと考えたら厳格性はマストって、気付きにくいけど縁の下の力持ちだな。アクセルが65535回踏まれたらドライブバイワイヤが無効になるとか起こったらマジで死人が出るしな

[tattyu]

teslaって守って無さそうだけどどうなんだろ。

[m_h]

仕事で役立ちそうな情報

[kagerouttepaso]

バグでソフトが落ちても仕方ないくらいの価値観で、人死を出すわけにはいかないからね。この業界で働く人たちには頭が下がる

[skypenguins]

Linuxもスケジューラのクラスにsched_rtってのがあってRTOSみたいに使えるらしい

[quick_past]

トヨタのアリーンはRUSTで実装されてる。まああれも実際にはアイシンに作らせてるんだろうな・・・。メーカーじゃないとAutosarの会員と認められないので、トヨタとして取得して事だろう。

[UDONCHAN]

興味深い

[field_combat]

知らない世界だ

[sippo_des]

よいね。車載車載

[inose660]

なんとここでロックステップですと・・・！でも機能安全を考えると、納得というか当然ではある。

[BlueSkyDetector]

QNXっていまBlackBerryの手に渡ってたのか。 / 日本だとMISRA Cについて、推奨ルールまで必須なものとして頭固いルールにしちゃってる印象あるけど、どうなんだろう。

[awkad]

キラキラエンジニア様「ソシャゲや転売プラットフォームつくってます！障害？詫び石くばるかHPに一言書いとけばいいでしょw SIや組み込みの人らは仕事遅いねぇもっと早く作れるでしょw」

[Beluga]

昔こうやって携帯電話のOSも体系作られていたけどiPhoneが出てきた後は皆ご存知の通り。携帯より変化早くないだろうが車載でも同じ事が起きるだろうな/是非若者には今こうなってるより自分はどうしたいかを考えて欲しい

[daishi_n]

MISRA C++の由来はF-35戦闘機用ソフトウェア開発時のコード規約JSF++。数十Mstep規模の開発を前提にしてるからね

[bobcoffee]

小脳と大脳に分けて小脳で厳密さ堅牢さ即時性を、大脳で拡張性とデータの取得とソフトの更新を確保し小脳と大脳をそれぞれアクセスさせるみたいな形にするのかねぇ。全部サポートし続けるとなると数十年保守しないと

[gnt]

エンジニアだ

[minamishinji]

議論の前提としてとてもよいまとめだと感じた。

[nilab]

車載 OS について語る

[poTracy]

すごい勉強になる車載OS入門だった！

[rrringress]

これはよいまとめ