In this webinar, we will use examples from MISRA-C:2012 and CERT-C to show techniques and methods how you can efficiently ensure MISRA-compliant code with the static analysis tool Polyspace Bug Finder.
In addition, we will explain difficulties and limitations in the implementation of certain coding guidelines, and how you can master them by choosing the appropriate analysis method.
This webinar is suitable for anyone involved in developing, testing and ensuring the quality and security of embedded software. This includes software and system developers, quality managers, software safety managers, security managers, integrators, verification and test engineers, software architects and process owners. Team and project managers are also invited to participate. Previous knowledge of MathWorks tools is not required. Knowledge of C/C++ and familiarity with MISRA is helpful, but not mandatory.