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

15 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
Categories
Tags Add Tags