Esterel Technologies

In a nutshell, what does this DO-178B specification really do?

It specifies that every line of code be directly traceable to a requirement and a test routine, and that no extraneous code outside of this process be included in the build.