論文の概要: Multi-Mode Debugging for FRP-Based Embedded Systems

• arxiv url: http://arxiv.org/abs/2608.04264v1
• Date: Tue, 04 Aug 2026 22:51:25 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-08-06 14:48:43.656604
• Title: Multi-Mode Debugging for FRP-Based Embedded Systems
• Title（参考訳）: FRP系組み込みシステムのマルチモードデバッグ
• Abstract要約: Emfrpは、小規模組み込みシステム向けに設計された関数型リアクティブプログラミング言語である。 実際には、EmfrpプログラムはC言語にコンパイルされ、C言語やC++で記述されたプラットフォームに依存したインプット/アウトプットコンポーネントと組み合わせられる。 本稿では, Emfrp ベースの組み込みアプリケーションのためのマルチモードデバッグフレームワークを提案する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Emfrp is a functional reactive programming (FRP) language designed for small-scale embedded systems. Time-varying values are the primary abstraction mechanism in FRP and enable concise descriptions of reactive behavior. In practice, however, Emfrp programs are compiled into C and combined with platform-dependent input/output components written in C or C++. Consequently, developers must debug the resulting mixed C/C++ program using conventional debuggers such as GDB, even though the application logic is written in Emfrp. This situation creates an abstraction gap between the source-level FRP program and the executable system. This paper presents a multi-mode debugging framework for Emfrp-based embedded applications. The framework supports debugging at the level of Emfrp abstractions while also allowing inspection of platform-specific C/C++ I/O code. Our approach uses a source code mapping technique that relates Emfrp constructs to corresponding locations in the compiled program. A case study on an ESP32 microcontroller using representative debugging scenarios demonstrates improved debugging efficiency.
• Abstract（参考訳）: Emfrpは、小型組み込みシステム向けに設計された関数型リアクティブプログラミング(FRP)言語である。 時間変化の値はFRPの主要な抽象化メカニズムであり、反応挙動の簡潔な記述を可能にする。 しかし実際には、EmfrpプログラムはC言語にコンパイルされ、C言語やC++で記述されたプラットフォームに依存したインプット/アウトプットコンポーネントと組み合わせられる。 従って開発者は、アプリケーションロジックがEmfrpで記述されているにも関わらず、GDBのような従来のデバッガを使って、結果の混合C/C++プログラムをデバッグする必要がある。 この状況は、ソースレベルFRPプログラムと実行可能システムの間に抽象的なギャップを生じさせます。 本稿では, Emfrp ベースの組み込みアプリケーションのためのマルチモードデバッグフレームワークを提案する。 このフレームワークは、Emfrp抽象化のレベルでのデバッグをサポートし、プラットフォーム固有のC/C++ I/Oコードの検査を可能にする。 本手法では,Emfrp構造とコンパイルプログラムの対応する位置を関連付けるソースコードマッピング手法を用いる。 代表的なデバッグシナリオを用いたESP32マイクロコントローラのケーススタディでは,デバッグ効率が向上した。

関連論文リスト

• The Model Is Not the Product: A Dual-Pillar Architecture for Local-First Psychological Coaching [51.56484100374058]
  本報告では,iOS アプリケーションである Psych LM について紹介する。 Psych LMは、動作およびライフコーチングアプリケーション用に設計された、目的に構築された、ローカルファーストのランタイム内で、ローカル、オンデバイス言語モデルを実行する。
  論文  参考訳（メタデータ） (2026-05-23T05:49:11Z)
• RSE of a Quantum Transport Code and its Effects [0.0]
  本稿では, libNEGFによるコード品質保証の実践的アプローチについて述べる。 HPCシステム構成の変更によるパフォーマンスの劣化が,連続的なベンチマークによってどのように明らかになったかを示す。 ほとんどのレコメンデーションは、実装言語に関係なく科学ソフトウェアに適用できる。
  論文  参考訳（メタデータ） (2026-05-20T16:00:36Z)
• InfCode-C++: Intent-Guided Semantic Retrieval and AST-Structured Search for C++ Issue Resolution [31.437457217953835]
  INFCODE-C++は、エンドツーエンドの課題解決のための最初のC++対応自律システムである。 このシステムは、セマンティックコードインテント検索と決定論的AST構造化クエリという2つの補完的な検索メカニズムを組み合わせる。 解像度は25.58%で、MSWEエージェントのパフォーマンスを倍増する10.85ポイントで最強の先行エージェントを上回っている。
  論文  参考訳（メタデータ） (2025-11-20T03:05:26Z)
• MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices [0.0]
  入力/出力操作の幅広い範囲に対応可能な,マルチバースデバッグのための新しい手法を提案する。 我々はWARDuino WebAssembly仮想マシンを活用したMIOと呼ばれるプロトタイプを開発し、その実現可能性と効率性を実証した。
  論文  参考訳（メタデータ） (2025-09-08T16:15:18Z)
• ReF Decompile: Relabeling and Function Call Enhanced Decompile [50.86228893636785]
  逆コンパイルの目標は、コンパイルされた低レベルコード(アセンブリコードなど)を高レベルプログラミング言語に変換することである。 このタスクは、脆弱性識別、マルウェア分析、レガシーソフトウェアマイグレーションなど、さまざまなリバースエンジニアリングアプリケーションをサポートする。
  論文  参考訳（メタデータ） (2025-02-17T12:38:57Z)
• Moldable Exceptions [0.840358257755792]
  コンテキスト情報に基づいてデバッガのインタフェースを適応するための軽量なメカニズムである「モールド可能な例外」を導入する。 いくつかの例を通して、モールド可能な例外がライブプログラミング環境をいかに強化するかを提示する。
  論文  参考訳（メタデータ） (2024-08-31T14:14:22Z)
• Designing and Implementing a Generator Framework for a SIMD Abstraction Library [53.84310825081338]
  SIMD抽象化ライブラリを生成するための新しいエンドツーエンドフレームワークであるTSLGenを提案する。 私たちのフレームワークは既存のライブラリに匹敵するもので、同じパフォーマンスを実現しています。
  論文  参考訳（メタデータ） (2024-07-26T13:25:38Z)
• Harnessing Deep Learning and HPC Kernels via High-Level Loop and Tensor Abstractions on CPU Architectures [67.47328776279204]
  この研究は、効率的でポータブルなDeep LearningとHigh Performance Computingカーネルを開発するためのフレームワークを導入している。 1)プロセッシングプリミティブ(TPP)を用いた計算コアの表現と,2)高レベルな宣言的手法でTPPのまわりの論理ループの表現の2つのステップでカーネルの開発を分解する。 我々は、スタンドアロンカーネルと、さまざまなCPUプラットフォームにおける最先端実装よりも優れたエンドツーエンドワークロードを使用して、このアプローチの有効性を実証する。
  論文  参考訳（メタデータ） (2023-04-25T05:04:44Z)
• QParallel: Explicit Parallelism for Programming Quantum Computers [62.10004571940546]
  並列量子プログラミングのための言語拡張を提案する。 QParallelは、現在の量子プログラミング言語における並列性に関する曖昧さを取り除く。 並列化によって最も利益を上げるサブルーチンを識別し,並列領域の配置にプログラマを誘導するツールを提案する。
  論文  参考訳（メタデータ） (2022-10-07T16:35:16Z)
• Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications [0.0]
  静的型付けされた純粋関数型プログラミング言語であるHailstormを紹介します。 高次関数、テール再帰、自動メモリ管理などの機能をサポートする。 我々は、標準例を書き、GRiSP組み込みシステムボード上でサンプルを実行することで、Hailstormを評価した。
  論文  参考訳（メタデータ） (2021-05-27T22:09:15Z)

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

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