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.