image thumbnail

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

SCOPE: interactively tabulate SEER excel variables by Rex Cheung

Rex Cheung (view profile)

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

xls2tabulate2xls(xlsfilename)

image thumbnail

updated 4 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 4 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 5 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.mdl

image thumbnail

updated 5 years ago

PolySpace For Editors by Alexandre De Barros

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

image thumbnail

updated 5 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 5 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 5 years ago

EmailNotifier by Alexandre De Barros

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

image thumbnail

updated 5 years ago

ImportAOTResults by Alexandre De Barros

A tool made to import AOT campaign results into a Polyspace verification (polyspace)

image thumbnail

updated 6 years ago

SCREAMConverter by Alexandre De Barros

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

image thumbnail

updated 6 years ago

Post Preprocessing Templates by Christian Bard

post preprocessing scripts (polyspace, ppc, templates)

image thumbnail

updated almost 7 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

custom_comments_example.m

nxtscanner.m

image thumbnail

updated almost 8 years ago

ViewerTools by Christian Bard

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

Contact us