E-cast: Safety and Security Virtual Summit: Modeling drives safety-critical software certification

Summary: What does verification mean when it comes to safety critical software? Can simulation and formal methods be used, and when and how? What about legacy code? DO-178C becomes the guidance for the new state-of-the-art in software development for critical systems, and brings important changes in the use of modeling, objects, and more. Find out why new methodologies are important, what the changes to the standard are, and how to get code compliant with the new requirements.