I am looking to apply Model-Based Design to develop software for use in projects that require code certification as defined in ARP-4754 and/or DO-178 standards.
I am looking for an example that outlines the steps I could take to apply Model-Based Design to generate, verify and validate safety critical software.
Best Answer