論文の概要: Formalization of the AADL Run-Time Services with Time
- arxiv url: http://arxiv.org/abs/2507.06881v1
- Date: Wed, 09 Jul 2025 14:17:42 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-07-10 17:37:43.618512
- Title: Formalization of the AADL Run-Time Services with Time
- Title（参考訳）: AADLランタイムサービスの時間による形式化
- Authors: Brian R Larson, Ehsan Ahmad,
- Abstract要約: アーキテクチャ・アナリティクス・アンド・デザイン・ランゲージ(英: Architecture Analysis & Design Language、AADL)は、ソフトウェアによって制御される機械を設計するためのアーキテクチャ記述言語である。
AADL標準であるSAE International AS5506Dは、標準によって定義されたセマンティクスに従ってAADLモデルを実行するための実行時サービス(RTS)を記述する。
本稿では,この形式化をクリプキ構造によって定義されたモーダル論理を用いて拡張・単純化し,時間を含むことを明示する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The Architecture Analysis & Design Language (AADL) is an architecture description language for design of cyber-physical systems--machines controlled by software. The AADL standard, SAE International AS5506D, describes Run-Time Services (RTS) to be provided to execute AADL models in accordance with semantics defined by the standard. The RTS of primary concern are transport services and timing services. Although, the study presented in [1] sets a foundation for the formal semantics of AADL, but without modeling time. This paper extends and simplifies this formalization using a modal logic defined by a Kripke structure, to explicitly include time. The RTS defined in the AADL standard are also expanded to support reactive state-transition machines of the Behavior Specification annex standard language (BA) and its closely-related, formally-defined counterpart, the Behavior Language for Embedded Systems with Software (BLESS). An example of AADL RTS with time, implemented by the High Assurance Modeling and Rapid Engineering for Embedded Systems (HAMR) for state-transition machine behavior written in BLESS, is also presented.
- Abstract（参考訳）: アーキテクチャ・アナリティクス・アンド・デザイン・ランゲージ(英: Architecture Analysis & Design Language、AADL)は、ソフトウェアによって制御される機械を設計するためのアーキテクチャ記述言語である。
AADL標準であるSAE International AS5506Dは、標準によって定義されたセマンティクスに従ってAADLモデルを実行するための実行時サービス(RTS)を記述する。
主な関心事のRTSは、輸送サービスとタイミングサービスである。
しかし、[1]で示された研究は、AADLの形式的意味論の基礎を定めているが、モデリング時間はない。
本稿では,この形式化をクリプキ構造によって定義されたモーダル論理を用いて拡張・単純化し,時間を含むことを明示する。
AADL標準で定義されているRTSは、行動仕様付標準言語(BA)のリアクティブな状態遷移マシンと、それと密接に関連し、正式に定義されたソフトウェアによる組み込みシステムのための振舞い言語(BLESS)をサポートするように拡張されている。
In example of AADL RTS with time, implemented by the High Assurance Modeling and Rapid Engineering for Embedded Systems (HAMR) for state-transition machine behavior in BLESS。
関連論文リスト
- RE-oriented Model Development with LLM Support and Deduction-based Verification [0.0]
システム開発を予備的に行うためのUML(Unified Modelling Language)ダイアグラムに焦点を当てた包括的フレームワークを提案する。
このフレームワークは様々なモデリング段階で可視化を提供し、大きな言語モデルと論理推論エンジンをシームレスに統合する。
最終的に、このフレームワークはプログラムスケルトンの自動生成を促進し、設計から実装への移行を合理化している。
論文 参考訳（メタデータ） (2025-06-10T09:13:58Z) - Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation [37.00992105646957]
本稿では,計画ドメイン定義言語(PDDL)に基づく計画意味論のシステムモデルへの直接統合を可能にするSysMLプロファイルを提案する。
再利用可能なステレオタイプは、型、述語、関数、アクションといった主要なPDDL概念に対して定義されている。
このアプローチは、自動およびモデルベースの計画記述の生成をサポートし、エンジニアリング設計におけるシステムモデリングとAI計画の間の再利用可能なブリッジを提供する。
論文 参考訳（メタデータ） (2025-06-07T08:46:14Z) - Formalizing UML State Machines for Automated Verification -- A Survey [14.99225452541953]
モデリング言語(UML)は、動的システムのモデリングの標準である。
Object Management Group (OMG) が管理する仕様は、自然言語で文書化されている。
論文 参考訳（メタデータ） (2024-07-24T12:15:31Z) - Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report [51.86861492527722]
本稿では,オートマトンに基づく複合イベント認識システムを提案する。
本システムは,記号とレジスタオートマトンを組み合わせたオートマトンモデルに基づいている。
我々は、イベントストリーム上のパターンを検出するために、SRTをCERでどのように使用できるかを示す。
論文 参考訳（メタデータ） (2024-07-03T07:59:13Z) - AutoGuide: Automated Generation and Selection of Context-Aware Guidelines for Large Language Model Agents [74.17623527375241]
オフライン体験からコンテキスト認識ガイドラインを自動的に生成する,AutoGuideという新しいフレームワークを導入する。
その結果,本ガイドラインはエージェントの現在の意思決定プロセスに関連性のある知識の提供を促進する。
評価の結果, AutoGuide は複雑なベンチマーク領域において, 競争ベースラインを著しく上回っていることがわかった。
論文 参考訳（メタデータ） (2024-03-13T22:06:03Z) - Towards Responsible Generative AI: A Reference Architecture for Designing Foundation Model based Agents [28.406492378232695]
ファンデーションモデルに基づくエージェントは、ファンデーションモデルの能力から自律性を引き出す。
本稿では,基礎モデルに基づくエージェントの設計におけるガイダンスとして機能するパターン指向参照アーキテクチャを提案する。
論文 参考訳（メタデータ） (2023-11-22T04:21:47Z) - Enhancing Architecture Frameworks by Including Modern Stakeholders and their Views/Viewpoints [48.87872564630711]
データサイエンスと機械学習に関連する関心事、例えばデータサイエンティストやデータエンジニアの利害関係者は、まだ既存のアーキテクチャフレームワークには含まれていない。
10か国25以上の組織から61名の被験者を対象に調査を行った。
論文 参考訳（メタデータ） (2023-08-09T21:54:34Z) - Temporal Answer Set Programming [3.263632801414296]
本稿では,その知識表現と宣言的問題解決への応用の観点から,時間論理プログラミングの概要を述べる。
本研究は,TEL(Temporal Equilibrium Logic)と呼ばれる非単調な形式論の最近の成果に焦点を当てる。
第2部では,ASP.NET に近い時間論理プログラムと呼ばれる構文的断片を定義し,この問題が解決器 TEINGO の構築においてどのように活用されたかを説明する。
論文 参考訳（メタデータ） (2020-09-14T16:13:36Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。