Model-Based Design et certification : application au domaine médical

Fresenius Kabi conçoit et fabrique des appareils médicaux dont le logiciel embarqué est soumis à de fortes contraintes normatives (IEC 62304). Pour développer une nouvelle gamme de pompe à perfusion, les ingénieurs se sont appuyés sur la méthodologie Model-Based Design ; de l'élaboration des spécifications à la génération du code de production, en passant par le prototypage rapide et les étapes de vérification. Ce témoignage mettra en exergue les bénéfices d'une telle approche, tout en insistant sur les étapes suivies en vue de la certification du système.