![]() |
MAST
Modeling and Analysis
Suite for Real-Time Applications
|
This document describes the results of applying the MAST analysis tools to the examples that appear in the "examples" directory of the MAST distribution.
This example should not be used as input
to the analysis tools, but it can be used as input to the "Parse"
tool.
The analysis tools
should be executed with the "Calculate Ceilings" option set. The results
of the example are as follows, with any of the linear analysis tools (Holistic,
Offset_Based_Unoptimized, and Offset_Based):
|
|
|
Servo_Control |
|
|
Trajectory_Planning |
|
|
Light Manager |
|
|
Reporter | 137614 | 653.13 |
Message_Logger |
|
|
The system slack for this example is 100.78%.
The analysis tools
should be executed with the "Calculate Ceilings" option set. The results
of the example are as follows, with any of the linear analysis tools (Holistic,
Offset_Based_Unoptimized, and Offset_Based):
|
|
|
Servo_Control |
|
|
Trajectory_Planning |
|
|
Light Manager |
|
|
Reporter | 74974 | 1261.7 |
Message_Logger |
|
|
The system slack for this example is 210.94%.
The analysis tools
should be executed with the "Calculate Ceilings" option set. The results
of the example are as follows, with any of the linear analysis tools (Holistic,
Offset_Based_Unoptimized, and Offset_Based):
|
|
|
Servo_Control |
|
|
Trajectory_Planning |
|
|
Light Manager |
|
|
Reporter | 137614 | 653.13 |
Message_Logger |
|
|
The system slack for this example is 100.78%.
The analysis tools
should be executed with the "Calculate Ceilings" option set. The results
of the example are as follows, for the Offset_Based
analysis tool:
|
|
|
Servo_Control |
|
|
Trajectory_Planning |
|
|
Light Manager |
|
|
Reporter | 139314 | 636.72 |
Message_Logger |
|
|
The system slack for this example is 98.44%.
For the Offset_Based_Unoptimized
analysis
tool the results are:
|
|
|
Servo_Control |
|
|
Trajectory_Planning |
|
|
Light Manager |
|
|
Reporter | 139464 | 636.72 |
Message_Logger |
|
|
The system slack for this example is 98.44%.
And for the Holistic
analysis
tool the results are:
|
|
|
Servo_Control |
|
|
Trajectory_Planning |
|
|
Light Manager |
|
|
Reporter | 139514 | 636.72 |
Message_Logger |
|
|
The system slack for this example is 98.44%.
The analysis tools
should be executed with the "Calculate Ceilings" option set. The results
of the example are as follows, with any of the linear analysis tools (Holistic,
Offset_Based_Unoptimized, and Offset_Based):
|
|
|
Servo_Control |
|
|
Trajectory_Planning |
|
|
Light Manager |
|
|
Reporter | 148584 | 584.38 |
Message_Logger |
|
|
The system slack for this example is 89.84%.
The analysis tools
should be executed with the "Calculate Ceilings" option set. The results
of the example are as follows, for the Offset_Based
analysis tool:
|
|
|
Servo_Control |
|
|
Main_Control_Loop |
|
|
Gui |
|
|
The system slack for this example is 38.28%.
For the Offset_Based_Unoptimized
tool the results are:
|
|
|
Servo_Control |
|
|
Main_Control_Loop |
|
|
Gui |
|
|
And the system slack for this tool is 21.88%.
For the Holistic
tool the results are:
|
|
|
Servo_Control |
|
|
Main_Control_Loop |
|
|
Gui |
|
|
And the system slack for this tool is -21.09%.
The results of the
example are as follows, for the Offset_Based
analysis tool:
|
|
|
Trans1 |
|
|
Trans2 |
|
|
The system slack for this example is 17.97%.
For the Offset_Based_Unoptimized
tool the results are:
|
|
|
Trans1 |
|
|
Trans2 |
|
|
And the system slack for this tool is 14.84%.
For the Holistic
tool the results are:
|
|
|
Trans1 |
|
|
Trans2 |
|
|
And the system slack for this tool is 10.16%.
The analysis tools
should be executed with the "Calculate Ceilings" option set. In addition,
the "Verbose" option should be set to get the blocking times. The results
of the example are as follows, with any of the linear analysis tools (Holistic,
Offset_Based_Unoptimized, and Offset_Based):
|
|
|
|
t1 |
|
|
|
t2 |
|
|
|
t3 |
|
|
|
t4 | 182 | 14.06 | 16 |
t5 |
|
|
|
t6 |
|
|
|
The system slack for this example is 3.13%.
The analysis tools
should be executed with the "Calculate Ceilings" option set. In addition,
the "Verbose" option should be set to get the blocking times. The results
of the example are as follows, with any of the linear analysis tools (Holistic,
Offset_Based_Unoptimized, and Offset_Based):
|
|
|
|
t1 |
|
|
|
t2 |
|
|
|
t3 |
|
|
|
t4 | 182 | 14.06 | 16 |
t5 |
|
|
|
t6 |
|
|
|
The system slack for this example is 3.13%.
The results of the
example are as follows, with any of the linear analysis tools (Holistic,
Offset_Based_Unoptimized, and Offset_Based):
|
|
|
t_i1 |
|
|
t_a2 |
|
|
t_i3 |
|
|
t_a4 | 39 | -100.00 |
The system slack for this example is -84.38%.
The results of the
example are as follows, with the Offset_Based
analysis tool:
|
|
|
t_1 |
|
|
t_2 |
|
|
t_3 |
|
|
t_4 | 9.5 | 7.03 |
The system slack for this example is 3.91%.
If we use the Offset_Based_Unoptimized
analysis tool, we get:
|
|
|
t_1 |
|
|
t_2 |
|
|
t_3 |
|
|
t_4 | 9.5 | 7.03 |
And the system slack for this tool is 3.13%.
f we use the Holistic
analysis tool, we get:
|
|
|
t_1 |
|
|
t_2 |
|
|
t_3 |
|
|
t_4 | 9.5 | 7.03 |
And the system slack for this tool is 3.13%.
The results of the
example are as follows, with any of the linear analysis tools (Holistic,
Offset_Based_Unoptimized, and Offset_Based):
|
|
|
t_1 |
|
|
t_2 |
|
|
t_3 |
|
|
t_4 | 9.9 | -23.44 |
The system slack for this example is -6.25%.
The results are different than in the Real-Time Analysis Handbook because
MAST uses a more precise technique to model the polling tasks.
The results of the
example are as follows, with any of the linear analysis tools (Holistic,
Offset_Based_Unoptimized, and Offset_Based):
|
|
|
t_1 |
|
|
t_2 |
|
|
t_3 |
|
|
t_4 | 9.5 | 7.03 |
The system slack for this example is 0.00%,
because the capacity of the sporadic servers is just equal to the maximum
load.
The results of the
example are as follows, with any of the linear analysis tools (Holistic,
Offset_Based_Unoptimized, and Offset_Based):
|
|
|
t_1 |
|
|
t_2 |
|
|
t_3 |
|
|
The system slack for this example is -28.91%.
The results of the
example are as follows, with with the Offset_Based
or the Offset_Based_Unoptimized
analysis tools:
|
|
|
t_1 |
|
|
t_2 |
|
|
t_3 |
|
|
The system slack for this example is 10.94%.
If we use the Holistic
analysis tool, we get:
|
|
|
t_1 |
|
|
t_2 |
|
|
t_3 |
|
|
The system slack for this tool is 10.94%.
The results of the
example are as follows, with with the Offset_Based
or the Offset_Based_Unoptimized
analysis tools:
|
|
|
t_1 |
|
|
t_2 |
|
|
t_3 |
|
|
The system slack for this example is 13.28%.
If we use the Holistic
analysis tool, we get:
|
|
|
t_1 |
|
|
t_2 |
|
|
t_3 |
|
|
The system slack for this tool is 13.28%.
The results are different than in the Real-Time
Analysis Handbook, because MAST uses a more precise technique to model
polling server tasks.
The results of the
example are as follows, with any of the linear analysis tools (Holistic,
Offset_Based_Unoptimized, and Offset_Based):
|
|
|
t_1 |
|
|
t_2 |
|
|
t_3 |
|
|
The system slack for this example is -20.31%.
The results of the
example are as follows, with any of the linear analysis tools (Holistic,
Offset_Based_Unoptimized, and Offset_Based):
|
|
|
t_1 |
|
|
t_2 |
|
|
t_3 |
|
|
The system slack for this example is 59.38%.