論文の概要: Defining and executing temporal constraints for evaluating engineering
artifact compliance
- arxiv url: http://arxiv.org/abs/2312.13012v1
- Date: Wed, 20 Dec 2023 13:26:31 GMT
- ステータス: 処理完了
- システム内更新日: 2023-12-21 15:43:45.714277
- Title: Defining and executing temporal constraints for evaluating engineering
artifact compliance
- Title(参考訳): エンジニアリングアーティファクトコンプライアンス評価のための時間制約の定義と実行
- Authors: Cosmina-Cristina Ratiu, Christoph Mayr-Dorn, Alexander Egyed
- Abstract要約: プロセスコンプライアンスは、実際のエンジニアリング作業が記述されたエンジニアリングプロセスに可能な限り密接に従うことを保証することに焦点を当てます。
これらのプロセスの制約をチェックすることは、依然として大変な作業であり、多くの手作業を必要とし、プロセスの後半にエンジニアにフィードバックを提供する。
関連するエンジニアリングアーティファクト間の時間的制約を,アーティファクトの変更毎に段階的にチェックする,自動制約チェックアプローチを提案する。
- 参考スコア(独自算出の注目度): 56.08728135126139
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: Engineering processes for safety-critical systems describe the steps and
sequence that guide engineers from refining user requirements into executable
code, as well as producing the artifacts, traces, and evidence that the
resulting system is of high quality. Process compliance focuses on ensuring
that the actual engineering work is followed as closely as possible to the
described engineering processes. To this end, temporal constraints describe the
ideal sequence of steps. Checking these process constraints, however, is still
a daunting task that requires a lot of manual work and delivers feedback to
engineers only late in the process. In this paper, we present an automated
constraint checking approach that can incrementally check temporal constraints
across inter-related engineering artifacts upon every artifact change thereby
enabling timely feedback to engineers on process deviations. Temporal
constraints are expressed in the Object Constraint Language (OCL) extended with
operators from Linear Temporal Logic (LTL). We demonstrate the ability of our
approach to support a wide range of higher level temporal patterns. We further
show that for constraints in an industry-derived use case, the average
evaluation time for a single constraint takes around 0.2 milliseconds.
- Abstract(参考訳): 安全クリティカルなシステムのエンジニアリングプロセスは、エンジニアがユーザ要求を実行可能なコードに書き換えるのをガイドするステップとシーケンスを記述し、成果物、トレース、そして結果のシステムが高品質であることの証拠を生成する。
プロセスコンプライアンスは、実際のエンジニアリング作業が記述されたエンジニアリングプロセスに可能な限り密接に従うことを保証することに焦点を当てます。
この目的のために、時間制約はステップの理想的なシーケンスを記述する。
しかし、これらのプロセスの制約をチェックすることは、まだ大変な作業であり、多くの手動作業が必要であり、プロセス後半にエンジニアにフィードバックを提供する。
本稿では,各アーティファクトの変更毎に,関連するエンジニアリングアーティファクト間の時間的制約を段階的にチェックする自動制約チェック手法を提案する。
時間制約は、線形時間論理(LTL)の演算子で拡張されたオブジェクト制約言語(OCL)で表現される。
我々は,我々のアプローチが幅広い高レベルな時間パターンをサポートする能力を示す。
さらに、業界由来のユースケースにおける制約について、単一制約の平均評価時間は0.2ミリ秒程度であることを示す。
関連論文リスト
- From Instructions to Constraints: Language Model Alignment with
Automatic Constraint Verification [70.08146540745877]
NLPタスクの共通制約を調査し、それらの引数の型に基づいて、それらを3つのクラスに分類する。
本稿では,ACT(ConsTraintsのアラインメント)という統合フレームワークを提案し,制約に適応したユーザアライメントのための監視信号を自動的に生成する。
論文 参考訳(メタデータ) (2024-03-10T22:14:54Z) - Constant-time Motion Planning with Anytime Refinement for Manipulation [19.717413012382714]
本研究では,CTMP(Constant-time Motion Planners)アルゴリズムと組み合わせたリアルタイム改良手法を提案する。
提案するフレームワークは,定数時間アルゴリズムとして動作するため,ユーザ定義時間しきい値内の初期解を高速に生成する。
任意の時間アルゴリズムとして機能し、割り当てられた時間予算内で、ソリューションの品質を反復的に改善します。
論文 参考訳(メタデータ) (2023-11-01T20:40:10Z) - Reinforcement Learning Under Probabilistic Spatio-Temporal Constraints
with Time Windows [0.0]
本稿では,時間窓との複雑な時間的制約下での強化学習(RL)のための自動理論的アプローチを提案する。
制約満足度の結果の確率に関する理論的保証を提供する。
また,ロボットが環境を探索して高次領域を探索するシナリオにおいて,数値的な結果も提供する。
論文 参考訳(メタデータ) (2023-07-29T06:47:14Z) - Understanding the Challenges of Deploying Live-Traceability Solutions [45.235173351109374]
SAFA.aiは、ほぼリアルタイムな環境で自動トレーサビリティを提供する、プロジェクト固有モデルを微調整するスタートアップである。
本稿では,ソフトウェアトレーサビリティを商業化する上での課題について述べる。
論文 参考訳(メタデータ) (2023-06-19T14:34:16Z) - Diagnostic Spatio-temporal Transformer with Faithful Encoding [54.02712048973161]
本稿では,データ生成プロセスが複合時間(ST)依存性を持つ場合の異常診断の課題について述べる。
我々は、ST依存を時系列分類の副産物として学習する、教師付き依存発見として問題を定式化する。
既存のST変圧器で使用される時間的位置符号化は、高周波数(短時間スケール)の周波数をキャプチャする重大な制限を有することを示す。
また、空間的および時間的方向の両方で容易に消費可能な診断情報を提供する新しいST依存性発見フレームワークを提案する。
論文 参考訳(メタデータ) (2023-05-26T05:31:23Z) - Computing unsatisfiable cores for LTLf specifications [3.251765107970636]
有限トレース上の線形時間時間時間論理(LTLf)は、多くのアプリケーション領域で仕様を作成するためのデファクト標準になりつつある。
満足度チェックのための最先端手法を用いて、不満足なコアを抽出する4つのアルゴリズムを提案する。
結果は、異なるアルゴリズムやツールの実現可能性、有効性、相補性を示している。
論文 参考訳(メタデータ) (2022-03-09T16:08:43Z) - Inverse Reinforcement Learning of Autonomous Behaviors Encoded as
Weighted Finite Automata [18.972270182221262]
本稿では,論理タスク仕様とコスト関数を実演から学習する手法を提案する。
本稿では,タスクの未知論理構造を近似した重み付き有限オートマトン(WFA)の抽出にスペクトル学習手法を用いる。
高レベルタスクガイダンスのためのWFAと低レベル制御のためのラベル付きマルコフ決定プロセス(L-MDP)との間にある製品を定義し、実証者の行動にマッチするコスト関数を最適化する。
論文 参考訳(メタデータ) (2021-03-10T06:42:10Z) - Multi-Agent Reinforcement Learning with Temporal Logic Specifications [65.79056365594654]
本研究では,時間論理仕様を満たすための学習課題を,未知の環境下でエージェントのグループで検討する。
我々は、時間論理仕様のための最初のマルチエージェント強化学習手法を開発した。
主アルゴリズムの正確性と収束性を保証する。
論文 参考訳(メタデータ) (2021-02-01T01:13:03Z) - Certified Reinforcement Learning with Logic Guidance [78.2286146954051]
線形時間論理(LTL)を用いて未知の連続状態/動作マルコフ決定過程(MDP)のゴールを定式化できるモデルフリーなRLアルゴリズムを提案する。
このアルゴリズムは、トレースが仕様を最大確率で満たす制御ポリシーを合成することが保証される。
論文 参考訳(メタデータ) (2019-02-02T20:09:32Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。