Tag: AdaCore

ELDORADO Selects AdaCore’s QGen for Critical Medical Applications

Model-based engineering toolsuite brings high reliability to medical device software NEW YORK & PARIS & CAMPINAS, Brazil–(BUSINESS WIRE)–AdaCore today announced that The ELDORADO Research Institute of Brazil (ELDORADO) has selected the QGen model-based code generation and verification toolsuite to support research and development of safety-critical medical device software. These applications […]

Scandinavian Real Heart Selects AdaCore Embedded Software Development Platform for Revolutionary Artificial Heart

NEW YORK & PARIS & NUREMBERG, Germany–(BUSINESS WIRE)–Embedded World–AdaCore, a trusted provider of software development and verification tools with headquarters in New York and Paris, today announced that Scandinavian Real Heart AB in Sweden is using a suite of AdaCore software solutions to develop reliable embedded software for its revolutionary Total Artificial […]