这个演示是关于一个在Simulink中建模的机场传送带，以及在Stateflow中建模的控件。
Airport Conveyer Belt
The model shows how Simulink and Stateflow can be used to model plant and control algorithms for an airport conveyer belt. MATLAB is used for animation.
Coverage analysis can be used to detect uncovered areas in the controller during specific tests [Simulink Verification & Validation].
Automatic testcase generation can be performed to reach 100% MCDC coverage [Simulink Design Verifier].
Finally PLC or C-Code can be generated from the controller model to deploy it [MATLAB Coder, Simulink Coder or Simulink PLC Coder].
AirportConveyer.mdl PSSL.mdl slblocks.m waitfortreal.m