Breaking News
Design How-To

Top 10 Tips for Success with Formal Analysis – Part 3

NO RATINGS
Page 1 / 2 Next >
More Related Links
View Comments: Newest First | Oldest First | Threaded View
EREBUS0
User Rank
Rookie
re: Top 10 Tips for Success with Formal Analysis – Part 3
EREBUS0   5/15/2012 9:00:09 PM
NO RATINGS
While I am not sure of the full definition of "Formal" analysis differs from "Informal" analysis, I agree that too little effort is expended in the verification and validation of software/firmware. The rush to get code out almost always results in an underachieving implementation. My numerous papers on using dynamic analysis techniques to understand the real time operation issues also identified good and bad software structure. Some tools may help identify these problems, but it still takes a trained analyst fully versed in the methods to make a difference between good and bad software. The tools are only as good as their user.

August Cartoon Caption Winner!
August Cartoon Caption Winner!
"All the King's horses and all the KIng's men gave up on Humpty, so they handed the problem off to Engineering."
5 comments
Top Comments of the Week
Like Us on Facebook

Datasheets.com Parts Search

185 million searchable parts
(please enter a part number or hit search to begin)
EE Times on Twitter
EE Times Twitter Feed
Flash Poll
Radio
NEXT UPCOMING BROADCAST
How to Cope with a Burpy Comet
October 17, 2pm EDT Friday
EE Times Editorial Director Karen Field interviews Andrea Accomazzo, Flight Director for the Rosetta Spacecraft.