Eldorado

Artificial Lung Equipment

Eldorado had already begun using AdaCore’s QGen code generation and model verification tool suite on a cardiac pacemaker as a pilot project. Once they felt they had a mature understanding of how to design their software architecture for IEC62304, and how to use QGen in code generation and verification, they began applying QGen on other projects.

Read the Case Study



Last Updated: 10/7/2021
Posted on: 10/7/2021