Inovytec obtient la certification FDA avec une solution d'analyse de code statique personnalisée

La Problématique

Dans le cadre d'une mission visant à fournir un code propre et à se conformer à l'inspection de la réglementation FDA 510 (k), Inovytec a commencé à utiliser Parasoft analyse statique pour C et solution C++.

L'approche

Pour satisfaire à la certification FDA 510(k), l'équipe de développement de logiciels embarqués a personnalisé un ensemble de règles en Parasoft C / C ++test à la norme.

« À chaque nouvelle version logicielle du ventilateur Ventway Sparrow, nous veillons à ce que l'analyse statique de Parasoft soit configurée conformément aux définitions réglementaires de la FDA. »

« Nous avons non seulement constaté des améliorations dans la qualité du code, mais C/C++test nous a vraiment aidé dans nos activités de vérification d'analyse statique et dans notre objectif d'obtenir la certification FDA 510(k). »

—Roi Birenshtok, architecte de solutions et chef d'équipe des logiciels embarqués chez Inovytec

Les Résultats

Avec des règles d'analyse de code statique C/C++ personnalisées, Inovytec a pu passer 100 % des règles et directives de certification FDA 510k.

Parasoft est la solution de test de choix chez Inovytec. Avec ESL en tant que distributeur des produits Parasoft en Israël, Birenshtok dit que chaque fois qu'ils ont besoin d'aide ou ont des questions, ils appellent simplement le partenaire directeur de l'entreprise, Dani Liezrowice, qui prend des mesures immédiatement. Inovytec apprécie le soutien d'ESL et de Parasoft.