Polyspace for AUTOSAR demo

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 (2024). Polyspace for AUTOSAR demo (https://www.mathworks.com/matlabcentral/fileexchange/67880-polyspace-for-autosar-demo), MATLAB Central File Exchange. Retrieved .

MATLAB Release Compatibility
Created with R2018a
Compatible with any release
Platform Compatibility
Windows macOS Linux
Find more on Develop Apps Using App Designer in Help Center and MATLAB Answers
Tags Add Tags

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!
Version Published Release Notes

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