Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Sign up for free
Menu
Search
Features
All features
Private URLs
Password Protection
Custom URLS
Scheduled publishing
Remove Branding
Restrict embedding
Deck Collections
Notes
Features
All features
Private URLs
Password Protection
Custom URLS
Scheduled publishing
Remove Branding
Restrict embedding
Deck Collections
Notes
Explore
Featured decks
Featured speakers
Programming
Technology
Storyboards
Explore
Featured decks
Featured speakers
Programming
Technology
Storyboards
Pricing
Search
Sign in
Sign up for free
人工衛星のファームウェアをRustで書く理由
Search
KOBA789
September 10, 2025
Technology
10k
16
Share
Embed
Copy iframe code
Copy JS code
Copy link
Start on current slide
人工衛星のファームウェアをRustで書く理由
2025/09/10に開催されたイベント「Rustの現場に学ぶ」の発表資料です
https://findy.connpass.com/event/359456/
KOBA789
September 10, 2025
More Decks by KOBA789
See All by KOBA789
8bit CPU 2026
koba789
7
3.3k
メモリが足らない2026
koba789
4
2.7k
直接メモリアクセス
koba789
0
880
令和最新版手のひらコンピュータ
koba789
14
9.8k
時の流れが許せない
koba789
0
7.5k
ついに生産が終わったけどZ80でまだまだ遊びたい
koba789
5
4.9k
ISUCONの練習を楽しくたくさんやる方法
koba789
3
1.6k
Z80をRustで動かすまで年が越せない
koba789
0
510
ISUCON練習環境を最も簡単に用意する方法
koba789
2
3.5k
Other Decks in Technology
See All in Technology
なぜ東京にいる私が、新潟の技術コミュニティを運営するのか by 八雲慎之助
yakumo
0
210
なぜAI時代に技術記事を書くのか?どう書くのか? 〜bunの場合〜
kworkdev
PRO
0
3.7k
あなたのDartコードは丸見えかもしれない ~reFlutterで暴くFlutterアプリの中身と多層防御~
zozotech
PRO
0
740
攻撃 3 時間 vs 復旧 10 時間。アクセスキー流出の非対称性を体感するために CTF を作った話
kazzpapa3
1
130
データマネジメント × 法務で作りあげる、 freeeの新しいデータガバナンスへの軌跡
freee
PRO
3
620
「作れる」と「リリースできる」の間にあったもの── PdMを外して見えた、PdMがやるべき仕事/Buildable ≠ Shippable: What Removing the PM Taught Me About the PM’s Job
yappli_developers
0
420
構造で守らせる データ・法務・セキュリティ・開発チームとつくる AI時代のデータガバナンスとデータ基盤のリアル
legalontechnologies
PRO
3
720
LLMの知識とAIエージェント
happysamurai294
0
150
Oracle Database Security 詳細解説
oracle4engineer
PRO
1
200
基本から分かる!AWSセキュリティ運用の考え方と任せ方
cmusudakeisuke
1
340
(swiftc) NonCopyableとライフタイム修飾子
teamhimeh
0
160
仕様駆動開発の、その先へ。決める力と確かめる仕組み
inariku
1
160
Featured
See All Featured
SEOcharity - Dark patterns in SEO and UX: How to avoid them and build a more ethical web
sarafernandez
0
320
Optimising Largest Contentful Paint
csswizardry
37
4k
StorybookのUI Testing Handbookを読んだ
zakiyama
31
7k
Building a A Zero-Code AI SEO Workflow
portentint
PRO
0
810
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
31
3.4k
Abbi's Birthday
coloredviolet
4
11k
For a Future-Friendly Web
brad_frost
184
11k
How to audit for AI Accessibility on your Front & Back End
davetheseo
0
620
コードの90%をAIが書く世界で何が待っているのか / What awaits us in a world where 90% of the code is written by AI
rkaga
63
47k
My Coaching Mixtape
mlcsv
0
380
Stop Working from a Prison Cell
hatefulcrawdad
274
21k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
35
2.6k
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 . 作りやすくなれば試 行 錯誤が速くなり、より速く 高 度な技術が 手 に 入 る 背伸びした渾 身 の 一 撃ではなく、 継続的 ・ 加速度的成 長 のため