CodeSonar : 3 nouveaux certificats de sécurité fonctionnelle
ISIT
Toulouse, le 02/06/2020, GrammaTech, fournisseur de premier plan d’outils d’assurance qualité logiciel et de cybersécurité et distribué en France par la société ISIT, obtient 3 nouveaux certificats de sécurité fonctionnelle sont désormais disponibles pour CodeSonar version 5.2 couvrants l’IEC 61508, ISO 26262 et CENELEC EN 50128. Ces certificats ont été délivrés par le laboratoire Exida et prouvent que CodeSonar est qualifié pour le développement de logiciels devant être certifiés au plus haut niveau de sécurité fonctionnelle tel que SIL 4 pour IEC 61508 et CENELEC EN 50128 ou ASIL D pour l’ISO 26262.
Ces certificats sont disponibles sur le site Web Exida et s'appliquent à toutes les versions de CodeSonar à partir à la v5.2 et au-delà. Cela permet aux utilisateurs CodeSonar de migrer facilement vers la dernière version de CodeSonar et de bénéficier ainsi des dernières innovations de GrammaTech tout en continuant à répondre aux exigences de qualification des outils.
Ces certificats sont disponibles sur le site Web Exida et s'appliquent à toutes les versions de CodeSonar à partir à la v5.2 et au-delà. Cela permet aux utilisateurs CodeSonar de migrer facilement vers la dernière version de CodeSonar et de bénéficier ainsi des dernières innovations de GrammaTech tout en continuant à répondre aux exigences de qualification des outils.
Ces certificats sont la base du « Qualification Kit » que Grammatech propose en option pour CodeSonar. Ce kit de qualification fournit toute la documentation complémentaire dont les concepteurs de logiciels devant passer ces certifications peuvent avoir besoin lorsqu'ils intégreront CodeSonar dans leurs processus de certification.
Ce kit comprend en plus des certificats téléchargeables gratuitement sur le site de Exida :
- Le rapport d'évaluation documentant les raisons pour lesquelles CodeSonar est jugé qualifié
- Le manuel de sécurité (Safety manual) détaillant la façon d'intégrer et d’utiliser CodeSonar
- Une documentation supplémentaire concernant l'analyse statique et son impact sur la sécurité fonctionnelle
CodeSonar convient également pour développer des applications assujetties à la DO-330 et DO-326A (Cyber Security de la DO-178). GrammaTech et ISIT peuvent vous assister si nécessaire par le biais de nos formations, l’audit afin de donner à vos équipes les moyens de réduire les risques, les délais et les coûts de certification.
A propos de GrammaTech :
Les outils d’analyse statique avancés de GrammaTech sont utilisés par les développeurs de logiciels du monde entier et couvrent une multitude d’industries du logiciel embarqué, notamment l’avionique, les applications gouvernementales, médicales, militaires, de contrôle industriel et autres applications où la fiabilité et la sécurité sont primordiales. Développé à l'origine au sein de l'Université Cornell, GrammaTech est désormais un centre de recherche de premier plan en matière de sécurité logicielle, collaborant avec les principales agences gouvernementales américaines, et un fournisseur d'outils de test des logiciels et de solutions de cybersécurité avancées. Avec des outils d’analyse statiques et dynamiques pour les codes source ainsi que les exécutables binaires, GrammaTech continue de faire progresser le domaine de l’analyse logicielle offrant aux développeurs une technologie leur permettant de concevoir des logiciels plus sûrs. Pour plus d'informations, visitez www.grammatech.com
A propos, d’ISIT : Au cœur du Temps Réel Embarqué
Les outils d’analyse statique avancés de GrammaTech sont utilisés par les développeurs de logiciels du monde entier et couvrent une multitude d’industries du logiciel embarqué, notamment l’avionique, les applications gouvernementales, médicales, militaires, de contrôle industriel et autres applications où la fiabilité et la sécurité sont primordiales. Développé à l'origine au sein de l'Université Cornell, GrammaTech est désormais un centre de recherche de premier plan en matière de sécurité logicielle, collaborant avec les principales agences gouvernementales américaines, et un fournisseur d'outils de test des logiciels et de solutions de cybersécurité avancées. Avec des outils d’analyse statiques et dynamiques pour les codes source ainsi que les exécutables binaires, GrammaTech continue de faire progresser le domaine de l’analyse logicielle offrant aux développeurs une technologie leur permettant de concevoir des logiciels plus sûrs. Pour plus d'informations, visitez www.grammatech.com
A propos, d’ISIT : Au cœur du Temps Réel Embarqué
