User`s guide

Link to Requirements Modeled in Simulink
2-45
Verification Subsystems for Power Window Controller Model
Open the verification model, 'Power Window Controller Temporal Property
Specification'. This model specifies properties and requirements of the
slvnvdemo_powerwindowController model.
Consider the following design requirements for the controller:
1
Requirement 1 (Obstacle Response) - Whenever an obstacle is detected, the
controller shall give the down command for one second. This requirement is modeled
in Verification Subsystem2.