Formalizing the Representativeness of Verification Models using Morphisms. Issue 1 (11th April 2023)

• Record Type: Journal Article
• Authors: Wach, Paul; Beling, Peter; Salado, Alejandro
• Is Part Of: Insight. Volume 26:Issue 1(2023)
• Page Start: 27
• Page End: 32
• Publication Date: 2023-04-11
• Subjects: Systems engineering -- Periodicals; Systems engineering; Periodicals; 620.0011
• DOI: 10.1002/inst.12426
• Languages: English
• ISSNs: 2156-485X

Abstract

ABSTRACT: With the increasing complexity that is being introduced to engineered systems, the literature suggests that verification may benefit from theoretical foundations. In practice and in teaching of system engineering (SE), we typically define a verification model (simulation, test article, etc.) under the assumption that the model is a valid representation of the system design. Is this assumption always true? In this article, we explore the use of system theoretic morphisms to mathematically characterize the validity of representativeness between verification models and corresponding system design.