> A tak na serio: wiesz że Ada to raczej C++ niż C?

A tak na serio: w kontekście systemów krytycznych Ada (również SPARK) to w sensie
dostępnych elementów języka raczej Ada-83 i to jest raczej C (a właściwie MISRA-C),
niż C++.

Standardy procesowe wymagają, aby w projektach krytycznych stosowane były standardy
kodowania ograniczające używany język (przykład: zakaz używania pamięci dynamicznej,
zakaz używania wyjątków, itp., zależnie od standardu). Dlatego w tej branży nigdy nie
mówimy o "pełnym" języku, niezależnie od tego, który to język. O swobodnym
korzystaniu z któregokolwiek języka w tej branży nie ma mowy.

--
Maciej Sobczak * http://www.inspirel.com