image thumbnail

updated 8 days 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 25 days 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 4 months ago

Polyspace_Jenkins_plugin.zip by Ram

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

image thumbnail

updated 11 months ago

CWE-Bug Finder traceability matrix by Alex Debarros

A document presenting a traceability matrix between CWE and the Polyspace Bug Finder defects (cwe)

image thumbnail

updated 11 months ago

beam pattern by Partha Pratim Basumallick

analyses the pattern of a beam (image processing)

beampattern.m

Contact us