論文の概要: TECS/Rust-OE: Optimizing Exclusive Control in Rust-based Component Systems for Embedded Devices
- arxiv url: http://arxiv.org/abs/2510.25242v1
- Date: Wed, 29 Oct 2025 07:48:47 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-10-30 15:50:45.207298
- Title: TECS/Rust-OE: Optimizing Exclusive Control in Rust-based Component Systems for Embedded Devices
- Title（参考訳）: TECS/Rust-OE:組み込みデバイス向けラストベースコンポーネントシステムの排他制御の最適化
- Authors: Nao Yoshimura, Hiroshi Oyama, Takuya Azumi,
- Abstract要約: TECS/Rustは、スケーラブルなシステム設計と信頼性の向上を実現するために、Rustとコンポーネントベース開発(CBD)を組み合わせたフレームワークとして提案されている。
本稿では,コールフローを利用したメモリセーフなCBDフレームワークであるTECS/Rust-OEを提案する。
提案されたRustコードは、リアルタイムOS排他的制御機構を活用し、再利用性を損なうことなくパフォーマンスを最適化する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The diversification of functionalities and the development of the IoT are making embedded systems larger and more complex in structure. Ensuring system reliability, especially in terms of security, necessitates selecting an appropriate programming language. As part of existing research, TECS/Rust has been proposed as a framework that combines Rust and component-based development (CBD) to enable scalable system design and enhanced reliability. This framework represents system structures using static mutable variables, but excessive exclusive controls applied to ensure thread safety have led to performance degradation. This paper proposes TECS/Rust-OE, a memory-safe CBD framework utilizing call flows to address these limitations. The proposed Rust code leverages real-time OS exclusive control mechanisms, optimizing performance without compromising reusability. Rust code is automatically generated based on component descriptions. Evaluations demonstrate reduced overhead due to optimized exclusion control and high reusability of the generated code.
- Abstract（参考訳）: 機能性の多様化とIoTの開発により、組み込みシステムはより大きく、構造的に複雑になっています。
特にセキュリティの観点からシステムの信頼性を確保するには、適切なプログラミング言語を選択する必要がある。
既存の研究の一環として、TECS/Rustは、スケーラブルなシステム設計と信頼性の向上を実現するために、Rustとコンポーネントベース開発(CBD)を組み合わせたフレームワークとして提案されている。
このフレームワークは、静的な可変変数を使用してシステム構造を表現するが、スレッド安全性を確保するために適用された過剰な排他的制御によってパフォーマンスが低下した。
本稿では,コールフローを利用したメモリセーフなCBDフレームワークであるTECS/Rust-OEを提案する。
提案されたRustコードは、リアルタイムOS排他的制御機構を活用し、再利用性を損なうことなくパフォーマンスを最適化する。
Rustコードはコンポーネント記述に基づいて自動的に生成される。
最適化された排他制御と、生成されたコードの高再利用性によるオーバーヘッドの低減が評価されている。
関連論文リスト
- TECS/Rust: Memory-safe Component Framework for Embedded Systems [0.0]
本稿では,組み込みシステム用に設計されたRustベースのフレームワークであるTECS/Rustを提案する。
Rustのコンパイル時メモリセーフな機能である、ライフタイムや借用といった機能を活用して、Cと共通するメモリ脆弱性を軽減する。
提案されたフレームワークはメモリ安全性を保証するだけでなく、CBDの柔軟性も維持し、CBDコンポーネント用のRustコード生成を自動化するとともに、リアルタイムオペレーティングシステムとの効率的な統合をサポートする。
論文 参考訳（メタデータ） (2025-10-29T08:28:48Z) - DRIFT: Dynamic Rule-Based Defense with Injection Isolation for Securing LLM Agents [52.92354372596197]
大規模言語モデル(LLM)は、強力な推論と計画能力のため、エージェントシステムの中心となってきています。
この相互作用は、外部ソースからの悪意のある入力がエージェントの振る舞いを誤解させる可能性がある、インジェクション攻撃のリスクも引き起こす。
本稿では,信頼に値するエージェントシステムのための動的ルールベースの分離フレームワークを提案する。
論文 参考訳（メタデータ） (2025-06-13T05:01:09Z) - 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) - Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors [9.305729184240272]
Rustは安全性を低下させるUndefined Behaviors (UBs)を導入している。
これらのUBをなくすには、Rustの安全ルールと強力な型付けを深く理解する必要がある。
RustプロジェクトにおけるUBを自動的にかつ柔軟に最小化するRustBrainというフレームワークを紹介します。
論文 参考訳（メタデータ） (2025-03-04T06:48:45Z) - Rusty Linux: Advances in Rust for Linux Kernel Development [0.0]
Rustのカーネル開発への統合は、システムのセキュリティと信頼性の向上を目的とした変革的な取り組みである。
Rustがもたらすメリットを特定し、直面する課題を強調し、Rustの採用に関してコミュニティのコンセンサスの必要性を強調します。
論文 参考訳（メタデータ） (2024-07-25T23:46:27Z) - Bringing Rust to Safety-Critical Systems in Space [1.0742675209112622]
Rustは、バグ導入の可能性を劇的に削減し、より安全で安全なコードを生成することを目的としている。
この作業は、Rustで安全クリティカルな宇宙システムを開発するための一連のレコメンデーションを提供する。
論文 参考訳（メタデータ） (2024-05-28T12:48:47Z) - Structured Sparsity Learning for Efficient Video Super-Resolution [99.1632164448236]
我々は、ビデオ超解像(VSR)モデルの特性に応じて、構造化スパシティ学習(SSL)と呼ばれる構造化プルーニング手法を開発する。
SSLでは,残差ブロック,リカレントネットワーク,アップサンプリングネットワークなど,VSRモデルのいくつかの重要なコンポーネントに対するプルーニングスキームを設計する。
論文 参考訳（メタデータ） (2022-06-15T17:36:04Z) - Safe RAN control: A Symbolic Reinforcement Learning Approach [62.997667081978825]
本稿では,無線アクセスネットワーク(RAN)アプリケーションの安全管理のためのシンボル強化学習(SRL)アーキテクチャを提案する。
我々は、ユーザが所定のセルネットワークトポロジに対して高レベルの論理的安全性仕様を指定できる純粋に自動化された手順を提供する。
ユーザがシステムに意図仕様を設定するのを支援するために開発されたユーザインターフェース(UI)を導入し、提案するエージェントの動作の違いを検査する。
論文 参考訳（メタデータ） (2021-06-03T16:45:40Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。