Государственная научная медицинская библиотека
Министерства здравоохранения Республики Узбекистан
Искусственное сердце повторит алгоритм работы настоящего
Шведская компания 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