Короче поговорим про медицинскую информатику. Общался я с одной медсестрой на тему 18+. У неё ник был примерно колибри, и она не скрывала что работает в больнице. Я искал железо, спомощью которого делают медицину и ввёл колибри, и наткнулся на железе швейцарского приозводителя, там можно купить это железо, и сделать самому своё медицинское оборудование ЭКГ, ЭЭГ, итд. А ещё оказалось что колибри это разные фирмы, которые производят различные как медицинские инструменты, так и шунты для вен вроде бы если я неошибаюсь.

Потом я искал про медицину, оказывается ПО для медицинских аппаратов пилится на языка Ada см. https://www-eldorado-org-br.translate.goog/noticia/eldorad...

30 января 2020 г. ELDORADO сотрудничает с AdaCore для исследований и разработки медицинского оборудования

«Когда мы определили возможность разработки медицинского оборудования и устройств, мы осознавали риски, присущие этому сегменту», — говорит Гильерме Фонсека, менеджер по исследованиям и разработкам ELDORADO. Таким образом, возникло партнерство с AdaCore, компанией, специализирующейся на предоставлении инструментов разработки и проверки программного обеспечения для критически важных систем. По словам Фонсека, инструмент AdaCore, QGen, позволяет команде приложить усилия к пониманию проблемы и моделированию потенциальных решений.

Объявление о партнерстве было опубликовано на сайте Bloomberg , его можно увидеть ниже:

Сегодня AdaCore объявила, что Бразильский исследовательский институт ELDORADO (ELDORADO) выбрал набор инструментов для генерации и проверки кода на основе модели QGen для поддержки исследований и разработки критически важного для безопасности программного обеспечения медицинского оборудования. Эти приложения требуют высокой надежности и в настоящее время включают в себя кардиостимуляторы, а также перфузионные системы для кардиохирургии и химиотерапии.

ELDORADO разрабатывает продукцию для медицинской промышленности, которая, как и большинство секторов глобализированной экономики, находится под сильным давлением, требуя быть инновационной, конкурентоспособной и прибыльной. Основываясь на фундаментальных науках о жизни, при разработке медицинских устройств используются конечные и гибридные автоматы для определения поведения систем, взаимодействующих с живыми организмами. Это эффективное инженерное решение, но отнюдь не тривиальное, когда на кону стоят человеческие жизни. Чтобы гарантировать правильность конструкции устройства, для анализа и проверки используются математические модели и моделирование.

«Наш набор инструментов QGen на основе моделей — идеальное решение для разработки и проверки критически важных для безопасности систем управления», — сказал Дж. К. Бернедо, руководитель отдела QGen в AdaCore. «Инженеры могут выражать свои проекты в высокоуровневой прикладной нотации и быть уверенными, что свойства безопасности моделей сохраняются в сгенерированном исходном коде. QGen отлично подходит для организаций, выпускающих программное обеспечение для медицинского оборудования, и мы рады, что ELDORADO осознала его преимущества и выбрала AdaCore в качестве поставщика технологий для своих медицинских научно-исследовательских проектов».

«Когда компания «Эльдорадо» впервые решила разрабатывать медицинское оборудование и устройства, мы полностью осознавали риски и обязательства, присущие этому сегменту», — сказал Гильерме Фонсека, менеджер по исследованиям и разработкам ELDORADO. «Мы знали, что важно выбрать технологического партнера, способного предоставить инструменты и технологии разработки программного обеспечения для критически важных систем с высокими требованиями к надежности. Опыт AdaCore в этой области был неоспорим. Они были полностью привержены построению долгосрочного партнерства и предложили нам модель поддержки, которая соответствует нашим потребностям».

QGen — инструмент проектирования на основе моделей AdaCore, который генерирует код SPARK или MISRA C из безопасного подмножества моделей Simulink^® и Stateflow^® — позволил команде ELDORADO сосредоточиться на понимании проблем проектирования и моделировании потенциальных решений. Используя ноу-хау, уже приобретенные в программном обеспечении MATLAB^® и Simulink^®, и интегрируя код, сгенерированный QGen, надежным и проверяемым способом, инженеры ELDORADO могут определять поведение системы на высоком уровне абстракции, достигая при этом оптимизированного решения. на уровне прошивки.

QGen принес ELDORADO ряд ощутимых преимуществ, в том числе:
Повышение сплоченности инженерной деятельности. Используя QGen, группы инженеров могут решать проблемы с системной точки зрения, исследуя области проблем и решений, определяя лучшее решение, а затем используя QGen для генерации правильного кода. Это привело к повышению производительности и удовлетворенности инженеров, занимающихся разработкой и внедрением продуктов.

Более прозрачная техническая деятельность. Руководство теперь лучше осведомлено об усилиях и рисках, связанных с пониманием проблемы проектирования, которая отделена от усилий и рисков, связанных с созданием правильного кода.

Повышенная производительность. Теперь, когда инженеры могут положиться на QGen для генерации кода, они могут сосредоточить свои усилия на проектировании. В результате клиенты находят предложения «ЭЛЬДОРАДО» более конкурентоспособными, а условия — более привлекательными. О ЭЛЬДОРАДО Исследовательский институт ЭЛЬДОРАДО (ICT – Институт науки и технологий) является национальной гражданской ассоциацией, сертифицированной как OSCIP (Организация гражданского общества общественного интереса) и EMBRAPII (Бразильская компания исследований и промышленных инноваций). Компания уже почти 20 лет занимается исследованиями, разработками, обслуживанием и обучением мирового уровня. Хорошо известная в Бразилии организация всегда стремится достигать лучших результатов, расти, инвестировать в инновации и стремиться к совершенству. Кроме того, на протяжении многих лет компания ELDORADO постоянно присутствует в национально признанных рейтингах, в которых выделяются лучшие компании для работы в Бразилии, и упоминается в таких публикациях, как «Guia Você S/A» и «GPTW».

ELDORADO расположен в высокотехнологичных районах Кампинас и Порту-Алегри, а также в таких бизнес-центрах, как Бразилиа и Манаус. Имея команды высококвалифицированных и гибких инженеров, аналитиков и исследователей, компания имеет диверсифицированный портфель на таких рынках, как телекоммуникации, здравоохранение, агробизнес и энергетика и другие. ELDORADO реализует в среднем 120 проектов в год с участием более 40 клиентов, обладающих ноу-хау в таких новых технологиях, как Интернет вещей, аналитика, компьютерное зрение, искусственный интеллект и дополненная реальность. Он имеет несколько сертификатов, включая ISO/IEC 27001, ISO 9001, ANATEL, INMETRO и ENERGY STAR. Он входит в избранную группу бразильских компаний, имеющих сертификат программы агентств разработчиков Google, является домом для единственного инновационного центра Microsoft (MIC) в штате Сан-Паулу, а также является Академией разработчиков Apple.

Для получения дополнительной информации:

Об AdaCore
Основанная в 1994 году, компания AdaCore поставляет инструменты разработки и проверки программного обеспечения для критически важных систем, систем безопасности и безопасности. Четыре флагманских продукта подчеркивают предложения компании: Среда разработки GNAT Pro, полный набор инструментов для проектирования, внедрения и управления приложениями, требующими высокой надежности и удобства обслуживания. GNAT Pro доступен для Ada, а также для C и C++. CWE-совместимый усовершенствованный инструмент статического анализа CodePeer, автоматический проверщик и валидатор кода Ada, который может обнаруживать и устранять ошибки как во время разработки, так и ретроспективно в существующем программном обеспечении. CodePeer может обнаружить ряд «25 самых опасных ошибок программного обеспечения» в списке общих уязвимостей корпорации MITRE (CWE). Среда проверки TheSPARK Pro — набор инструментов, обеспечивающий полную формальную проверку, ориентированный на высоконадежные системы со строгими требованиями к безопасности и/или безопасности.

Набор инструментов разработки на основе моделей QGen для систем управления, критически важных для безопасности, предоставляющий квалифицируемый и настраиваемый генератор кода и статический верификатор для безопасного подмножества моделей Simulink^® и Stateflow^®, а также отладчик на уровне модели. На протяжении многих лет клиенты использовали продукты AdaCore для развертывания и обслуживания широкого спектра критически важных приложений в таких областях, как коммерческая и военная авионика, автомобильная, железнодорожная, космическая, оборонные системы, управление/контроль воздушного движения, медицинское оборудование и финансовые услуги. AdaCore имеет обширную и растущую клиентскую базу по всему миру; дополнительную информацию см . на сайте.

Продукты AdaCore имеют открытый исходный код и имеют экспертную онлайн-поддержку, предоставляемую самими разработчиками. Компания имеет штаб-квартиру в Северной Америке в Нью-Йорке и штаб-квартиру в Европе в Париже.

Я в заушном университете в Алматы изучал Паскаль. Ada сильно похож имхо по синтаксису на Паскаль.

Если я кому-то отвечаю, это не значит что я ему симпатизирую, каждый остаётся при своём мнение Дневник тяжелобольного инвалида