Formalizing the Representativeness of Verification Models using Morphisms. Issue 1 (26th September 2022)

• Record Type: Journal Article
• Authors: Wach, Paul; Beling, Peter; Salado, Alejandro
• Is Part Of: INCOSE International Symposium. Volume 32:Issue 1(2022)
• Page Start: 1175
• Page End: 1187
• Publication Date: 2022-09-26
• Subjects: Systems engineering -- Congresses; Systems engineering -- Periodicals; 620.0011
• DOI: 10.1002/iis2.12989
• Languages: English
• ISSNs: 2334-5837

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.