ELDORADO Research Institute of Brazil
Critical Medical Applications
ELDORADO Research Institute of Brazil 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.
Last Updated: 3/11/2020
Posted on: 3/11/2020