論文の概要: Veloxity: Towards Memory-Safe UAV Embedded Firmware using the Rust Programming Language

• arxiv url: http://arxiv.org/abs/2610.41053v1
• Date: Thu, 29 Oct 2026 22:51:34 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-11-02 22:05:31.547276
• Title: Veloxity: Towards Memory-Safe UAV Embedded Firmware using the Rust Programming Language
• Title（参考訳）: Veloxity: Rustプログラミング言語を使用したメモリセーフなUAV組み込みファームウェアを目指して
• Abstract要約: Veloxityは、メモリセーフなRustプログラミング言語で記述された、オープンソースの組み込みUAVオートパイロットである。 VeloxityとC++で記述された等価オートパイロットと,ハードウェアテストベンチ,アウトドアウェイポイント追従飛行テストとを比較した。 その結果、現代のメモリセーフ言語は、自律的航空宇宙システムのための信頼性と性能の高いファームウェアにとって実行可能な選択肢であることが示唆された。
• 参考スコア（独自算出の注目度）: 0.4618037115403289
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Recent years have witnessed increased momentum towards memory-safe programming languages for safety-critical systems. Memory-safe languages can eliminate entire classes of common software errors that have historically required extensive analysis and expenditure to avoid. Nevertheless, memory-safe language adoption in aerospace remains fragmented and incomplete, particularly for unmanned aerial vehicles (UAVs). Recent Rust UAV projects either run only in simulation, are closed source, or have not been integrated with an established autonomy ecosystem and tested against existing C/C++ firmware. To address this gap, we present Veloxity: an open-source embedded UAV autopilot written in the memory-safe Rust programming language. Veloxity lowers the barrier to using memory-safe languages within modern ecosystems by providing a minimal, modular foundation for autonomous UAVs. We compare Veloxity to equivalent autopilots written in C++ in simulation, with hardware testbenches, and via outdoor waypoint-following flight tests, demonstrating functional parity with improved performance. These results indicate that modern memory-safe languages are a viable option for reliable and performant firmware for autonomous aerospace systems.
• Abstract（参考訳）: 近年、安全クリティカルシステムのためのメモリセーフなプログラミング言語への勢いが高まっている。 メモリセーフな言語は、歴史的に広範囲な分析と回避のための支出を必要とした、一般的なソフトウェアエラーのクラス全体を排除できる。 それでも、空域におけるメモリセーフな言語の採用は断片化され、特に無人航空機(UAV)では不完全なままである。 最近のRust UAVプロジェクトは、シミュレーションのみで実行されるか、クローズドソースであるか、確立された自律エコシステムに統合されておらず、既存のC/C++ファームウェアに対してテストされている。 このギャップに対処するため、私たちは、メモリセーフなRustプログラミング言語で記述された、オープンソースの組み込みUAVオートパイロットであるVeloxityを紹介します。 Veloxityは、自律型UAVの最小限のモジュール化基盤を提供することによって、現代のエコシステム内でメモリセーフな言語を使用する際の障壁を低くする。 Veloxity と C++ で記述された等価オートパイロット,ハードウェアテストベンチ,アウトドアウェイポイント追従飛行テストなどを比較し,性能向上による関数パリティの実証を行った。 これらの結果から,現代のメモリセーフ言語は,自律的航空宇宙システムのための信頼性と性能の高いファームウェアとして有効な選択肢であることが示唆された。

関連論文リスト

• TRACTOR Benchmark for Evaluating C to Rust Translators [4.640081926458296]
  MITリンカーン研究所はプログラムの独立した試験と評価機関として機能している。 TRACTORプログラムは,大規模なCを安全でパフォーマンスが高く,メンテナンス可能なRustに変換する,スケーラブルなテクニックの開発を目指している。
  論文  参考訳（メタデータ） (2026-09-20T14:28:05Z)
• LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation [1.4490522938516996]
  Rustは、最も若いモダンプログラミング言語の1つで、組み込みのメモリセーフティ保証を提供する。 C/C++コードをメモリセーフなRustコードにトランスパイルすることは、研究の領域が増えている。 本稿では,C/C++-to-Rustトランスパイルを実現するためのRAG(Retrieval-Augmented Generation)フレームワークを提案する。
  論文  参考訳（メタデータ） (2026-04-16T19:33:44Z)
• CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation [51.18863297461463]
  CRUST-Benchは100のCリポジトリのデータセットで、それぞれが安全なRustとテストケースで手書きのインターフェースとペアリングされている。 我々は、このタスクで最先端の大規模言語モデル(LLM)を評価し、安全で慣用的なRust生成が依然として難しい問題であることを確認した。 最高のパフォーマンスモデルであるOpenAI o1は、ワンショット設定で15タスクしか解決できない。
  論文  参考訳（メタデータ） (2025-04-21T17:33:33Z)
• KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution [59.20933707301566]
  大規模言語モデル(LLM)は、ますます現実的なソフトウェア工学(SE)タスクにおいて一貫して改善されている。 現実世界のソフトウェアスタックでは、Linuxカーネルのような基本的なシステムソフトウェアの開発にSEの取り組みが費やされています。 このような大規模システムレベルのソフトウェアを開発する際にMLモデルが有用かどうかを評価するため、kGymとkBenchを紹介する。
  論文  参考訳（メタデータ） (2024-07-02T21:44:22Z)
• Towards a Transpiler for C/C++ to Safer Rust [0.10993800728351737]
  RustはMozillaが開発したプログラミング言語で、パフォーマンスと安全性に重点を置いている。 既存のC++コードベースをRustに変換する方法も注目されている。
  論文  参考訳（メタデータ） (2024-01-16T10:35:59Z)
• Fast Summary-based Whole-program Analysis to Identify Unsafe Memory Accesses in Rust [23.0568924498396]
  Rustは40年以上にわたって低レベルのソフトウェアに悩まされてきたメモリ安全性問題を解決する最も有望なシステムプログラミング言語の1つである。 アンセーフなRustコードと直接リンクされたアンセーフな外部ライブラリは、メモリ安全違反自体を導入するだけでなく、セーフなRustと同じモノリシックなアドレス空間で実行されるプログラム全体を侵害する可能性がある。 我々は、安全でないヒープの割り当てと、それらの安全でないヒープオブジェクトへのメモリアクセスの両方を識別するためのプログラム全体をプロトタイプ化した。
  論文  参考訳（メタデータ） (2023-10-16T11:34:21Z)
• AVATAR: A Parallel Corpus for Java-Python Program Translation [77.86173793901139]
  プログラム翻訳とは、ある言語から別の言語へソースコードを移行することを指す。 AVATARは9,515のプログラミング問題とそのソリューションをJavaとPythonという2つの人気のある言語で記述したものです。
  論文  参考訳（メタデータ） (2021-08-26T05:44:20Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。