How Eldorado and Braile Biomédica Used AdaCore’s QGen Code Generator to Develop New Artificial Lung Equipment in Just Six Months

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. One of those projects was Braile's new Solis System. With the partnership of Braile, the Eldorado Institute, and AdaCore’s QGen, it was possible to complete a two-year development program in only six months.