Вот ещё пример см. https://isup.ru/news/12687/

ПО на языке Ada управляет искусственным сердцем

27.04.2018 Большинство больных с сердечной недостаточной четвертой степени, нуждающиеся в трансплантации сердца, не доживают до операции из-за длительного срока ожидания донорского органа. Искусственное сердце позволяет таким больным дождаться операции. Шведская компания Scandinavian Real Heart AB ведет разработку искусственного сердца нового поколения TAH (Total Artificial Heart), которое полностью повторяет алгоритм работы сердца и позволит больным вести нормальный образ жизни за пределами клиники.

К контроллеру, управляющему насосами TAH, и к его программному обеспечению предъявляются высочайшие требования по надежности, и в качестве языка программирования этого контроллера был выбран язык Ada и инструментальные средства компании AdaCore.

Язык программирования Ada предназначен для разработки программного обеспечения высоконадежных, критических для безопасности встраиваемых компьютерных систем, подлежащих сертификации по стандартам безопасности, таким как DO-178 (авионика), EN 50128 (железнодорожные системы), ISO 26262 (автоэлектроника) и IEC 62304 (медицинская техника). В Российской Федерации действует ГОСТ Р МЭК 62304-2013 «Изделия медицинские. Программное обеспечение. Процессы жизненного цикла», идентичный международному стандарту IEC 62304.Язык Ada является международным стандартом ISO 8652.

Для разработки ПО управления искусственным сердцем TAH применены следующие инструментальные средства компании AdaCore: GNAT Pro Ada for ARM – компилятор и комплекс средств разработки на языке Ada для микропроцессоров с архитектурой ARM; SPARK Pro – комплекс средств верификации ПО на языке SPARK (формально-верифицируемое подмножество языка Ada) GNATstack – средство статического анализа ПО на отсутствие ситуаций переполнения стека.

Если я кому-то отвечаю, это не значит что я ему симпатизирую, каждый остаётся при своём мнение Tagebuch der schwerbehinderten Person