Fidest – Agenzia giornalistica/press agency

Quotidiano di informazione – Anno 32 n° 255

ELDORADO Selects AdaCore’s QGen for Critical Medical Applications

Posted by fidest press agency su domenica, 15 dicembre 2019

AdaCore 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 demand high reliability and currently include a cardiac pacemaker as well as perfusion systems for cardiac surgery and chemotherapy.
ELDORADO develops products for the medical industry, which, like most sectors of the globalized economy, is under great pressure to be innovative, competitive and profitable. Based on the underlying life science, medical device development uses finite and hybrid automata to define the behavior of systems that interact with living organisms. This is an effective engineering solution, but by no means trivial when human lives are at stake. To ensure that the device design is correct, mathematical models and simulations are used for analysis and validation.
QGen — AdaCore’s model-based engineering tool which generates SPARK or MISRA C code from a safe subset of Simulink® and Stateflow® models — has allowed the ELDORADO team to focus on understanding design issues and simulating potential solutions. By using the know-how already acquired in MATLAB® and Simulink® software, and integrating the code generated by QGen in a robust and verifiable way, ELDORADO engineers can specify the system behavior at a high level of abstraction while achieving an optimized solution at the firmware level.


Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo di

Stai commentando usando il tuo account Chiudi sessione /  Modifica )

Google photo

Stai commentando usando il tuo account Google. Chiudi sessione /  Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione /  Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione /  Modifica )

Connessione a %s...

%d blogger hanno fatto clic su Mi Piace per questo: