There's some really good tools out there to help meet DO-178B and beyond. In particular I'm a fan of the Spark toolset, recently GPL'ed.