Standard Verification using Model Based Systems Engineering

Abstract

AbstractSystems engineering has embraced MBSE and other digital engineering techniques that have been in use in software engineering for decades. One area that MBSE lacks is automation of verification and validation of requirements for standards. System models require rework to model standards and in the case of reuse, extensive verification to ensure they have been implemented properly. SysML can utilize architectural constraints for system models in a similar way to how software engineers use architectural constraints in software architectures. Architectural constraints can be used to verify conformance with architectural decisions and standard implementation. This tool can be applied to automated standard compliance verification using query functions for analysis or validation suites for fast verification of architectural constraints. This technique has been applied to larger Reference architectures with success in finding errors architecture design as well.