Top ten milestones in embedded 2012
Number 9: Ada 2012
Ada 2012, a new version of Ada, includes design-by-contract to automatically detect large classes of runtime errors. Though Ada's use is still very small, it does offer incredibly low bug rates. In the past design-by-contract was only available natively in Eiffel, which has a 0% market share in the embedded space.
Jack Ganssle's "Ada gets a makeover"
Ada 2012 Language Reference Manual
Ada2012.org lists the updated features