Какой язык программирования лучше подходит для встраиваемых решений с требованием к повышенной надёжности и безопасности?
никакой. надежность и безопасность языком не обеспечивается
Да ни какой. Есть стандарты и процедуры которые позволяют добиться надёжности. Все это описано в том числе и в руководствах по программированию, есть инструменты которые анализируют ваш код и выдают рекомендации , для медицины, пром автоматики и автомотива это практически неизбежно.