Exercise 10 - Check Model
In this exercise, you use the Check Model facility to verify that the model is syntactically correct and complete.
1. Click Check Model from the main Rational Statemate window.
2. Select File > New Profile from the profile window and enter “REAR_DEFOG_CHK” for the profile name that you are creating. If no profile exists, a New Profile window automatically opens.
3. Click Add Selected Chart with Descendents to Profile. This opens a Chart Tree View of your current design (see the following figure).
4. Select the chart called “REAR_DEFOG_SS” from the Chart Tree View (see the previous figure) then click OK.
5. Click Execute Current Check Model Profile from the Check Model profile window.
Note: If the previous exercises were done without any mistakes, you should receive 13 completeness warnings. The only warnings that we are concerned with are the unresolved elements warnings. The next few steps take you through resolving a number of known warnings that you should have received during the modeling.
7. Right-click on one of the textual elements and select Properties to fix the unresolved elements. Refer to the following figure.
a. Define the Type to Data-Item.
b. Change the Data Type from None to Integer.
c. Enter a Min Value of 0.
d. Enter a Max Value of 100.
e. Enter a Default Value of 80.
f. Click Save.
9.
10. Define the textual element 'K_RTIMER1'.
a. Define the Type to Data-Item.
b. Change the Data Type from None to Integer.
c. Enter a Min Value of 10.
d. Enter a Max Value of 100.
e. Enter a Default Value of 12.
f. Click Save.
g.
a. Define the Type to Data-Item.
b. Change the Data Type from None to Integer.
c.
d. Enter a Max Value of 10.
e. Enter a Default Value of 6.
f. Click Save button.
g.
12. Define the textual element 'RD_TIMER'.
a. Define the Type to Data-Item.
b. Change the Data Type from None to Integer.
c. Enter a Min Value of 0.
d. Enter a Max Value of 100.
e. Click Save.
f.
13. Define the textual element 'K_DUTY_CYCLE'.
a. Define the Type to Data-Item.
b. Change the Data Type from None to Integer.
c. Enter a Min Value of 0.
d. Enter a Max Value of 100.
e. Enter a Default Value of 50
f.
g.
14. Define the textual element 'K_PERIOD'.
a. Define the Type to Data-Item.
b. Change the Data Type from None to Integer.
c. Enter a Min Value of 0.
d. Enter a Max Value of 100.
e. Enter a Default Value of 2
f. Click 'Save'.
g.
15. Define the textual element 'OFF_TIME'.
a. Define the Type to Data-Item.
b. Change the Data Type from None to Integer.
c. Enter a Min Value of 0.
d. Enter a Max Value of 100.
e. Click Save.
f.
16. Define the textual element 'ON_TIME'.
a. Define the Type to Data-Item.
b. Change the Data Type from None to Integer.
c. Enter a Min Value of 0.
d. Enter a Max Value of 100.
e. Click Save.
f.
17. Select File > Exit from the Check Model profile window.