File Exchange

image thumbnail

Polyspace for AUTOSAR demo

version 1.0.0.1 (359 KB) by Alexandre De Barros
A demo showing how to use the feature "Polyspace for AUTOSAR" introduced in R2018a

9 Downloads

Updated 24 Jul 2018

View License

This demo shows how easy it is to prove absence of run-time errors (sound static analysis) in AUTOSAR software components using Polyspace Code Prover from MATLAB and from Simulink (via a custom App).

Comments and Ratings (1)

han sam

Updates

1.0.0.1

Slight changes: copyright added in the Readme.pdf, one .slx file removed

MATLAB Release Compatibility
Created with R2018a
Compatible with any release
Platform Compatibility
Windows macOS Linux
Tags Add Tags