Code covered by the BSD License  

Highlights from
Airport Conveyer Belt

image thumbnail

Airport Conveyer Belt



19 Jul 2011 (Updated )

The demo is about a airport conveyer belt modeled in Simulink, with controls modelled in Stateflow.

% 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