I just ran across this, even though the news is a year old.
http://www.adacore.com/2009/03/3...
Interesting, just interesting.
(I should mention that I think Ada is an excellent language for embedded systems, and one I'd love to be able to use in my own embedded work)