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 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 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 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 6 years ago

ViewerTools by Christian Bard

Utility designed to help adding a "Tools" menu in The PolySpace® Viewer (polyspace, viewer tools, utility)

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

EmailNotifier by Alex Debarros

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

image thumbnail

updated 4 years ago

Color Model from PolySpace Verification by David Jaffry

The tool colors Simulink Model using PolySpace code verification. (simulink, polyspace, link)

Color_Model_From_Verification(callbackInfo)

sl_customization(cm)

Example

image thumbnail

updated 4 years ago

ImportAOTResults by Alex Debarros

A tool made to import AOT campaign results into a Polyspace verification (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

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

SCREAMConverter by Alex Debarros

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

image thumbnail

updated 5 years ago

Post Preprocessing Templates by Christian Bard

post preprocessing scripts (polyspace, ppc, templates)

Contact us