GrammaTech rejoint le consortium MISRA®
ISIT
Toulouse le 07/10/2019 : GrammaTech, fournisseur de premier plan d’outils d’assurance qualité logiciel et de cybersécurité et distribué en France par la société ISIT, vient d’intégrer le comité MISRA®. C’est le Dr Paul Anderson, vice-président de l’ingénierie chez GrammaTech, qui représentera la société auprès du comité. Il participera à l’élaboration des futures directives et bonnes pratiques de développement pour les systèmes de contrôle et logiciels autonomes.
Le comité MISRA® (Motor Industry Software Reliability Association) est l’organisme promulguant les règles de développement et les bonnes pratiques à appliquer pour la conception des logiciels critiques en termes de sûreté de fonctionnement et de cybersécurité pour le domaine Automobile.
Actuellement le consortium MISRA® s’emploie à combiner les directives de codage AUTOSAR C++14 avec la norme de codage MISRA® C++ 2008 en un seul document normalisé qui deviendra un guide complet pour l’industrie automobile
Avec plus de 30 ans d’expérience dans le domaine de l’analyse Statique avancée des logiciels, le Dr Anderson collaborait d’ores et déjà fréquemment avec les organismes de normalisation. « Les règles de codage constituent une première ligne de défense importante contre les défauts logiciels », explique le Dr Paul Anderson. « Je suis très heureux d'avoir l'occasion de contribuer à l'excellent travail du comité MISRA. Notre outil CodeSonar® détecte les violations des règles MISRA très tôt dans le cycle de développement du logiciel. De plus, l'analyse des flux de données et l'exécution symbolique permet de détecter des failles supplémentaires dans le logiciel telles que les dépassements de mémoire ou encore la corruption des données ».
CodeSonar® détecte nativement les violations des règle MISRA® C et C++ mais permet surtout une analyse statique avancée des logiciels et ce qu’ils soient sous forme de codes source ou binaire. Il permet de détecter des défaillances complexes dans les logiciels pouvant amener à des failles majeures en termes de sécurité fonctionnelle ou de cybersécurité. CodeSonar® permet aux équipes de développement de disposer d’un environnement unique pour détecter à la fois les violations des règles de codage et les failles des logiciels.
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 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é
Le comité MISRA® (Motor Industry Software Reliability Association) est l’organisme promulguant les règles de développement et les bonnes pratiques à appliquer pour la conception des logiciels critiques en termes de sûreté de fonctionnement et de cybersécurité pour le domaine Automobile.
Actuellement le consortium MISRA® s’emploie à combiner les directives de codage AUTOSAR C++14 avec la norme de codage MISRA® C++ 2008 en un seul document normalisé qui deviendra un guide complet pour l’industrie automobile
Avec plus de 30 ans d’expérience dans le domaine de l’analyse Statique avancée des logiciels, le Dr Anderson collaborait d’ores et déjà fréquemment avec les organismes de normalisation. « Les règles de codage constituent une première ligne de défense importante contre les défauts logiciels », explique le Dr Paul Anderson. « Je suis très heureux d'avoir l'occasion de contribuer à l'excellent travail du comité MISRA. Notre outil CodeSonar® détecte les violations des règles MISRA très tôt dans le cycle de développement du logiciel. De plus, l'analyse des flux de données et l'exécution symbolique permet de détecter des failles supplémentaires dans le logiciel telles que les dépassements de mémoire ou encore la corruption des données ».
CodeSonar® détecte nativement les violations des règle MISRA® C et C++ mais permet surtout une analyse statique avancée des logiciels et ce qu’ils soient sous forme de codes source ou binaire. Il permet de détecter des défaillances complexes dans les logiciels pouvant amener à des failles majeures en termes de sécurité fonctionnelle ou de cybersécurité. CodeSonar® permet aux équipes de développement de disposer d’un environnement unique pour détecter à la fois les violations des règles de codage et les failles des logiciels.
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 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é
