Case Study for DO-178 using bat365 tools

Demonstration of how to use bat365 products in a workflow for ARP-4754A, DO-178C nad DO-331

The program simulates the Hata model

Polyspace Compiler template sets help at setup phase according to compiler and target

A quasistatic evolution of viscoelastic von Kármán plates.

NXT Scanner Model-Based Design based on Embedded Coder Robot NXT.

Polyspace Bug Finder template to check for Level 1 CERT C guidelines.

This document defines a general and standard approach to measure the software quality.

An implementation of the validation of a biometric quality metric.

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

found 5 Pre set files for PolySpace MISRA C^® Checker

Generates Fermat Numbers, type "help fermat".

HF time-series object based on the Chopper class that overloads the legacy FINTS object for uniformly sampled data.

Computes DASA metric: Evaluates the performance of a target tracking algorithm

The tool colors Simulink Model using PolySpace code verification.

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

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

A tool to integrate PolySpace into your favorite editor

post preprocessing scripts

Natural log of a sum of exponentials

tidy desktop windows to maximise available space

Converts PolySpace queue-manager's log file to readable table format.