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
4.0
(1)
550 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).

Cite As

Alexandre De Barros (2025). 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
Categories
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!

Example_of_the_Doc

Model

Version Published Release Notes
1.0.0.1

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