This example shows how to edit requirements, link requirements to their implementation in a model, and verify their functionality in the context of a UAV application. The components of the model and requirements include guidance and control of a UAV implemented by the UAV Package Delivery example.
The UAV Package Delivery example shows how to simulate a small multicopter scenario that takes off, flies, and lands at a different location in a city environment. The example uses incremental design iterations to build up the simulation complexity. In this example, representative test requirements are linked to sections of the UAV Package Delivery model and validated through a test suite.
To get started, open the example live script and access the supporting files by either clicking Open Live Script in the documentation or using the
Simulink Requirements™ lets you author, analyze, and manage requirements within Simulink™. This example contains twenty functional requirements defined for the Guidance and Control of a UAV flight controller. Open the provided Simulink project and the requirement set. Alternatively, you can also open the file from the Requirements tab of the Requirements Manager app in Simulink
prj = openProject("verifications/AutomatedTestsPackageDelivery.prj"); open('uavPackageDeliveryReqs.slreqx');
Requirements are separated into Guidance and Control sections. These requirements map directly to sections in the multirotor model of the UAV Package Delivery example. Look through the list of requirements, and click items to see and edit details on the right.
Simulink Requirements enables you to link each individual requirement to the Simulink model component that implements such requirement. To link requirements, first open the multirotor model.
Enter the requirements perspective by clicking in the Perspectives control in the lower-right corner of the model canvas.
Select the Requirements perspective.
In the requirements perspective, navigate to the Guidance Logic and inspect some of the implemented guidance requirements. Requirements #5 and #6 are labeled in gray. The heading and yaw command limits are implemented by the Waypoint Follower block.
open_system('MultirotorModel/Guidance Logic/Full Guidance Logic/Guidance Stateflow/Guidance Mode Selector/GuidanceLogic.WP');
Alternatively, you can navigate to the implementation of each requirement from the Links section of each requirement in the Requirements Editor. Open the Requirements Editor. Select a functional requirement and navigate to the Links >> Implemented by section in the Details tab on the right.
Click on Requirement #19 (Index 220.127.116.11). In the Details tab under Links, click the theta_limit link to go to where the requirement is implemented in the multirotor model. The theta Limit
To ensure each of the requirements is met, this example includes three automatic tests to run on the model. To see how these tests are implemented, open the test file in the Test Manager. You should see two test suites, GuidanceLogicSuite and ControlSystemSuite.
The Test Guidance State Transitions test makes use of a test harness for the model. For more information, see Manage Test Harnesses (Simulink Test).
To see the test harness, click the Test Guidance State Transitions test and expand the System Under Test section of the test. Click on the arrow button to open the model:
The harness contains a Signal Editor with a pre-defined set of inputs to test all the phases of the guidance logic state machine, from takeoff to land.
To validate the requirements are met during simulation, the test implements six temporal assesments and links each of these with a requirement. For more information, see Assess Temporal Logic by Using Temporal Assessments (Simulink Test).
The Control System test suite consists of two tests. One focused on testing all the command limits of the controller and the other asessing the controller performance. Both tests make use of a Simulink test harness configured to drive the control system under some reasonable inputs and evaluate the response.
The Test Control System Cmd Limits test implements ten bounds-check assessments to make sure all commands in the control system are properly saturated to values established by the requirements. These assesments are linked to the corresponding requirements. For more information about bounds-check assessments, see Assess Temporal Logic by Using Temporal Assessments (Simulink Test).
The Test Control System Performance test uses a baseline criteria test to assess whether the control system is within the bounds or diverges from a prerecorded baseline. For more information, see Compare Model Output to Baseline Data (Simulink Test).
To run both test suites, click Run on the Test Manager toolstrip. Once the tests run, you will see the results status in the Results and Artifacts tree.
As a final step, open the Requirement Editor and enable the Implementation State and Validation Status columns from the toolstrip. The column colors indicate whether each requirement has been implemented and verified by a test.