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
9.8k
16
Share
人工衛星のファームウェアをRustで書く理由
2025/09/10に開催されたイベント「Rustの現場に学ぶ」の発表資料です
https://findy.connpass.com/event/359456/
KOBA789
September 10, 2025
More Decks by KOBA789
See All by KOBA789
メモリが足らない2026
koba789
4
2k
直接メモリアクセス
koba789
0
560
令和最新版手のひらコンピュータ
koba789
14
9.3k
時の流れが許せない
koba789
0
270
ついに生産が終わったけどZ80でまだまだ遊びたい
koba789
5
4.7k
ISUCONの練習を楽しくたくさんやる方法
koba789
2
1.5k
Z80をRustで動かすまで年が越せない
koba789
0
400
ISUCON練習環境を最も簡単に用意する方法
koba789
2
3.4k
音をアレする
koba789
0
1.1k
Other Decks in Technology
See All in Technology
Hooks, Filters & Now Context: Why MCPs Are the “Hooks” of the AI Era
miriamschwab
0
110
Oracle AI Database@Google Cloud:サービス概要のご紹介
oracle4engineer
PRO
6
1.3k
ふりかえりを 「あそび」にしたら、 学習が勝手に進んだ / Playful Retros Drive Learning
katoaz
0
380
ある製造業の会社全体のAI化に1エンジニアが挑んだ話
kitami
2
140
サイボウズ 開発本部採用ピッチ / Cybozu Engineer Recruit
cybozuinsideout
PRO
10
77k
Databricksを用いたセキュアなデータ基盤構築とAIプロダクトへの応用.pdf
pkshadeck
PRO
0
200
Oracle Cloud Infrastructure(OCI):Onboarding Session(はじめてのOCI/Oracle Supportご利⽤ガイド)
oracle4engineer
PRO
2
17k
制約を設計する - 非決定性との境界線 / Designing constraints
soudai
PRO
6
2.3k
AIにより大幅に強化された AWS Transform Customを触ってみる
0air
0
330
OPENLOGI Company Profile for engineer
hr01
1
62k
LLM とプロンプトエンジニアリング/チューターを定義する / LLMs and Prompt Engineering, and Defining Tutors
ks91
PRO
0
280
Data Intelligence Engineering Unit 部門と各ポジション紹介
sansantech
PRO
0
130
Featured
See All Featured
Chasing Engaging Ingredients in Design
codingconduct
0
160
The World Runs on Bad Software
bkeepers
PRO
72
12k
DBのスキルで生き残る技術 - AI時代におけるテーブル設計の勘所
soudai
PRO
64
53k
Kristin Tynski - Automating Marketing Tasks With AI
techseoconnect
PRO
0
210
How To Speak Unicorn (iThemes Webinar)
marktimemedia
1
430
Unlocking the hidden potential of vector embeddings in international SEO
frankvandijk
0
750
Rebuilding a faster, lazier Slack
samanthasiow
85
9.4k
Taking LLMs out of the black box: A practical guide to human-in-the-loop distillation
inesmontani
PRO
3
2.1k
The Web Performance Landscape in 2024 [PerfNow 2024]
tammyeverts
12
1.1k
Color Theory Basics | Prateek | Gurzu
gurzu
0
280
The Illustrated Children's Guide to Kubernetes
chrisshort
51
52k
A brief & incomplete history of UX Design for the World Wide Web: 1989–2019
jct
1
340
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 . 作りやすくなれば試 行 錯誤が速くなり、より速く 高 度な技術が 手 に 入 る 背伸びした渾 身 の 一 撃ではなく、 継続的 ・ 加速度的成 長 のため