L'embarqué > GrammaTech

GrammaTech

White paper : les bonnes pratiques de l'analyse statique pour améliorer sécurité et sûreté de fonctionnement d'un code

Publié le 02 avril 2020 à 09:47 par François Gauthier        

Dans les systèmes embarqués industriels la notion de sécurité au sens de "sécurité fonctionnelle" est prise en compte depuis des décennies. C’est encore plus vrai dans le domaine des systèmes critiques où toute défaillance peut avoir des conséquences potentiellement dramatiques. ...

Partager
Lire

L’outil d’analyse statique de code de GrammaTech supporte le code binaire sur les processeurs ARM

Publié le 21 mars 2016 à 12:26 par François Gauthier        

L’éditeur américain GrammaTech annonce que son outil d’analyse statique de code CodeSonar est désormais capable d’analyser le code binaire embarqué sur les architectures ARM (y compris le mode Thumb). ...

Partager
Lire

Lire les articles suivants