Шведская компания Scandinavian Real Heart разрабатывает искусственное сердце нового поколения Total Artificial Heart, которое полностью повторяет алгоритм работы сердца и позволяет больным вести нормальный образ жизни, рассказали в компании AdaCore. В качестве языка программирования выбрали Ada и инструменты AdaCore.

Язык программирования Ada предназначен для разработки программного обеспечения критических для безопасности встраиваемых компьютерных систем, подлежащих сертификации по стандартам безопасности, таким как DO-178 (авионика), EN 50128 (железнодорожные системы), ISO 26262 (автоэлектроника) и IEC 62304 (медицинская техника). Ada является международным стандартом ISO 8652.

Для разработки программы управления искусственным сердцем TAH используются компилятор и комплекс средств разработки на языке Ada для микропроцессоров с архитектурой ARM под названием GNAT Pro Ada for ARM, комплекс средств верификации ПО SPARK Pro и средство статического анализа ПО GNATstack.

Источник:  osp.ru