Всем привет!

Сегодня пойдёт речь. О чём пойдёт речь, написано в самом заголовке. Но сначало оффтоп. Я кушал это:

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

Короче биоинформатики и врачи пользуются бесплатной американской программой imageJ см. https://ru.wikipedia.org/wiki/ImageJ, в праксисах и больницах используют специальный софт. Биоинформатики пользуются PyMOL, RasMOL, JMol, UCSF Chimera, BIOEclipse, BioBlender. А нейроинформатики софт ЭЭГ, и MRT/CT.

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

Для врачебного софта некоторые компоненты разрабатывает американская фирма LEADTOOLS. Во многих софтах часто упомянается фирма LEADTOOLS. А для немецких томографов Siemens просмотрщик CT/MRT делает некая австрийская компания.

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

Вот тут один русский ютубер рассказывает как работает рентгеновский аппарат.

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

Короче поговорим про медицинскую информатику. Общался я с одной медсестрой на тему 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 сильно похож имхо по синтаксису на Паскаль.

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

Вот ещё пример см. 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 – средство статического анализа ПО на отсутствие ситуаций переполнения стека.

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