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

Le projet

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 fois que nous allons publier une nouvelle version du logiciel du ventilateur Ventway Sparrow, nous nous assurons que l'analyse statique de Parasoft est configurée pour s'exécuter conformément aux définitions de la réglementation de la FDA. Nous avons non seulement remarqué des améliorations dans la qualité du code, mais le test C/C++ nous a vraiment aidés 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 solution et chef d'équipe de 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.