In the same way that Agile teams monitor their own quality with Test Driven Development, Behavior Driven Development, and Continuous Integration; high-assurance teams should also give QA responsibilities to the developer.  We recommend not only up-front test, but in-line analysis.  Integrating analysis and metrics tools with the development process brings the quality control closer to the original development. 

In safety-critical and high-assurance systems the line between QA and development is blurred, placing developers are more directly involved in assuring the quality of their own code.  Here are some of the ways SafeCode can help you: