Bei der Entwicklung des neuen Ecmo-Geräts (extrakorporale Membranoxygenierung) des Medizingeräte-Herstellers Braile Biomédica spielte Qgen, die modellbasierte Code-Generierungs- und Verifikations-Toolsuite von Adacore, eine entscheidende Rolle. Das Ecmo-Gerät hilft Covid-19-Patienten, die unter einem zu niedrigen Sauerstoffgehalt im Blut leiden.
Weiterlesen