Accelerating DO-178C Certification with Formal Methods and Static Code Analysis

  • FİGES
  • Etkinlikler
  • Accelerating DO-178C Certification with Formal Methods and Static Code Analysis

Etkinlik Programı ve İçeriği


Static Code Analysis and formal methods with Polyspace
What are static code analysis and formal methods?
Why dynamic testing is not enough?
How does static code analysis work?
How to automate code reviews thanks to static code analysis?
How to use static code analysis in a Continuous Integration and DevOps workflows?
Q&A
Comply and achieve DO-178C certification faster using Polyspace
How to meet DO-178C (or DO-333 supplement) and document compliance with Polyspace?
Which DO-178C credits can you gain using Polyspace tools?
Why using formal methods in the context of Model-Based development?
Satisfy regulatory authorities (e.g. ESA, ECSS, SSB) with certified / qualifiable tools and certification artifacts
How to address Cybersecurity according to DO-326 and DO-356 requirements
 Q&A

Etkinlik Bilgileri

Tarih
10 Kasım 2020
Saat
14:00-16:00
Konuşmacı
Alexandre Langeniuex