视频与网上研讨会

DO-178B Software Development 07: Proving Code Correctness

注册并观看视频

Webinar Series (Part 7):

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.

主題包括

  • Polyspace Bug Finder
  • Simulink
  • Stateflow
  • Embedded Coder

录制的: 2013年3月31日