Strumenti per l’analisi statica del codice

Dalla serie: Sistemi complessi e architetture software per applicazioni safety critical

Breve introduzione degli strumenti Polyspace® per:

  • ottenere un codice robusto e di alta qualità
  • trovare e provare l’assenza di errori run-time
  • trovare violazioni MISRA C
  • dimostrare la conformità con standard come quelli di Cybersecurity
  • ottenere metriche

Pubblicato nel: 21 lug 2020

Feedback

Successivo:

Embedded Coder e Simulink Test per il download e l'analisi del codice generato su microprocessori embedded.

Processor-In-the-Loop, misurazione del tempo di esecuzione...

Visualizza serie completa (15 Video)

Video correlati:

Learn how to use Polyspace static analysis tools to improve software quality & security and prevent software related defects in your embedded devices.

Writing Secure Code with Polyspace Static Analysis

Explore how Solar Impulse uses Polyspace static analysis to ensure the software in their solar plane complies with DO 178B.

Solar Impulse Uses Polyspace Static Analysis for Solar...

In part 7 of this webinar series, we discuss the use of Polyspace for formal verification of the embedded software.

Model-Based Design for DO-178C Software Development with...

Register now to learn how you can use Polyspace products to detect bugs, debug and fix your code. You will also learn how to verify your code with proof to show that your code is safe and robust.

Comprehensive Static Analysis Using Polyspace Products

View Polyspace static analysis results in real time using Polyspace Bug Finder. Review defects or coding rule violations as they are detected while the analysis continues to run in the background.

Polyspace Static Analysis Results in Real Time

Guarda altri video correlati