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
Sponsored
·
Your Podcast. Everywhere. Effortlessly.
Share. Educate. Inspire. Entertain. You do you. We'll handle the rest.
→
KOBA789
September 10, 2025
Technology
16
9.6k
人工衛星のファームウェアを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
0
430
令和最新版手のひらコンピュータ
koba789
14
9k
時の流れが許せない
koba789
0
250
ついに生産が終わったけどZ80でまだまだ遊びたい
koba789
5
4.6k
ISUCONの練習を楽しくたくさんやる方法
koba789
2
1.4k
Z80をRustで動かすまで年が越せない
koba789
0
380
ISUCON練習環境を最も簡単に用意する方法
koba789
2
3.3k
音をアレする
koba789
0
1.1k
メガネとBluetooth Low Energyでお喋りする
koba789
0
1.7k
Other Decks in Technology
See All in Technology
Claude_CodeでSEOを最適化する_AI_Ops_Community_Vol.2__マーケティングx_AIはここまで進化した.pdf
riku_423
2
570
2026年、サーバーレスの現在地 -「制約と戦う技術」から「当たり前の実行基盤」へ- /serverless2026
slsops
2
250
Bedrock PolicyでAmazon Bedrock Guardrails利用を強制してみた
yuu551
0
240
コミュニティが変えるキャリアの地平線:コロナ禍新卒入社のエンジニアがAWSコミュニティで見つけた成長の羅針盤
kentosuzuki
0
110
Greatest Disaster Hits in Web Performance
guaca
0
260
What happened to RubyGems and what can we learn?
mikemcquaid
0
300
AI駆動PjMの理想像 と現在地 -実践例を添えて-
masahiro_okamura
1
120
プロダクト成長を支える開発基盤とスケールに伴う課題
yuu26
4
1.3k
OCI Database Management サービス詳細
oracle4engineer
PRO
1
7.4k
ブロックテーマ、WordPress でウェブサイトをつくるということ / 2026.02.07 Gifu WordPress Meetup
torounit
0
190
今日から始めるAmazon Bedrock AgentCore
har1101
4
410
制約が導く迷わない設計 〜 信頼性と運用性を両立するマイナンバー管理システムの実践 〜
bwkw
3
940
Featured
See All Featured
How People are Using Generative and Agentic AI to Supercharge Their Products, Projects, Services and Value Streams Today
helenjbeal
1
130
Mozcon NYC 2025: Stop Losing SEO Traffic
samtorres
0
140
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
35
2.4k
How to Think Like a Performance Engineer
csswizardry
28
2.4k
DevOps and Value Stream Thinking: Enabling flow, efficiency and business value
helenjbeal
1
95
My Coaching Mixtape
mlcsv
0
48
What the history of the web can teach us about the future of AI
inesmontani
PRO
1
430
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
eileencodes
38
2.7k
GraphQLの誤解/rethinking-graphql
sonatard
74
11k
Lessons Learnt from Crawling 1000+ Websites
charlesmeaden
PRO
1
1.1k
Utilizing Notion as your number one productivity tool
mfonobong
3
220
AI in Enterprises - Java and Open Source to the Rescue
ivargrimstad
0
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 . 作りやすくなれば試 行 錯誤が速くなり、より速く 高 度な技術が 手 に 入 る 背伸びした渾 身 の 一 撃ではなく、 継続的 ・ 加速度的成 長 のため