論文の概要: Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables

• arxiv url: http://arxiv.org/abs/2606.03870v1
• Date: Tue, 02 Jun 2026 16:41:20 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-03 22:00:05.168353
• Title: Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
• Title（参考訳）: シミュリンク要求表におけるサイバー物理システム要件の自動修復
• Authors: Aren A. Babikian, Alessio Di Sandro, Federico Formica, Claudio Menghi, Marsha Chechik,
• Abstract要約: 本稿では,システム実行データを利用したCPS要求の誤りを修復するフレームワークを提案する。 提案手法は,時間に基づく信号よりも宣言的要求の正しさを評価する。
• 参考スコア（独自算出の注目度）: 4.96490301429358
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The development of complex software systems, e.g., cyber-physical systems (CPSs), involves continuous evolution of both system implementations and their requirements. These two artifacts often proceed independently, creating a risk of misalignment. For example, a system may be updated due to implementation-level concerns, yielding a new version that no longer satisfies its original requirements. Traditional compliance recovery techniques, e.g., automated program repair, address this problem by modifying the system while assuming that requirements are correct. However, faulty, outdated or inadequate requirements are a well-documented challenge in practice, motivating the complementary task of requirement repair. In this paper, we propose a framework that leverages system execution data to repair misaligned CPS requirements, thereby restoring requirement-to-system compliance. Our approach evaluates the correctness of declarative requirements over time-based, real-valued signals expressed using the MATLAB Simulink Requirements Tables language. We evaluate seven variants of our framework on six real-world case studies covering 12 requirements. Results confirm the effectiveness of the proposed framework in producing correct and useful repaired requirements.
• Abstract（参考訳）: 複雑なソフトウェアシステム、例えばサイバー物理システム(CPS)の開発には、システム実装とその要件の継続的な進化が含まれる。 これら2つのアーティファクトは独立して進行し、誤った調整のリスクが生じる。 例えば、システムは実装レベルの懸念のために更新され、元の要件を満たさない新しいバージョンが得られます。 従来のコンプライアンス回復技術(例えば、自動プログラム修復)は、要件が正しいと仮定しながらシステムを変更することでこの問題に対処する。 しかし、欠陥、時代遅れ、あるいは不十分な要件は、実際に十分に文書化された課題であり、要求修復の補完的なタスクを動機付けている。 本稿では,システム実行データを利用してCPS要求の整合性を回復するフレームワークを提案する。 提案手法は,MATLAB Simulink Requirements Tables言語を用いて,時間に基づく実数値信号に対する宣言的要求の正しさを評価する。 12の要件をカバーする6つの実世界のケーススタディに対して,本フレームワークの7つの変種を評価した。 提案手法の有効性を検証した。

関連論文リスト

• Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects [0.0]
  VERIFAI1は、このギャップを埋めるための自動化および半自動化アプローチを調査することを目的としている。 本論文では, 課題の繰り返しと今後の研究方向性を明らかにするために, 関連文献の予備的な合成について述べる。
  論文  参考訳（メタデータ） (2025-07-18T19:15:50Z)
• Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs [79.74676890436174]
  本稿では,障害の局所化と修復のためのオラクルとして形式仕様を用いたDafny用のAPRツールを提案する。 プログラム内の各ステートメントの状態を決定するために、Hoareロジックの使用を含む一連のステップを通じて、障害をローカライズします。 また, GPT-4o miniが74.18%と高い修理成功率を示した。
  論文  参考訳（メタデータ） (2025-07-04T15:36:12Z)
• LLM4Rerank: LLM-based Auto-Reranking Framework for Recommendations [51.76373105981212]
  リグレードはレコメンデーションシステムにおいて重要な要素であり、レコメンデーションアルゴリズムの出力を精査する上で重要な役割を果たす。 そこで我々は,様々な格付け基準をシームレスに統合する包括的格付けフレームワークを提案する。 カスタマイズ可能な入力機構も統合されており、言語モデルのフォーカスを特定の再配置のニーズに合わせることができる。
  論文  参考訳（メタデータ） (2024-06-18T09:29:18Z)
• Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation [9.08778846268903]
  サイバー物理システム(CPS)は、悪質な操作条件、悪意のある攻撃、ハードウェアの劣化などの環境不確実性にさらされている。 CPSは,(1)優雅な劣化,(2)予期せぬ環境条件下での安全性の維持,(2)正常なシステム機能の再開を促進するための回復,の2つの操作に頼っている。 本稿では,自動トリガーによる自己適応型システムレジリエンス向上手法を提案する。
  論文  参考訳（メタデータ） (2024-01-18T02:04:37Z)

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

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