image thumbnail

updated 4 months ago

Polyspace_Jenkins_plugin.zip by Ram

Ram (view profile)

Plugin to integrate Polyspace verification into your Jenkins job (jenkins)

image thumbnail

updated 8 months ago

Autopilot Demo for ARP4754A, DO-178C and DO-331 by Bill Potter

Demonstration of how to use MathWorks products in a workflow for ARP-4754A, DO-178C nad DO-331 (aerospace, simulation, simulink)

Autopilot_bus()

get_sb_rmi_group_info(block,group)

Roll_AP_PlotData.m

image thumbnail

updated 8 months ago

Launch Polyspace from MATLAB by Alex Debarros

A set of scripts to call Polyspace Bug Finder and Code Prover from MATLAB (polyspace scripting)

analyze

analyze_or_verify(bug_finder)

explore

image thumbnail

updated 1 year ago

beam pattern by Partha Pratim Basumallick

analyses the pattern of a beam (image processing)

beampattern.m

Contact us