SpaceX software teamのAMAトピ on Reddit

Hacker News記事題日本語翻訳 @hackernewsj

私たちは、SpaceX社のソフトウェアチームであり、私たちに何かを頼みます reddit.com/r/spacex/comme…

安野貴博 @takahiroanno

SpaceXのDragonとFalcon9はLinuxで動いている。3重に冗長化されていて、放射線の影響を受けても問題なく動作するかテストされている。前面のでかいディスプレイのインターフェースはChromiumとJavaScriptで動いている。ソフトウェアチームは35人。フライトコンピュータはC++。 space.stackexchange.com/questions/9243…

みねこあ / みねこ（三猫） @minekonya

SpaceX周りで連想して、ふと vxWorks で rust 動くのかしらん？と調べたら、動くのねん。 sankei.com/economy/news/1… “VxWorksは、C++17、Boost、Python、Rustをサポートする初の、そして唯一のRTOSです”

柴田 淳-【新刊】Pythonで学ぶはじめてのプログラミング入門教室/みんなのPython @ats

SpaceXで使われているソフトウエアスタックについて，エンジニアがStackExchangeで答えてていろいろ面白い。Falcon 9のコアシステムはLinuxを載せたx86のデュアルコア上でCで書かれており，3台の合議制で動くらしい。 buff.ly/2MeAANB

ヒロケン / HIROTA Kenichiro @mimizawa_mememe

SpaceXソフトウェアチームのAMAが開設中ですね。現時点で2.4Kコメント。 "Would it be possible to hack into and remotely control a Falcon 9?" など笑える質問も。 reddit.com/r/spacex/comme…

Naoki Takezoe @takezoen

Crew DragonがISSで待機状態で暇なのでSpaceXのソフトウェアエンジニアが質問に答えてくれるらしいw / We are the SpaceX software team, ask us anything! : spacex reddit.com/r/spacex/comme…

Takehiro @takehiro0740

・多くの優秀な開発者を雇うために、特殊なCPUだったりは使わずにAmazonとかで買えるものを使用 ・言語はC++、CIが整備されててstaging環境みたいなものがある（実際のロケットに繋がってる） ・OSはLinux SpaceX社の開発環境の話の動画面白くて草 / youtu.be/N5faA2MZ6jY

拡大

Atsushi Sakai @Atsushi_twi

SpaceXのソフトウェアエンジニアの人たちがredditに降臨して、めっちゃ細かいソフトウェアの質問に答えているな。これはちゃんと読んで、面白い所をメモしよう。We are the SpaceX software team, ask us anything! - spacex reddit.com/r/spacex/comme…

Atsushi Sakai @Atsushi_twi

GUIは、Chromiumの上に自作のreactive libraryで実装してるのか。地上のオペレーションシステムとロケット内部のGUIシステムは同じソフトを使っている。C++のメインモジュールとは完全に分離されており、Chrominumが落ちても、クルーは手動で火災システムなどにアクセスできると。なるほど

Atsushi Sakai @Atsushi_twi

CIでコードのパフォーマンスも逐次テストしており、パフォーマンスが下がるとテストがfailするようにしている。すべてのfalconロケット同じソフトウェアで動いている。Autonomous Flight Safety System (AFSS)という独自のソフトが、メインとは別のマイコンで動いていて、安全関連の問題を監視している

Atsushi Sakai @Atsushi_twi

OSとGUI以外には、外部ライブラリは使っていない(残念) プログラミング言語としては、C++を飛行制御に、HTML +css +jsをGUIに、Pythonをテストに使っている。現時点では、SpaceXでは、機械学習の技術はシステムにつかっていない。(誰かMPCについて聞いて欲しかった。。)

Atsushi Sakai @Atsushi_twi

現時点でRustはシステムには使っていない。データの通信量としては、Dragonだと一回のミッションで数百GB、star linkでは1日に5TBのデータが取得できる。

Atsushi Sakai @Atsushi_twi

テスラのHWと同じものはつかっていない。 Chromiumは、最初はNASAへのプレゼン用にプロトタイプ用として採用したが、改良するにつれてよく動くようになったので、そのまま本番採用する様になった。 CPUはクアッドコアのもので、5年前のスマホと同じぐらいのスペック

Atsushi Sakai @Atsushi_twi

メインシステムはLinuxで動いているが、リアルタイム性を向上させるためなどの細かいパッチを当ててきました。ただカーネルはほとんど変更していません。いちばんの変更はハードウェアドライバをいくつか追加していることです。

Atsushi Sakai @Atsushi_twi

また、スターリンクでは、すでに打ち上げた60個の衛星は4000個のLinuxコンピュータが、搭載されています。これは30000ものLinuxノードと、6000ものマイコンノードがすでに宇宙空間で動いていることを意味し、かなりの安定性を示しています。

Keiichiro Ono @c_z

画面レンダリングだけとは言え、こんなところにも。 “we do use Chromium as the rendering engine for the displays UI. This project started as a simulator prototype to showcase the design vision to NASA.” We are the SpaceX software team, ask us anything! reddit.com/r/spacex/comme…

Atsushi Sakai @Atsushi_twi

制御システムの大部分はシステムの決定性を上げるためにシングルスレッドで実装されている。 イーロンの面白い逸話として、自動着陸システムが出来上がらず、打ち上げを延期しようとしたところ、今何%の確率で成功させようとしていると聞かれ、90%と答えると、50%でいいから打ち上げろと言われたこと

Atsushi Sakai @Atsushi_twi

失敗から継続的に学ぶことができるとわかっているならば、出来るだけ早く失敗することを推奨している。 宇宙システム特有のソフトウェアの面白さとしては、かならずコンピュータの再起動が意図せず発生することを考慮しないといけないことです。

H.AsO @AsO

> Linuxを、デスクトップOSで見られるよりもはるかに高い確定性を持つリアルタイム制御用の信頼できるプラットフォームに変えるために、多くの努力を重ねてきました。 reddit.com/r/spacex/comme…

Atsushi Sakai @Atsushi_twi

他にも色々質問はあったみたいだけど、SpaceXの人が答えていたのはこれぐらいみたい。すごく面白かった。あえて失敗させるように仕向けるイーロン・マスクはやっぱりすごいなぁって思った。これまでのTweetはこちらの記事にまとめました。: SpaceXの社員だけどなにか質問ある？myenigma.hatenablog.com/entry/2020/06/…

Hiroshi (Taku) Inoue @inoueh

SpaceXのFalconとかは（今の所）機械学習使ってないのね．reddit.com/r/spacex/comme…

KIMURA Syuhei @syuhei

redditにて「SpaceXのソフトウェア開発チームだけど質問ある？」が進行中。これはすごい。＞We are the SpaceX software team, ask us anything! : spacex : reddit.com/r/spacex/comme…

BigAkira @bigakira_t

SpaceXのSWチームがredditで公開質疑してるってんで観に行ったらこれ無限に読んでられる時間泥棒でやばい。 ただし、普段見ている某衛星メーカのSW開発プロセスとかを考えると嫌な汗が・・・。 reddit.com/r/spacex/comme…

BigAkira @bigakira_t

イノベーションの速度が命だから軌道上の衛星のSWは週一では更新してるから、打ち上げ待っている最新の衛星のSWのバージョンが軌道上の衛星の中で一番古いとか、いやもう凄い。

BigAkira @bigakira_t

軌道上の衛星1機はデータセンターのサーバー1台と同じとか、まぁそれはIridiumもDoveもそうだし、と思うんだけど、やっぱ凄い。

V @voluntas

We are the SpaceX software team, ask us anything! : spacex reddit.com/r/spacex/comme… "All of the application-level autonomous software is written in C++. " 見てる。