Fugu-MT 論文翻訳(概要): Timed I/O Automata: It is never too late to complete your timed specification theory

論文の概要: Timed I/O Automata: It is never too late to complete your timed specification theory

arxiv url: http://arxiv.org/abs/2302.04529v2
Date: Thu, 13 Jul 2023 07:50:12 GMT
ステータス: 処理完了
システム内更新日: 2023-10-24 13:28:53.065575
Title: Timed I/O Automata: It is never too late to complete your timed specification theory
Title（参考訳）: Timed I/O Automata: タイムド仕様理論を完成させるのは遅すぎません。
Authors: Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski
Abstract要約: 我々は、Timed I/O Automata を仕様形式として、リアルタイムシステムのための完全な仕様フレームワークを開発する。我々は、洗練、整合性チェック、論理的および構造的構成、および仕様の商性のための構造を提供する。
参考スコア（独自算出の注目度）: 3.2441713533645617
License: http://creativecommons.org/licenses/by/4.0/
Abstract: A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design. We develop a complete specification framework for real-time systems using Timed I/O Automata as the specification formalism, with the semantics expressed in terms of Timed I/O Transition Systems. We provide constructs for refinement, consistency checking, logical and structural composition, and quotient of specifications -- all indispensable ingredients of a compositional design methodology. The theory is backed by rigorous proofs and is being implemented in the open-source tool ECDAR.
Abstract（参考訳）: 仕様理論は、仕様と実装の概念を満足度関係、精細度関係、ステップワイズ設計をサポートする演算子の集合と結合する。我々は,timed i/o automataを仕様形式として用いたリアルタイムシステムのための完全な仕様フレームワークを開発し,その意味をtimed i/oトランジッションシステムで表現した。私たちは、洗練、一貫性チェック、論理的および構造的構成、および仕様の引用のための構成要素を提供しています。この理論は厳密な証明によって裏付けられており、オープンソースのツール ECDAR で実装されている。

関連論文リスト

What makes Models Compositional? A Theoretical View: With Supplement [60.284698521569936]
本稿では,構成関数の一般神経-記号的定義とその構成複雑性について述べる。既存の汎用および特殊目的のシーケンス処理モデルがこの定義にどのように適合しているかを示し、それらを用いて構成複雑性を分析する。
論文参考訳（メタデータ） (2024-05-02T20:10:27Z)
Automated Configuration Synthesis for Machine Learning Models: A git-Based Requirement and Architecture Management System [5.095988654970361]
この作業では、ソフトウェアコードとともにgitリポジトリ(T-Reqs)にアーティファクトとして格納されたテキスト要求からランタイム設定を自動的に生成するツールを導入している。このツールは、T-Reqsでモデル化されたアーキテクチャ記述を利用して、人工知能(AI)対応ソフトウェアシステムのデプロイに必要な構成特性を特定する。
論文参考訳（メタデータ） (2024-04-26T08:35:02Z)
Defining and executing temporal constraints for evaluating engineering artifact compliance [56.08728135126139]
プロセスコンプライアンスは、実際のエンジニアリング作業が記述されたエンジニアリングプロセスに可能な限り密接に従うことを保証することに焦点を当てます。これらのプロセスの制約をチェックすることは、依然として大変な作業であり、多くの手作業を必要とし、プロセスの後半にエンジニアにフィードバックを提供する。関連するエンジニアリングアーティファクト間の時間的制約を,アーティファクトの変更毎に段階的にチェックする,自動制約チェックアプローチを提案する。
論文参考訳（メタデータ） (2023-12-20T13:26:31Z)
Extending Rely-Guarantee thinking to handle Real-Time Scheduling [1.5527108310849955]
リアルタイムシステムには、進捗を必要とする方法と、その進捗を時間の概念に関連付ける方法の両方が必要です。本稿では,リアルタイムスケジューラの仕様と仮定に対処するために,信頼度保証の考え方を拡張した。
論文参考訳（メタデータ） (2023-11-30T20:04:30Z)
Spreadsheet-based Configuration of Families of Real-Time Specifications [0.0]
この作業は、分析される形式モデルと、検査される要件の変動を利用して、リアルタイム仕様のバリエーションのモデルチェックを容易にする。形式仕様のバリエーションの設定は、特定の構造を持つMS Excelスプレッドシートで記述されており、開発者が簡単に使用することができる。本稿では,スプレッドシートベースのインタフェースとモデルチェッカーのシンプルさを保ちながら,機能の組み合わせを解析的に活用して,これまでの作業の拡張を提案する。
論文参考訳（メタデータ） (2023-10-31T12:16:56Z)
A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis [54.959571890098786]
システム仕様を符号化し、対応する証明書を定義するためのフレームワークを提供する。コントローラと証明書を形式的に合成する自動化手法を提案する。我々のアプローチは、ニューラルネットワークの柔軟性を利用して、制御のための安全な学習の幅広い分野に寄与する。
論文参考訳（メタデータ） (2023-09-12T09:37:26Z)
Universal Information Extraction as Unified Semantic Matching [54.19974454019611]
情報抽出を,異なるタスクやスキーマで共有される構造化と概念化という,2つの能力に分割する。このパラダイムに基づいて、統一意味マッチングフレームワークを用いて様々なIEタスクを普遍的にモデル化することを提案する。このように、USMはスキーマと入力テキストを共同でエンコードし、サブ構造を一様に並列に抽出し、必要に応じてターゲット構造を制御できる。
論文参考訳（メタデータ） (2023-01-09T11:51:31Z)
Design Space Exploration and Explanation via Conditional Variational Autoencoders in Meta-model-based Conceptual Design of Pedestrian Bridges [52.77024349608834]
本稿では,条件付き変分オートエンコーダ(CVAE)による人間設計者向上のための性能駆動型設計探索フレームワークを提案する。 CVAEはスイスの歩行者橋の合成例18万件で訓練されている。
論文参考訳（メタデータ） (2022-11-29T17:28:31Z)
Natural Language Processing for Systems Engineering: Automatic Generation of Systems Modelling Language Diagrams [0.10312968200748115]
構造化されていない自然言語テキストからシステム図の自動生成を支援する手法が提案されている。目的は、より標準化され、包括的で自動化されたスタートポイントをユーザに提供することです。
論文参考訳（メタデータ） (2022-08-09T19:20:33Z)
ProQA: Structural Prompt-based Pre-training for Unified Question Answering [84.59636806421204]
ProQAは統一されたQAパラダイムであり、単一のモデルによって様々なタスクを解決する。全てのQAタスクの知識一般化を同時にモデル化し、特定のQAタスクの知識カスタマイズを維持します。 ProQAは、フルデータの微調整、数ショットの学習、ゼロショットテストシナリオの両方のパフォーマンスを一貫して向上させる。
論文参考訳（メタデータ） (2022-05-09T04:59:26Z)

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