Ada - a modern programming language designed for large, long-lived applications - and embedded systems in particular - is set to get some extensions in its next incarnation Ada 2006. There is a talk
here, highlighting the most important changes (eg. cyclic type structures, Java-like interfaces, standardization of the Ravenscar tasking profile, container libraries, etc.). Updated drafts of the standard are available
here. For general information about Ada there is a Wikibook
Programming:Ada.