Code covered by the BSD License  

Highlights from
Tabular Expression Toolbox

image thumbnail

Tabular Expression Toolbox

by

 

23 Sep 2010 (Updated )

A tool for creating tabular expressions in Matlab/Simulink integrating checking with PVS and CVC3.

check_system(system)
% Author: Colin Eles elesc@mcmaster.ca
% Organization: McMaster Centre for Software Certification
function [ output_args ] = check_system(system)
%UNTITLED Summary of this function goes here
%   Detailed explanation goes here
blocks = find_system(system,'MaskDescription','Table Block');
msg = [];
for i = 1:size(blocks,1)
    if ~strncmp(blocks(i),'TableLibrary',12)
        block_data = get_param(char(blocks(i)),'UserData');
        if ~isempty(block_data)
            PVS = PVS_checker(block_data);
            [check,result] = PVS.pvs_check;
            if (check == 1)
                msg = [msg char(blocks(i)) ' is valid' sprintf('\n')];
                
            else
                msg = [msg char(blocks(i)) ' is not valid' sprintf('\n')];
            end
            block_data.checked = check;
            TableBlock.set_block_display(char(blocks(i)),block_data.checked);
            
        end
    end
end
msgbox(msg);

end

Contact us