Initial Systems Theoretic Metamodel of Verification Artifacts
Initial Systems Theoretic Metamodel of Verification Artifacts
复制标题
验证工件的初始系统理论元模型
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
A. Salado
中科院分区：
文献类型：
--
作者：
Paul Wach;Peter A. Beling;A. Salado
在过去的十年中，随着向基于模型和数字范式的转变，对系统工程（SE）理论基础的需求有所增加。这种转换有望促进改进的验证。事实上，文献表明，现代工程系统复杂性的增加正在挑战传统验证方法的可行性，并需要新的方法来应对这种变化。此外，对SE文献的回顾表明，对验证研究的关注有限。我们的研究利用系统理论来描述验证工件之间的关系。具体地说，我们使用系统理论态射来描述系统需求和验证需求之间以及系统设计和验证模型之间的等效保持。尽管在本文中提供的初始形式中，我们的验证工件元模型被期望为SE的理论基础做出贡献。
The last decade has seen an increase in calls for theoretical foundations of systems engineering (SE) along with a transformation to a model‐based and digital paradigm. This transformation is expected to facilitate improved verification. In fact, the literature suggests that the increased complexity of modern engineered systems is challenging the feasibility of traditional verification methods and requires new methods to cope with the change. Furthermore, a review of the SE literature suggests limited focus on verification research. Our research leverages systems theory to characterize the relationships between the verification artifacts. Specifically, we use systems theoretic morphisms to characterize the equivalence preservation between system requirements and verification requirements as well as between a system design and verification models. Although in initial form as provided in this article, our metamodel of verification artifacts is expected to contribute to the theoretical foundations of SE.