image thumbnail

updated 3 months ago

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

Christian Bard

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

image thumbnail

updated almost 3 years ago

Polyspace Compiler Templates by Christian Bard

Christian Bard

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

image thumbnail

updated almost 3 years ago

PolyspaceForGPS by Christian Bard

Christian Bard

A very simple Polyspace Extension for AdaCore GPS (polyspace plugin gps ...)

image thumbnail

updated 3 years ago

Polyspace Batch Templates by Christian Bard

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

Post Preprocessing Templates by Christian Bard

Christian Bard

post preprocessing scripts (polyspace, ppc, templates)

image thumbnail

updated 6 years ago

ViewerTools by Christian Bard

Christian Bard

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

Contact us