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)

Polyspace Compiler Templates by Christian Bard

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

Polyspace Batch Templates by Christian Bard

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

PolySpace For Editors by Alex Debarros

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

Generate Checks Report by David Jaffry

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

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)

EmailNotifier by Alex Debarros

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

SCREAMConverter by Alex Debarros

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

Post Preprocessing Templates by Christian Bard

post preprocessing scripts (polyspace, ppc, templates)

pstd2tab by Tomas Tichy

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

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)