Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
人工衛星のファームウェアをRustで書く理由
Search
KOBA789
September 10, 2025
Technology
1
600
人工衛星のファームウェアをRustで書く理由
2025/09/10に開催されたイベント「Rustの現場に学ぶ」の発表資料です
https://findy.connpass.com/event/359456/
KOBA789
September 10, 2025
Tweet
Share
More Decks by KOBA789
See All by KOBA789
令和最新版手のひらコンピュータ
koba789
14
8.3k
時の流れが許せない
koba789
0
130
ついに生産が終わったけどZ80でまだまだ遊びたい
koba789
5
4.4k
ISUCONの練習を楽しくたくさんやる方法
koba789
2
1.3k
Z80をRustで動かすまで年が越せない
koba789
0
250
ISUCON練習環境を最も簡単に用意する方法
koba789
2
3.3k
音をアレする
koba789
0
960
メガネとBluetooth Low Energyでお喋りする
koba789
0
1.6k
Rustでon-diskなB+Treeを作ったときの細かな話
koba789
11
1.9k
Other Decks in Technology
See All in Technology
品質視点から考える組織デザイン/Organizational Design from Quality
mii3king
0
140
生成AIでセキュリティ運用を効率化する話
sakaitakeshi
0
340
なぜテストマネージャの視点が 必要なのか? 〜 一歩先へ進むために 〜
moritamasami
0
190
JTCにおける内製×スクラム開発への挑戦〜内製化率95%達成の舞台裏/JTC's challenge of in-house development with Scrum
aeonpeople
0
150
大「個人開発サービス」時代に僕たちはどう生きるか
sotarok
20
9.4k
AWS環境のリソース調査を Claude Code で効率化 / aws investigate with cc devio2025
masahirokawahara
2
1.4k
シークレット管理だけじゃない!HashiCorp Vault でデータ暗号化をしよう / Beyond Secret Management! Let's Encrypt Data with HashiCorp Vault
nnstt1
3
230
エニグモ_会社紹介資料(エンジニア職種向け).pdf
enigmo_hr
0
2.2k
allow_retry と Arel.sql / allow_retry and Arel.sql
euglena1215
1
160
バイブスに「型」を!Kent Beckに学ぶ、AI時代のテスト駆動開発
amixedcolor
2
330
複数サービスを支えるマルチテナント型Batch MLプラットフォーム
lycorptech_jp
PRO
0
230
AI エージェントとはそもそも何か? - 技術背景から Amazon Bedrock AgentCore での実装まで- / AI Agent Unicorn Day 2025
hariby
4
1.3k
Featured
See All Featured
A designer walks into a library…
pauljervisheath
207
24k
Put a Button on it: Removing Barriers to Going Fast.
kastner
60
4k
The Language of Interfaces
destraynor
161
25k
The Power of CSS Pseudo Elements
geoffreycrofte
77
5.9k
10 Git Anti Patterns You Should be Aware of
lemiorhan
PRO
656
61k
How to train your dragon (web standard)
notwaldorf
96
6.2k
Producing Creativity
orderedlist
PRO
347
40k
4 Signs Your Business is Dying
shpigford
184
22k
The Pragmatic Product Professional
lauravandoore
36
6.9k
Understanding Cognitive Biases in Performance Measurement
bluesmoon
29
1.9k
GitHub's CSS Performance
jonrohan
1032
460k
Speed Design
sergeychernyshev
32
1.1k
Transcript
人 工 衛星のファームウェアを Rustで書く理由 2 0 2 5 - 0
7 - 2 9 Rustの現場に学ぶ 〜Webアプリの裏側からOS、 人工 衛星まで〜 株式会社アークエッジ ・ スペース KOBA 7 8 9
IUUQTEJBSZIBUFOBCMPHKQFOUSZ
もう4年経つ
2 0 2 2 2 0 2 3 2 0
2 5 とある衛星の管制システムの 一 部をRustで書く ファームウェアをRustで書ける OBC(衛星搭載コンピュータ)を開発 2 0 2 4 衛星データのユースケースを探るため 南 米 に 行 く 衛星内でEthernetを使うための 研究開発
前提共有の時間 非 宇宙屋さんに 人工 衛星の話をするとき、これが 一 番 大 変(かつ重要)
None
None
None
うちの6U衛星についての 誤解を解く
誤解1. 信頼性が 大 事なので 神経がすり減る
我々の衛星の信頼性 壊れると 大 変ではあるが • 超 小 型(軽い ・小 さい)
• デスクトップPCくらい • 打ち上げコスト安め(それでも 高 いけど!) • 寿命2〜5年 • 高 度500〜600kmだと 大 気がややあるので減速して落ちてくる • 無 人 • 壊れてもモノが壊れるだけではある(時間とお 金 は無駄になる) • 学んで直して次に 行 きましょう
非 修理系 打ち上げちゃうと 手 が届かない
絶対に壊れないように作る?
絶対に壊れないように作る? No
見 えない ・ 届かないところで 予想外が起こる
「固いこと」 より 「柔らかいこと」
我々に必要な「信頼性」とは 「固いこと」より「柔らかいこと」 • 多少バグってもいいが • ワークアラウンドがないのは困る • エラーは絶対にログる • ありとあらゆるイベントのカウンタを実装(observability…)
• パラメータは変更可能に • 軌道上でソフトウェアアップデート
誤解2. 放射線 大 変なんでしょ?
放射線はそんなに気にしても仕 方 ない ソフトでしなくていいこと ・ できないことが多い • メモリは化ける(真実) • ECCメモリというやつが
訂正してくれる • あとはシステム設計でカバー
誤解3. 姿勢制御とかあるし 物理の知識が必要なんでしょ?
ソフトウェアは姿勢制御だけじゃない ふつうのシステムプログラミングの分量がとても多い • 地上側はふつうのウェブ • 管制システムのバックエンドはほぼ全部Rust • 衛星側もふつうの組込み • NANDフラッシュの
ドライバ書くとか • OSっぽいもの書くとか • 最近はRustの割合が増えてる
意外とふつう
None
None
None
None
Rustを使う理由
Rustを使う理由 rust-lang.orgではこの3つが紹介されている https://www.rust-lang.org/
Rustを使う理由 Xで予想を聞いてみた https://x.com/KOBA 7 8 9 /status/ 1 9 3
9 8 7 3 8 3 7 7 8 2 6 3 0 5 6 0
Rustを使う理由 Xで予想を聞いてみた https://x.com/KOBA 7 8 9 /status/ 1 9 3
9 8 7 3 8 3 7 7 8 2 6 3 0 5 6 0 A. 生 産性
※再掲
なぜ「作りやすい」ことが 大 切か 1 . 世界規模の社会課題を解決するためにもっと 高 度な技術が欲しい 2 .
技術の発展には試 行 錯誤の繰り返しが 一 番効くと信じている 3 . 作りやすくなれば試 行 錯誤が速くなり、より速く 高 度な技術が 手 に 入 る 背伸びした渾 身 の 一 撃ではなく、 継続的 ・ 加速度的成 長 のため