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 through incremental design iterations how to implement a small multicopter simulation to takeoff, fly, and land at a different location in a city environment. In this example we go through the process of editing a small but representative requirement set, linking these requirements to sections in the model that implment these requirements, and finally validate these through a test suite.
To load the required project and files, click Open Live Script or run 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 if the the guidance requirements are implemented. Requiremenst #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 requirement editor. Open the Requirement 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 22.214.171.124). 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 Manage Test Harnesses (Simulink Test) for the model. 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 simuliation, the test implements six Assess Temporal Logic by Using Temporal Assessments (Simulink Test) and links each of these with a requirement.
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 Assess Temporal Logic by Using Temporal Assessments (Simulink Test) assesments 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.
The Test Control System Performance test uses a Compare Model Output to Baseline Data (Simulink Test) test to asses whether the control system is within the bounds or diverges from a prerecorded baseline.
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.