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].