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 |
Tarih | 10 Kasım 2020 |
Saat | 14:00-16:00 |
Konuşmacı | Alexandre Langeniuex |
Yukarıda okuduğunuz bilgiler ve hizmetlerimiz doğrultusunda daha fazla detaya ihtiyacınız mı var ?
Sizinle iletişime geçebilmemiz için form doldurabilir, detaylı bilgi talebinde bulunabilirsiniz.