从系列:Model-Based Design for DO-178C Software Development with MathWorks Tools
Mike Anthony, MathWorks
In part 7 of this webinar series, we discuss the use of Polyspace for formal verification of the embedded software. Polyspace provides two capabilities within this workflow. The first is the inclusion of a MISRA AC AGC compliance checker which includes the capability to author custom coding rules. The second, and more important, is the application of formal methods to prove the absence of runtime errors in the software. Similar to the concept introduced earlier with Simulink Design Verifier for property proving, Polyspace uses formal methods to prove the absence of runtime errors.
Recorded: 31 Mar 2013
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select:.
Selectweb siteYou can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
This website uses cookies to improve your user experience, personalize content and ads, and analyze website traffic. By continuing to use this website, you consent to our use of cookies. Please see ourPrivacy Policyto learn more about cookies and how to change your settings.