論文の概要: A System-of-Systems Case Study for the Verification of Composed Digital Twins
- arxiv url: http://arxiv.org/abs/2608.28498v1
- Date: Fri, 28 Aug 2026 16:29:10 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-31 17:16:04.408164
- Title: A System-of-Systems Case Study for the Verification of Composed Digital Twins
- Title（参考訳）: 複合型ディジタル双生児の検証のためのシステムケーススタディ
- Abstract要約: 本研究の目的は,システム・オブ・システムにおいてDT検証と検証のためのフレームワークが対処すべき課題を特定することである。
VDM-RTでモデル化したDT対応温室効果ガスを用いたケーススタディを提案する。
DTの品質が検証可能なプロパティの集合としてどのように運用されるかを検討する。
- 参考スコア（独自算出の注目度）: 4.424567144395299
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Current approaches to engineering dependable Digital Twins (DTs) of Cyber-Physical Systems lack practical guidance on how qualities such as relevance, verifiability, substitutability and fidelity may be formalised and verified. This need is amplified in Systems-of-Systems (SoS), where reliance is placed on the composition of DTs. The goal of this study is to identify foundational challenges that a framework for DT validation and verification should address in an SoS setting, and to investigate the formalisation of individual DT artefacts as a step towards compositional reasoning. We present a case study based on a DT-enabled greenhouse SoS modelled in VDM-RT (Vienna Development Method, Real-Time), including executable formal models, a property-based account of DT qualities, and an analysis of the obstacles arising when attempting to compose these artefacts at the SoS level. We consider how DT qualities may be operationalised as sets of verifiable properties. Formal modelling and analysis techniques and tools supporting their verification are identified. The study reveals how interpretations of DT qualities must adapt to different architectural roles and how local quality guarantees form assumptions for compositional reasoning. Full formalisation and verification of SoS composition is identified as future work.
- Abstract（参考訳）: サイバー物理システムの信頼性の高いディジタルツイン(DT)への現在のアプローチは、妥当性、妥当性、置換性、忠実性などの品質を形式化し検証する方法に関する実践的なガイダンスを欠いている。
このニーズはシステム・オブ・システム(SoS)において増幅され、DTの構成に依存する。
本研究の目的は, DT検証と検証のためのフレームワークがSoS設定で対応すべき基礎的課題を特定し, 構成的推論へのステップとして個々のDT成果物の形式化を検討することである。
本稿では,VDM-RT(Vienna Development Method, Real-Time)をモデルとしたDT対応温室効果ガス(SOS)のケーススタディとして,実行可能な形式モデル,DT品質のプロパティベースの説明,およびこれらアーティファクトをSoSレベルで構成しようとする際の障害の解析を行った。
DTの品質が検証可能なプロパティの集合としてどのように運用されるかを検討する。
形式的モデリングと解析技術とそれらの検証を支援するツールが同定される。
この研究は、DT品質の解釈が異なるアーキテクチャの役割にどのように適応する必要があるか、そして、どのように局所品質が構成的推論の仮定を形成するかを明らかにする。
SoS組成の完全形式化と検証は今後の研究として確認される。
関連論文リスト
- Position: Anthropomorphic Misalignment Research Needs Stronger Evidence [52.76826423649968]
概念的曖昧さ,非ロバストデータセット,実験設計,不十分な因果的介入が,モデル行動の過度な解釈につながることを示す。
本研究の目的は,AMRの方法論的厳密性向上に寄与する明らかな考察のガイダンスを提供することである。
論文 参考訳（メタデータ） (2026-05-29T16:38:53Z) - Understanding Catastrophic Interference: On the Identifibility of Latent Representations [67.05452287233122]
破滅的な干渉、あるいは破滅的な忘れ(Caastrophic forgetting)は、機械学習の根本的な課題である。
本稿では,破滅的干渉を識別問題として定式化する新しい理論枠組みを提案する。
我々のアプローチは、合成データセットとベンチマークデータセットの両方で理論的保証と実用的なパフォーマンスの改善を提供する。
論文 参考訳（メタデータ） (2025-09-27T00:53:32Z) - The Composition of Digital Twins for Systems-of-Systems: a Systematic Literature Review [0.0]
本稿では,DT合成と検証・検証(V&V)手法について検討する。
V&Vのアプローチは、半形式的手法やシミュレーションが支配的であり、形式的検証は未利用である。
統合とサイバー物理の整合性に対処するためには、モデル検証を超えて進む必要がある。
論文 参考訳（メタデータ） (2025-06-25T13:45:16Z) - TwinArch: A Digital Twin Reference Architecture [83.71071897785683]
デジタルツイン(Digital Twins, DT)は物理系の動的仮想表現であり、物理的およびデジタル領域間のシームレスな双方向通信によって実現される。
提案されているDigital Twin Reference ArchitectureはTwinArchという名前だ。ソフトウェア工学研究所のViews and Beyond方法論を使って文書化されている。
論文 参考訳（メタデータ） (2025-04-10T07:53:11Z) - Identifiable Exchangeable Mechanisms for Causal Structure and Representation Learning [54.69189620971405]
IEM(Identible Exchangeable Mechanisms)と呼ばれる,表現と構造学習のための統合フレームワークを提供する。
IEMは、交換可能な非i.d.データにおける因果構造同定に必要な条件を緩和する新しい洞察を提供する。
また、認識可能な表現学習における双対性条件の存在を実証し、新たな識別可能性結果をもたらす。
論文 参考訳（メタデータ） (2024-06-20T13:30:25Z) - Constructing and Evaluating Digital Twins: An Intelligent Framework for DT Development [11.40908718824589]
デジタルツインズ(DT)の開発は、制御されたデジタル空間における複雑なシステムをシミュレートし最適化するための変革的な進歩を表している。
本稿では,アルゴリズム性能試験におけるDTの精度と有用性を高めるために,DTの構築と評価のためのインテリジェントなフレームワークを提案する。
本稿では,Deep Learning-based policy gradient techniqueを統合してDTパラメータを動的に調整し,物理システムのデジタル複製における高い忠実性を確保する手法を提案する。
論文 参考訳（メタデータ） (2024-06-19T01:45:18Z) - Towards an Extensible Model-Based Digital Twin Framework for Space Launch Vehicles [12.153961316909852]
Digital Twin(DT)の概念は、ドメイン間の異なる抽象化レベルにあるシステムにますます適用されています。
DTの定義は明確ではなく、DTの能力を完全に実現するための明確な経路も存在しない。
本稿では,モデルに基づくDT開発手法を提案するDT成熟度行列を提案する。
論文 参考訳（メタデータ） (2024-06-04T11:31:00Z) - Demystifying Digital Twin Buzzword: A Novel Generic Evaluation Model [0.0]
デジタルツイン(DT)開発の人気が高まっているにもかかわらず、DTの重要な概念に対する共通理解と定義が欠如している。
本稿では,デジタル双生児の成熟度を評価するための4次元評価フレームワークを提案する。
論文 参考訳（メタデータ） (2023-11-21T19:56:26Z) - SMT-Based Safety Verification of Data-Aware Processes under Ontologies
(Extended Version) [71.12474112166767]
我々は、このスペクトルで最も調査されたモデルの1つ、すなわち単純なアーティファクトシステム(SAS)の変種を紹介する。
このDLは適切なモデル理論特性を享受し、後方到達性を適用可能なSASを定義することができ、対応する安全問題のPSPACEにおける決定可能性をもたらす。
論文 参考訳（メタデータ） (2021-08-27T15:04:11Z) - NADS: Neural Architecture Distribution Search for Uncertainty Awareness [79.18710225716791]
機械学習(ML)システムは、トレーニングデータとは異なるディストリビューションから来るテストデータを扱う場合、しばしばOoD(Out-of-Distribution)エラーに遭遇する。
既存のOoD検出アプローチはエラーを起こしやすく、時にはOoDサンプルに高い確率を割り当てることもある。
本稿では,すべての不確実性を考慮したアーキテクチャの共通構築ブロックを特定するために,ニューラルアーキテクチャ分布探索(NADS)を提案する。
論文 参考訳（メタデータ） (2020-06-11T17:39:07Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。