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, coding rules, absence)

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)

Color Model from PolySpace Verification by David Jaffry

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

Color_Model_From_Verification(callbackInfo) %#ok<INUSD>

sl_customization(cm)

Example

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)

Post Preprocessing Templates by Christian Bard

post preprocessing scripts (polyspace, ppc, templates)

NXT Scanner with Lego Mindstorms NXT by Yoshiaki Banno

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

data_communication

PolySpace Stats by Christian Bard

Give a synthesis of a PolySpace verification based on the log file (polyspace, synthesis, verification)

ViewerTools by Christian Bard

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