論文の概要: Unified Message Model for Heterogeneous Serial Data Exchange Protocols
- arxiv url: http://arxiv.org/abs/2608.17642v1
- Date: Tue, 18 Aug 2026 11:00:23 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-19 21:40:53.313675
- Title: Unified Message Model for Heterogeneous Serial Data Exchange Protocols
- Title（参考訳）: 不均一シリアルデータ交換プロトコルのための統一メッセージモデル
- Abstract要約: 本稿では,シリアルメッセージの明示的および決定論的記述のためのプロトコルに依存しないメッセージモデルを提案する。
提案するモデルと手法は,産業ツール環境における実装を通じて実証される。
- 参考スコア（独自算出の注目度）: 1.0742675209112622
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Modern embedded systems are becoming increasingly complex and typically integrate numerous heterogeneous devices, such as controllers, sensors, actuators, and supporting subsystems. As a result, their development and integration involve a wide variety of serial communication protocols, ranging from standardized solutions to partially standardized and fully project-defined formats. Efficient development of such systems increasingly depends on automation toolchains, which in turn require a clear, unified, and machine-processable formal basis. This paper proposes a unified, protocol-agnostic message model for explicit and deterministic description of serial messages. The model is based on formal definition of data types, atomic message elements (containers), and complete message structure. In addition to the model itself, the paper introduces methods for practical work with it, including configurable message types for expressing structural constraints and supporting deterministic automation, as well as configurable user representations for engineering-oriented reading and editing. The proposed model and methods are demonstrated through implementation in an industrial tool environment. The results show that the approach can support machine-readable interface control document development, automated generation of transport-layer software, and practical engineering work with both standardized and weakly formalized serial protocols. Taken together, the proposed model, methods, and tool implementation provide a practical foundation for automation toolchains in heterogeneous serial communication development.
- Abstract（参考訳）: 現代の組み込みシステムはますます複雑化しており、コントローラ、センサー、アクチュエータ、サポートサブシステムなど、多くの異種デバイスを統合するのが一般的である。
その結果、それらの開発と統合は、標準化されたソリューションから部分的に標準化され、完全にプロジェクト定義のフォーマットまで、幅広いシリアル通信プロトコルを含んでいる。
このようなシステムの効率的な開発は、自動化ツールチェーンにますます依存しており、その結果、明確で統一され、マシン処理可能な形式的基盤が必要である。
本稿では,シリアルメッセージの明示的かつ決定論的記述のための統一的プロトコルに依存しないメッセージモデルを提案する。
このモデルは、データ型、アトミックメッセージ要素(コンテナ)、および完全なメッセージ構造の公式定義に基づいている。
モデル自体に加えて,構造制約を表現するための設定可能なメッセージタイプや決定論的自動化のサポート,エンジニアリング指向の読み・編集のための設定可能なユーザ表現など,実践的な作業方法も紹介する。
提案するモデルと手法は,産業ツール環境における実装を通じて実証される。
提案手法は,機械可読性インタフェース制御文書の開発,トランスポート層ソフトウェアの自動生成,および標準化および弱形式化されたシリアルプロトコルによる実用工学的作業を支援する。
提案したモデル,手法,ツールの実装は,異種連続通信開発におけるツールチェーンの自動化のための実践的基盤を提供する。
関連論文リスト
- Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models [62.62160094849002]
RADIANTは、MDEとMulti-Agent Large Language Modelを組み合わせたエンジニアリング方法論である。
工学的なフェーズにまたがる異種モデルを自動的に生成する。
正確かつ自動的な変更インパクト分析を提供する。
論文 参考訳（メタデータ） (2026-07-18T08:50:55Z) - From World Action Models to Embodied Brains: A Roadmap for Open-World Physical Intelligence [54.62791372989525]
アクションモデル、ビジョン言語-アクションポリシー、世界モデルは、この目標を前進させた。
世界行動モデル(WAM)は、候補者の介入と予測された結果とを結びつけるため、特に有望である。
我々は、WAMへの進化をレビューし、これらの制限をモデルの役割と表現、目的と標準化、システム構成という3つの組み合わせのギャップにまとめる。
論文 参考訳（メタデータ） (2026-07-13T15:22:56Z) - LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean [9.293322518056357]
本稿では,タイプベースの推論とトレースベースの推論を組み合わせることで,ステートフルプロトコルとアンバウンドプロトコルのモジュール検証を実現する手法を提案する。
私たちはこのフレームワークをリーン実証アシスタント用のLeanDYライブラリとして実装し、DY*の設計を構築し拡張します。
我々は、LeanDYでSegWitスタイルのブロックチェーンプリミティブを形式化し、支払いチャネルの詳細な形式化を行うことで、その表現性を実証する。
論文 参考訳（メタデータ） (2026-07-03T15:12:30Z) - The Auton Agentic AI Framework [5.410458076724158]
人工知能の分野では、ジェネレーティブAIからエージェントAIへの移行が進行中である。
大規模言語モデル(LLM)は構造化されていない出力を生成するが、それらが制御しなければならないバックエンドインフラストラクチャは決定論的でスキーマに適合する入力を必要とする。
本稿では,自律エージェントの作成,作成,管理を行うための原則アーキテクチャであるAuton Agentic AI Frameworkについて述べる。
論文 参考訳（メタデータ） (2026-02-27T06:42:08Z) - Monadic Context Engineering [59.95390010097654]
本稿では,エージェント設計の正式な基盤を提供するために,モナディックコンテキストエンジニアリング(MCE)を紹介する。
我々は、モナドがロバストなコンポジションをどのように実現し、Applicativesが並列実行に原則化された構造を提供し、また、モナドトランスフォーマーがこれらの機能の体系的なコンポジションをどのように可能にしているかを実証する。
この階層化されたアプローチにより、開発者は、単純で独立した検証可能なコンポーネントから、複雑でレジリエントで効率的なAIエージェントを構築することができる。
論文 参考訳（メタデータ） (2025-12-27T01:52:06Z) - Leveraging Machine Learning and Enhanced Parallelism Detection for BPMN Model Generation from Text [75.77648333476776]
本稿では、テキストからBPMNモデルを抽出する自動パイプラインについて紹介する。
この研究の重要な貢献は、新たに注釈付けされたデータセットの導入である。
モデルトレーニング用の32のパラレルゲートウェイを含む15の注釈付き文書でデータセットを増強する。
論文 参考訳（メタデータ） (2025-07-11T07:25:55Z) - MOD-X: A Modular Open Decentralized eXchange Framework proposal for Heterogeneous Interoperable Artificial Intelligence Agents [0.7864304771129751]
本稿では,エージェント相互運用のための新しいアーキテクチャフレームワークであるMOD-Xを紹介する。
現在のアプローチとは異なり、MOD-Xはユニバーサルメッセージバスを備えた階層アーキテクチャを提案する。
主なイノベーションとしては、パブリッシュ-サブスクライブ通信モデル、セマンティック機能発見、動的ワークフローオーケストレーションなどがある。
論文 参考訳（メタデータ） (2025-07-06T12:46:57Z) - Robot Context Protocol (RCP): A Runtime-Agnostic Interface for Agent-Aware Robot Control [0.0]
Robot Context Protocol(RCP)は、ロボットシステムの複雑さを単純化し、ロボット、ユーザ、自律エージェント間のシームレスな相互作用を可能にするように設計されている。
RCPは、クライアントが直面する操作をバックエンドの実装から切り離す統一的で意味のあるインターフェイスを提供する。
RCPは、複雑なマルチエージェントエコシステムにおけるインテリジェントでレジリエントで安全なロボット操作を可能にする。
論文 参考訳（メタデータ） (2025-06-13T10:24:44Z) - Towards Auto-Modeling of Formal Verification for NextG Protocols: A
Multimodal cross- and self-attention Large Language Model Approach [3.9155346446573502]
本稿では,5GおよびNextGプロトコル(AVRE)のための実世界プロンプトを用いた形式検証の自動モデリングを提案する。
AVREは次世代通信プロトコル(NextG)の正式な検証のために設計された新しいシステムである。
論文 参考訳（メタデータ） (2023-12-28T20:41:24Z) - A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis [54.959571890098786]
システム仕様を符号化し、対応する証明書を定義するためのフレームワークを提供する。
コントローラと証明書を形式的に合成する自動化手法を提案する。
我々のアプローチは、ニューラルネットワークの柔軟性を利用して、制御のための安全な学習の幅広い分野に寄与する。
論文 参考訳（メタデータ） (2023-09-12T09:37:26Z) - SOLIS -- The MLOps journey from data acquisition to actionable insights [62.997667081978825]
本稿では,基本的なクロスプラットフォームテンソルフレームワークとスクリプト言語エンジンを使用しながら,すべての要件をサポートする統合デプロイメントパイプラインとフリー・ツー・オペレートアプローチを提案する。
しかし、このアプローチは、実際のプロダクショングレードシステムに機械学習機能を実際にデプロイするために必要な手順やパイプラインを提供していない。
論文 参考訳（メタデータ） (2021-12-22T14:45:37Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。