File Exchange

image thumbnail

Polyspace for AUTOSAR demo

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


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).

Cite As

Alexandre De Barros (2020). Polyspace for AUTOSAR demo (, MATLAB Central File Exchange. Retrieved .

Comments and Ratings (1)

han sam


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