I have been looking into dynamic analysis tools and have spoken to several vendors. My company defines safety critical as in applications in which you need the software/device/micro-controller to operate as expected in real-time and in situations where a person's life may be in danger. In a vehicle for example, the airbags would deploy when needed, the powertrain and breaks would work as expected.
Is AMD CodeAnalyst used in developing safety critical software?
Nomura Research Institute America
2 World Financial Center, Bldg. B. 18th Fl
New York, NY 10281