ELDORADO wählt QGen von AdaCore für kritische Medizin-Anwendungen

Paris, 10. Dezember 2019 – Das ELDORADO Research Institute of Brazil setzt die modellbasierte Code-Generierungs- und Verifikations-Toolsuite QGen von AdaCore ein, um die Forschung und Entwicklung sicherheitskritischer Software für medizinische Geräte zu unterstützen.

Solche Anwendungen verlangen nach allerhöchster Zuverlässigkeit; gegenwärtig werden sie für Herzschrittmacher oder Perfusionssysteme für Herzchirurgie und Chemotherapie eingesetzt.

ELDORADO entwickelt Produkte für die Medizinindustrie, die, wie viele andere Bereiche in einer globalisierten Wirtschaft, unter hohem Druck steht, möglicht innovativ, wettbewerbsfähig und profitabel zu sein. Basierend auf der zugrunde liegenden Biowissenschaft werden in der Entwicklung von medizinischen Produkten endliche und hybride Automaten eingesetzt, um das Verhalten von Systemen zu definieren, die mit lebendigen Organismen interagieren. Dies ist eine effektive, aber nicht triviale technische Lösung, wenn Menschenleben davon abhängen. Um sicherzustellen, dass das Gerätedesign korrekt ist, werden mathematische Modelle und Simulationen für die Analyse und Validierung genutzt.

„Mit QGen können Ingenieure ihre Designs in einer Applikations-orientierten High-Level-Notation darstellen und können sich sicher sein, dass die Sicherheitsmerkmale der Modelle im generierten Source-Code enthalten sind“, erklärt J.C. Bernedo, QGen Business Lead bei AdaCore. „QGen ist eine hervorragende Wahl für Unternehmen, die Software für medizinische Produkte entwickeln. Wir freuen uns sehr, dass ELDORADO die Vorteile von QGen erkannt hat und AdaCore als Technologieanbieter für ihre medizinischen Forschungs- und Entwicklungsprojekte ausgewählt hat.“

„Als wir entschieden haben, medizinische Geräte und Ausrüstungen zu entwickeln, waren wir uns den Risiken und Verantwortungen in diesem Marktsegment durchaus bewusst“, erläutert Guilherme Fonseca, R&D Manager bei ELDORADO. „Wir wussten, dass es essenziell ist, einen Technologiepartner auszuwählen, der in der Lage ist, Software-Entwicklungstools und -technologien für kritische Systeme mit hohen Zuverlässigkeitsanforderungen anzubieten. Die Expertise von Adacore in diesem Bereich war nicht von der Hand zu weisen. Das Unternehmen war sehr engagiert dabei, eine langfristige Partnerschaft aufzubauen und hat uns ein Support-Modell angeboten, das genau unseren Bedürfnissen entspricht.“

QGen, AdaCores modellbasiertes Engineeringtool, das SPARK- oder MISRA-C-Code aus einem sicheren Subset von Simulink- und Stateflow-Modellen erzeugen kann, hat das ELDORADO-Team dabei unterstützt, sich auf das Verständnis von Designproblemen und die Simulation potenzieller Lösungen zu fokussieren. Durch die Erfahrung mit MATLAB- und Simulink-Software und die robuste und überprüfbare Integration des QGen-generierten Codes sind die ELDORADO-Ingenieure in der Lage, das Systemverhalten auf einer hohen Abstraktionsebene zu spezifizieren und gleichzeitig eine optimierte Lösung auf Firmware-Ebene zu erzeugen.

Zu den Vorteilen von QGen gehören unter anderem:

Verbesserte Verknüpfung der Entwicklungsaktivitäten. Durch die Nutzung von QGen können Entwicklerteams Herausforderungen aus einer systemischen Perspektive betrachten: Probleme und Lösungen untersuchen, die beste Lösung identifizieren, und QGen für die korrekte Codegenerierung einsetzen. Diese Vorgehensweise hat für eine höhere Produktivität und Zufriedenheit der Softwareingenieure bei Produktdesign und -implementierung gesorgt.
Höhere Transparenz der technischen Aktivität. Das Management hat jetzt ein besseres Bewusstsein über den Aufwand und die Risiken, die mit dem Verständnis eines Designproblems verbunden sind; vom Aufwand und den Risiken im Zusammenhang mit der korrekten Code-Produktion wurden sie entkoppelt.
Bessere Produktivität. Da sich die Ingenieure nun auf die Code-Generierung von QGen verlassen können, können sie sich mehr auf das eigentliche Design konzentrieren. In der Folge fanden Kunden die ELDORADO-Vorschläge deutlich wettbewerbsfähiger und attraktiver.