In this complex world, where evolving systems communicate independently to achieve a common goal, the ability for an engineer to develop systems with traceability to requirements, using one integrated architecture model that enables all types of automated analysis (e.g., impact analysis, gap analysis, trade study analysis, and simulation) is becoming more and more vital. Today, the core enabler for automated analysis is the application of model‐based systems engineering practices. Model‐based systems engineering is used to capture system or systems of systems architecture as descriptive and analytical system models, which relate text‐based requirements to the architecture and provide an infrastructure to support trade study analysis. One of the core techniques to perform such analysis is requirements verification. This paper proposes an approach for an automated trade study analysis based on dynamic requirements verification in the model‐based systems engineering environment, with a goal to support trade of analysis both in the system of systems and systems engineering domains.