This webinar will show you how to deploy critical avionics software with quality and confidence. Using code verification tools, you can easily identify critical defects in your source code. With formal methods based verification, see how you can mathematically prove that your source code is safe and reliable. Using artifacts from the code verification process, learn how you can achieve DO-178 certification credit.
Using demonstrations and examples, we’ll show you how to:
Identify critical defects in your C/C++/Ada source code
Meet safety standard requirements such as DO-178
Optimize test and verification cycles
This webinar is ideal for anyone involved with embedded software development, verification or test and those interested in improving software safety, quality and reliability:
Software developers
Quality engineers and managers
Software safety and reliability engineers
Verification and validation engineers
Speaker: Jay Abraham- Technical Manager at MathWorks
Moderator: John Mchale - Editorial Director, OpenSystems Media
If you have previously registered for this event, please login below:
