image thumbnail

updated 27 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 1 month ago

USING POLYSPACE® TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD by Christian Bard

This document defines a general and standard approach to measure the software quality. (quality, runtime error, absence)

image thumbnail

updated 2 years ago

SCOPE: interactively tabulate SEER excel variables by Rex Cheung

This takes SEER excel column data interactively, tabulate them, write back in table format. (data import, data export, optimization)

output=xls2tabulate2xls(xlsfilename)

image thumbnail

updated 5 years ago

NXT Scanner with Lego Mindstorms NXT by Yoshiaki Banno

NXT Scanner Model-Based Design based on Embedded Coder Robot NXT. (simulink, simulation, demo)

NXTScannerViewer.m

addExtIfNeeded(name)

convertLocalizedPropName(defInfo, val, prefix)

image thumbnail

updated 1 month 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 almost 3 years ago

Polyspace Batch Templates by Christian Bard

This is a set of scripts allowing to launch verification in batch modules by modules. (polyspace, polyspace batch, scripts)

image thumbnail

updated 2 years ago

Polyspace Compiler Templates by Christian Bard

Polyspace Compiler template sets help at setup phase according to compiler and target (embedded code, setup, compilation)

image thumbnail

updated 5 years ago

pstd2tab by Tomas

Converts PolySpace queue-manager's log file to readable table format. (polyspace, queue manager, log file)

image thumbnail

updated 4 years ago

PolySpace For Editors by Alex Debarros

A tool to integrate PolySpace into your favorite editor (polyspace, integration, ultraedit)

image thumbnail

updated 4 years ago

Generate Checks Report by David Jaffry

This tool generates Checks report(XML & CSV format) from C and C++ PolySpace® Results. (report, xml, polyspace)

image thumbnail

updated 4 years ago

MISRA C®2004 & 1998 pre-set by Martin Brochet

found 5 Pre set files for PolySpace MISRA C® Checker (polyspace, pre set, rules for misra c)

image thumbnail

updated 4 years ago

EmailNotifier by Alex Debarros

A tool to receive an email notification at the end of a PolySpace verification (polyspace email)

image thumbnail

updated 5 years ago

Post Preprocessing Templates by Christian Bard

post preprocessing scripts (polyspace, ppc, templates)

image thumbnail

updated 4 years ago

SCREAMConverter by Alex Debarros

A tool to convert SCREAM comments into the new 10a acronyms (polyspace scream sqo)

Contact us