論文の概要: Requirements Analysis of Variability Constraints in a Configurable Flight Software System

• arxiv url: http://arxiv.org/abs/2309.03392v1
• Date: Wed, 6 Sep 2023 22:56:39 GMT
• ステータス: 処理完了
• システム内更新日: 2023-10-23 09:05:44.936406
• Title: Requirements Analysis of Variability Constraints in a Configurable Flight Software System
• Title（参考訳）: 構成可能な飛行ソフトウェアシステムにおける変数制約の要求解析
• Authors: Chin Khor and Robyn Lutz
• Abstract要約: 複数の宇宙ミッションで使用される飛行ソフトウェアフレームワークの変動性に関する要件制約について報告する。 本研究では,フライトソフトウェアフレームワークにおいて,製品ライン機能モデルに似た新しいソフトウェア変数モデルを提案する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Variability constraints are an integral part of the requirements for a configurable system. The constraints specified in the requirements on the legal combinations of options define the space of potential valid configurations for the system-to-be. This paper reports on our experience with the variability-related requirements constraints of a flight software framework used by multiple space missions. A challenge that we saw for practitioners using the current framework, now open-sourced, is that the specifications of its variability-related requirements and constraints are dispersed across several documents, rather than being centralized in the software requirements specification. Such dispersion can contribute to misunderstandings of the side-effects of design choices, increased effort for developers, and bugs during operations. Based on our experience, we propose a new software variability model, similar to a product-line feature model, in the flight software framework. We describe the structured technique by which our model is developed, demonstrate its use, and evaluate it on a key service module of the flight software. Results show that our lightweight modeling technique helped find missing and inconsistent variability-related requirements and constraints. More generally, we suggest that a variability modeling technique such as this can be an efficient way for developers to centralize the specification and improve the analysis of dispersed variability-related requirements and constraints in other configurable systems.
• Abstract（参考訳）: 可変性制約は、構成可能なシステムの要件の不可欠な部分である。 オプションの法的組み合わせに関する要件で指定された制約は、システム・トゥ・ビーの潜在的有効構成の空間を定義する。 本稿では,複数の宇宙ミッションで使用される飛行ソフトウェアフレームワークの変動性に関する要件制約について報告する。 現在のフレームワークをオープンソースにした実践者にとっての課題は、ソフトウェア要件仕様に集中するのではなく、その可変性に関連する要件と制約の仕様が複数のドキュメントに分散していることです。 このような分散は、設計選択の副作用、開発者の努力の増加、運用中のバグの誤解に寄与します。 我々の経験に基づいて,フライトソフトウェアフレームワークにおいて,製品ラインの機能モデルに似た,新しいソフトウェア変数モデルを提案する。 我々は,このモデルを開発した構造化技術を説明し,その利用を実証し,フライトソフトウェアのキーサービスモジュール上で評価する。 その結果、軽量モデリング技術は、欠如と一貫性のない可変性に関する要件と制約を見つけるのに役立ちました。 より一般に、このような可変性モデリング技術は、開発者が仕様を一元化し、他の構成可能なシステムにおける分散可変性に関する要件と制約の分析を改善する効率的な方法であることが示唆される。

関連論文リスト

• LLM-enhanced Reranking in Recommender Systems [49.969932092129305]
  リグレードはレコメンデーションシステムにおいて重要な要素であり、レコメンデーションアルゴリズムの出力を精査する上で重要な役割を果たす。 そこで我々は,様々な格付け基準をシームレスに統合する包括的格付けフレームワークを提案する。 カスタマイズ可能な入力機構も統合されており、言語モデルのフォーカスを特定の再配置のニーズに合わせることができる。
  論文  参考訳（メタデータ） (2024-06-18T09:29:18Z)
• Model Adaptation for Time Constrained Embodied Control [6.876580618014666]
  モジュラーモデル適応を用いた時間制約を考慮した具体化制御フレームワークであるMoDeCを提案する。 モジュールネットワーク上の動的ルーティングとして資源および時間制限の様々な運用条件に対するモデル適応を定式化し、これらの条件をマルチタスクの目的の一部として組み込む。 ロボット操作と自律運転における時間制約の両面において,MoDeCのロバスト性を評価した結果,他のモデル適応手法よりも優れた性能を示した。
  論文  参考訳（メタデータ） (2024-06-17T01:07:30Z)
• Stability prediction of the software requirements specification [0.0]
  本研究は,要求仕様書を改訂する必要があるかどうかを予測するベイズネットワーク要件を提示する。 大規模な複雑なソフトウェアプロジェクトから得られたメトリクスを用いて、Requisitesの検証方法を示す。
  論文  参考訳（メタデータ） (2024-01-23T10:40:29Z)
• Neural Fields with Hard Constraints of Arbitrary Differential Order [61.49418682745144]
  我々は、ニューラルネットワークに厳しい制約を課すための一連のアプローチを開発する。 制約は、ニューラルネットワークとそのデリバティブに適用される線形作用素として指定することができる。 私たちのアプローチは、広範囲の現実世界のアプリケーションで実証されています。
  論文  参考訳（メタデータ） (2023-06-15T08:33:52Z)
• Conjunctive Query Based Constraint Solving For Feature Model Configuration [79.14348940034351]
  本稿では、制約満足度問題を解決するために共役クエリーを適用する方法を示す。 このアプローチは、構成タスクを解決するために、広範囲のデータベース技術の応用を可能にする。
  論文  参考訳（メタデータ） (2023-04-26T10:08:07Z)
• Switchable Representation Learning Framework with Self-compatibility [50.48336074436792]
  自己整合性(SFSC)を考慮した交換可能な表現学習フレームワークを提案する。 SFSCは1つのトレーニングプロセスを通じて、異なる能力を持つ一連の互換性のあるサブモデルを生成する。 SFSCは評価データセット上で最先端のパフォーマンスを達成する。
  論文  参考訳（メタデータ） (2022-06-16T16:46:32Z)
• Slimmable Domain Adaptation [112.19652651687402]
  重み付けモデルバンクを用いて、ドメイン間の一般化を改善するためのシンプルなフレームワーク、Slimmable Domain Adaptationを導入する。 私たちのフレームワークは、他の競合するアプローチを、複数のベンチマークにおいて非常に大きなマージンで上回ります。
  論文  参考訳（メタデータ） (2022-06-14T06:28:04Z)
• CARE: Coherent Actionable Recourse based on Sound Counterfactual Explanations [0.0]
  本稿では,モデルおよびユーザレベルのデシダータに対処するモジュール型説明フレームワークであるCAREを紹介する。 モデルに依存しないアプローチとして、CAREはブラックボックスモデルに対して複数の多様な説明を生成する。
  論文  参考訳（メタデータ） (2021-08-18T15:26:59Z)
• Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications [0.757024681220677]
  仕様言語としてSTREL(Spatio-Temporal Reach and Escape Logic)を使用します。 STREL仕様を用いた制御合成問題のマッピングを行い,勾配法と勾配法の組み合わせによる解法を提案する。 我々はオフライン最適化の結果を用いてニューラルネットワークをトレーニングし、制御が現在の状態を入力する機械学習技術を開発した。
  論文  参考訳（メタデータ） (2021-04-06T18:08:09Z)
• DirectDebug: Automated Testing and Debugging of Feature Models [55.41644538483948]
  変数モデル(例えば、特徴モデル)は、ソフトウェアアーティファクトの変数と共通性を表現する一般的な方法である。 複雑でしばしば大規模な機能モデルは欠陥になりうる、すなわち、ソフトウェアアーチファクトの期待される変動特性を表現しない。
  論文  参考訳（メタデータ） (2021-02-11T11:22:20Z)

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

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