Code covered by the BSD License  

Highlights from
Airport Conveyer Belt

image thumbnail
from Airport Conveyer Belt by Gernot Schraberger
The demo is about a airport conveyer belt modeled in Simulink, with controls modelled in Stateflow.

slblocks 
% Execute File to install PSSL Library which is used for automatic testcase
% generation with Simulink Design Verifier
%
% Copyright 2010-2011 MathWorks, Inc.
function blkStruct = slblocks  
 
blkStruct.Name = 'PSSL';  
blkStruct.OpenFcn = 'PSSL';
blkStruct.MaskDisplay = '';
Browser(1).Library = 'PSSL';
Browser(1).Name = 'PSSL';
blkStruct.Browser = Browser;

Contact us