Requirements Rationalization and Synthesis enabled by Model Synchronization

TL;DR

This paper introduces mathematical frameworks for systematically rationalizing and synthesizing stakeholder needs in model-based systems engineering, improving requirement agreement and change impact analysis.

Contribution

It presents novel mathematical methods for requirements rationalization and synthesis, addressing inconsistencies and disagreements in stakeholder needs.

Findings

Supports rigorous identification of requirement conflicts

Facilitates systematic change impact analysis

Enhances stakeholder agreement with minimal engineer intervention

Abstract

In the international standard for system and software engineering ISO/IEC/IEEE 15288: 2015, the output of the stakeholder needs and the business or mission analysis technical processes are transformed into a technical view of the system by the system requirements definition process. In model-based systems engineering, functional needs can be modeled by use case diagrams. Intended outcomes of system requirements definition include resolution of disagreement about requirements, explicit agreement between stakeholders, and traceability. However, stakeholder needs are often elicited in a siloed manner and may be inconsistent. The lack of mathematically based systematic approaches for requirements definition poses a challenge to model-based transformation of needs into a technical view of the system that achieves agreement between stakeholders. This paper specifies and demonstrates mathematical frameworks for rationalizing and synthesizing functional needs that have been captured through an elicitation process. Benefits of this approach include but are not limited to supporting rigorous identification and resolution of disagreements and facilitating systematic analysis of change impact to achieve stakeholder agreement all with minimal intervention by the system engineers.