Review Requirements Implementation Status

Simulink^® Requirements™ provides you with implementation status summaries for your requirement sets. You can use these status summaries to identify requirement implementation gaps in your design.

Implement Functional Requirements by Linking to Model Elements

The requirement type specifies the role that a requirement has. Functional requirements are meant to be implemented and contribute to the implementation status. When you select a requirement in the Requirements Editor, the requirement type is displayed in the Details pane, under Properties. When you add a requirement, its Type is set to Functional by default. If a requirement is not meant to be implemented, you can change the requirement type. To read more about requirement types, see Requirement Types.

To implement a functional requirement, you can link it with a Simulink, Stateflow^®, or System Composer™ model element. Requirements that have an incoming link with Type set to Implements, or set to a custom link type that is defined as a subtype of Implements, are considered implemented by the implementation status. To read more about custom link types, see Define Custom Requirement and Link Types.

The implementation status for a requirement set is cumulatively aggregated over the requirements in the set. Each child requirement must be implemented for the parent requirement to be considered implemented. If you need to manually implement a requirement, you can link it to a justification object for implementation. The implementation status considers this requirement's lack of implementation to be justified. To read more about justifying requirements, see Justify Requirements.

Note

The implementation status will consider any requirement to be implemented if it has an incoming link with Type set to Implements, regardless of the link source item (unless the link source is a justification, in which case it will be considered justified). To read about how to change an existing link type, see Link Types.

When you link a requirement to a Simulink, Stateflow, or System Composer model element, the link Type is set to Implements by default. When you select a requirement in the Requirements Editor, associated links and the link type are displayed in the Details pane, under Links.

Tip

If a requirement can be implemented by multiple items and you want to get the detailed status of the implementation of each item, you can split a requirement into smaller requirements and implement each requirement separately.

View the Implementation Status

You can view the implementation status for your requirement sets from both the Requirements Editor and the Requirements Browser in the Requirements Perspective View. To toggle the status display in the Requirements Editor, select Columns > Implementation Status. In the Requirements Editor or the Requirements Browser, point to the Implemented column for each requirement or requirement set to view the implementation status associated with it.

The fullness of the bar indicates how many requirements in a group (including the parent requirement and child requirements) are linked to implementation items. The color indicates the level of implementation:

Implemented (blue): The requirement is linked to an item with link Type set to Implements.
Justified (light blue): The requirement is linked to a justification with link Type set to Implements. For more information, see Justify Requirements.
None (colorless): The requirement does not have a link with Type set to Implements.