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.
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.
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
.