http://www.eetimes.com/electrical-engineers/education-training/tech-papers/4135343/Integration-Testing-and-Debugging-of-C-Code-Together-with-UML-Generated-Sources?cid=NL_Embedded&Ecosystem=embedded

Software content has grown rapidly in all manner of safety-critical devices. Meanwhile, society has become increasingly dependent upon their safe operation. Unfortunately, our ability to develop safe and reliable software has not improved at the same rate, resulting in increasing reliability and safety vulnerabilities. This increase in software vulnerability poses a serious threat to human safety and demands new approaches to safe software development. Static analysis has emerged as a promising technology for improving the safety of software in safety critical applications such as medical devices and systems (See Sidebar). Beyond defect prevention, static analysis is also finding a home in medical forensics labs, aiding scientists who must locate the cause of failures in recalled medical devices.

Read more @ EETimes Online
by David N. Kleidermacher