論文の概要: Demonstrators for Industrial Cyber-Physical System Research: A Requirements Hierarchy Driven by Software-Intensive Design

• arxiv url: http://arxiv.org/abs/2510.18534v1
• Date: Tue, 21 Oct 2025 11:25:19 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-10-25 03:08:13.446697
• Title: Demonstrators for Industrial Cyber-Physical System Research: A Requirements Hierarchy Driven by Software-Intensive Design
• Title（参考訳）: 産業サイバー物理システム研究の実証:ソフトウェア集約設計による階層化の要件
• Authors: Uraz Odyurt, Richard Loendersloot, Tiedo Tinga,
• Abstract要約: 本稿では,実証実験の実現可能性を評価するための実証者要件策定フレームワークを提案する。 本論文の応用範囲は,ソフトウェア集約システムと産業用サイバー物理システムの領域である。
• 参考スコア（独自算出の注目度）: 0.5097809301149341
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: One of the challenges apparent in the organisation of research projects is the uncertainties around the subject of demonstrators. A precise and detailed elicitation of the coverage for project demonstrators is often an afterthought and not sufficiently detailed during proposal writing. This practice leads to continuous confusion and a mismatch between targeted and achievable demonstration of results, hindering progress. The reliance on the TRL scale as a loose descriptor does not help either. We propose a demonstrator requirements elaboration framework aiming to evaluate the feasibility of targeted demonstrations, making realistic adjustments, and assist in describing requirements. In doing so, we define 5 hierarchical levels of demonstration, clearly connected to expectations, e.g., work package interaction, and also connected to the project's industrial use-cases. The considered application scope in this paper is the domain of software-intensive systems and industrial cyber-physical systems. A complete validation is not accessible, as it would require application of our framework at the start of a project and observing the results at the end, taking 4-5 years. Nonetheless, we have applied it to two research projects from our portfolio, one at the early and another at the final stages, revealing its effectiveness.
• Abstract（参考訳）: 研究プロジェクトの組織で明らかな課題の1つは、デモ参加者の主題に関する不確実性である。 プロジェクトデモ参加者のカバレッジの正確かつ詳細な説明は、しばしば後回しであり、提案書の執筆中に十分な詳細は示されていない。 このプラクティスは、継続的な混乱と、目標と達成可能な結果のミスマッチを引き起こし、進捗を妨げます。 ゆるい記述子としてのTRLスケールへの依存も役に立たない。 本稿では,実証実験の実現可能性の評価,現実的な調整,要件記述の支援を目的とした実証的要件策定フレームワークを提案する。 そうすることで、私たちは5つの階層的なデモレベルを定義します。期待と明確に結びついており、例えば、作業パッケージのインタラクションと、プロジェクトの産業ユースケースと結びついています。 本論文の応用範囲は,ソフトウェア集約システムと産業用サイバー物理システムの領域である。 プロジェクトの開始時にフレームワークを適用し、最後に結果を観察し、4～5年を要するため、完全なバリデーションはアクセスできません。 それでも、ポートフォリオからの2つの研究プロジェクトに適用しました。1つは早期、もう1つは最終段階で、その有効性を明らかにしました。

関連論文リスト

• A Taxonomy of Prompt Defects in LLM Systems [13.177777446130712]
  大規模言語モデル(LLM)は現代のソフトウェアの主要なコンポーネントとなっている。 小さなミスは、信頼できない、安全でない、あるいは非効率な振る舞いにカスケードする。 本稿では,早期欠陥の系統調査と分類について紹介する。
  論文  参考訳（メタデータ） (2025-09-17T20:11:22Z)
• Vision Generalist Model: A Survey [87.49797517847132]
  本稿では、ビジョンジェネラリストモデルの概要を概観し、その分野におけるその特性と能力について考察する。 関連ドメインへの簡単な探索を行い、相互接続と潜在的なシナジーに光を当てます。
  論文  参考訳（メタデータ） (2025-06-11T17:23:41Z)
• Evaluating Large Language Models for Real-World Engineering Tasks [75.97299249823972]
  本稿では,実運用指向のエンジニアリングシナリオから得られた100以上の質問をキュレートしたデータベースを提案する。 このデータセットを用いて、4つの最先端の大規模言語モデル(LLM)を評価する。 以上の結果から,LLMは時間的および構造的推論において強みを示すが,抽象的推論や形式的モデリング,文脈に敏感な工学的論理にはかなり苦労することがわかった。
  論文  参考訳（メタデータ） (2025-05-12T14:05:23Z)
• UOOR: Seamless and Traceable Requirements [28.579389358111115]
  提案手法は,UOORと呼ばれる要求工学手法である。 このメソッドは多くの既知の要件概念を統一し、プロジェクトライフサイクル全体を通してシームレスな変更に対応およびサポートするために完全に設計されたフレームワークに新しいものをいくつか追加します。 UOORアプローチは単なる理論的な提案ではなく、実用のために設計され、重要な実世界のケーススタディであるRoboraceに応用されている。
  論文  参考訳（メタデータ） (2025-02-25T20:03:01Z)
• Hierarchical Invariance for Robust and Interpretable Vision Tasks at Larger Scales [54.78115855552886]
  本稿では、畳み込みニューラルネットワーク(CNN)のような階層型アーキテクチャを用いて、オーバーコンプリート不変量を構築する方法を示す。 オーバーコンプリート性により、そのタスクはニューラルアーキテクチャサーチ(NAS)のような方法で適応的に形成される。 大規模で頑健で解釈可能な視覚タスクの場合、階層的不変表現は伝統的なCNNや不変量に対する効果的な代替物とみなすことができる。
  論文  参考訳（メタデータ） (2024-02-23T16:50:07Z)
• Selene: Pioneering Automated Proof in Software Verification [62.09555413263788]
  実世界の産業レベルのマイクロカーネルであるseL4をベースとした,最初のプロジェクトレベルの自動証明ベンチマークであるSeleneを紹介する。 GPT-3.5-turbo や GPT-4 のような先進的な大規模言語モデル (LLM) による実験結果から, 自動証明生成領域における LLM の機能を強調した。
  論文  参考訳（メタデータ） (2024-01-15T13:08:38Z)
• Requirements' Characteristics: How do they Impact on Project Budget in a Systems Engineering Context? [3.2872885101161318]
  自然言語要求(NLR)の品質の制御と保証は困難である。 スウェーデン交通庁 (STA) と共同で, 要件の特性が変更要求や予算変更に与える影響について検討した。
  論文  参考訳（メタデータ） (2023-10-02T17:53:54Z)

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

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