Министерство Здравоохранения Республики Узбекистан
Научно-исследовательский институт эпидемиологии
микробиологии и инфекционных заболеваний
Назад
uz ru en

1. Знаете ли Вы, что избавиться от глистов навсегда просто невозможно! Есть...

2. Знаете ли Вы, что при глистной инвазии происходит дефицит макро и микро...

3. Знаете ли Вы, что упущенное в детстве лечение некоторых глистных инвазий,...

Пред. год 2024
     
Пн Вт Ср Чт Пт Сб Вс
29 30 1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28 29 30 31 1 2

Календарь событий



02.04.2018

Шведская компания 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


Назад
 

20.03.2024 ResMed выпускает новый BiPAP-аппарат для лечения апноэ сна
В то время как Philips заключает соглашение с американским регулятором отрасли здравоохранения о временной...

15.03.2024 Оценить состояние кожи за несколько секунд
Компания Enspectra Health получила разрешение американского регулятора отрасли здравоохранения (Управление...

11.03.2024 Как искусственный интеллект может изменить медицину
Быстрый технический прогресс подчёркивает, насколько неотложным является введение регулирования ИИ