Verification of Requirements: System of Systems Theory, Framework, Formalisms, Validity

Abstract

Building on the success of systems verification, a new approach and method were developed to improve verification of requirements for system of systems. Following the formal logic (mereology) of Leśniewski, an integrative framework was structured on ontology‐based artifacts built from objects and processes within the problem domain. Meta‐structures of systems and system of systems artifacts were extracted to form a model of verification to a system of systems and its constituent systems.

Model‐based analysis and specification of functional requirements and tests for complex automotive systems

“…38,53 As mentioned by Husung et al, 54 different use cases, such as the definition of verification and validation criteria should be supported using systems modeling. Currently only a few approaches, such as the SPES XT modeling framework 55 or the object-process framework by Langford, 56 include uses cases for verification and validation in MBSE modeling. While the SPES XT modeling framework provides a generic input on how to support validation activities in an architecture model, the framework does not support specific artifacts and viewpoints for the continuous support of verification and validation.…”

“…While the SPES XT modeling framework provides a generic input on how to support validation activities in an architecture model, the framework does not support specific artifacts and viewpoints for the continuous support of verification and validation. The object-process framework 56 on the other hand focuses on process-related aspects without providing an ontology to formalize information. Another approach that addresses validation in systems modeling is proposed by Lindeman et al 57 However, this Framework does not specify methods, viewpoints, guidelines and so forth, to build up and use a system model in the understanding of MBSE.…”